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