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

来自cppreference.com
< 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> 类型左值 tT 实现 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