std::ranges::sized_range, std::ranges::disable_sized_range
| 定义于头文件 <ranges>
|
||
| template< class T > concept sized_range = ranges::range<T> && |
(1) | |
| template<class> inline constexpr bool disable_sized_range = false; |
(2) | |
1) sized_range 概念指定在常数时间内以 size 函数知晓其大小的 range 类型。
正式而言，给定 std::remove_reference_t<T> 类型左值 t ， T 实现 sized_range 仅若
- ranges::size(t)
- 拥有非均摊的常数时间复杂度，
- 不修改 t ，且
- 等于 ranges::distance(t) ，而
- 若 iterator_t<T> 实现 forward_iterator ，则 ranges::size(t) 为良定义，而无关乎 ranges::begin(t) 的求值（换言之，单趟有大小范围可以只在首次调用
begin前支持调用size，但向前范围必须在所有时间支持）
2) disable_sized_range 为允许使用（成员或非成员）提供
size 函数但不实际实现 sized_range 的范围类型存在。用户可对无 cv 限定的程序定义类型特化 disable_sized_range 。这些特化应当可用于常量表达式并拥有 const bool 类型。注解
disable_sized_range 不能用于手动禁用迭代器与哨位满足 sized_sentinel_for 的范围；必须用 disable_sized_sentinel_for 代替。
不能对数组类型或引用类型特化 disable_sized_range 。