std::ranges::borrowed_range, std::ranges::enable_borrowed_range
| 定义于头文件 <ranges>
|
||
| template<class R> concept borrowed_range = |
(1) | |
| 定义于头文件 <ranges>
|
||
| 定义于头文件 <span>
|
||
| 定义于头文件 <string_view>
|
||
| template<class R> inline constexpr bool enable_borrowed_range = false; |
(2) | |
1) 概念 borrowed_range 定义范围的要求，使得函数能按值接收它，并返回从它获得的迭代器，而无悬垂之虞。
2) enable_borrowed_range 变量模板用于指示一个 range 是否为 borrowed_range 。初等模板定义为 false 。
对下列标准模板的所有特化定义为 true ：
对下列标准模板的所有特化定义为 true ：
- std::basic_string_view
- std::span
- std::ranges::subrange
- std::ranges::ref_view
- std::ranges::empty_view
- std::ranges::iota_view
语义要求
给定满足 decltype((e)) 为 T 的表达式 e ， T 实现 borrowed_range 仅若从 e 所代表的对象获得的迭代器的合法性不捆绑到该对象的生存期。
注解
用户可对要实现 borrowed_range 的无 cv 限定的程序定义类型特化 enable_borrowed_range 为 true ，而对不实现的类型特化为 false 。这些特化应当可用于常量表达式并拥有 const bool 类型。