std::ranges::sized_range, std::ranges::disable_sized_range

< cpp‎ | ranges

在标头 `<ranges>` 定义
template< class T > concept sized_range = ranges::range<T> && requires(T& t) { ranges::size(t); };	(1)	(C++20 起)
template<class> inline constexpr bool disable_sized_range = false;	(2)	(C++20 起)

1) sized_range 概念指定在常数时间内以 size 函数知晓其大小的 range 类型。

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 。