C++ 参考手册

位置：首页 > C++ 参考手册 >范围库 (C++20) > std::ranges::sized_range, std::ranges::disable_sized_range

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

定义于头文件 <ranges>
template< class T >

concept sized_range = ranges::range<T> &&
  requires(T& t) {
    ranges::size(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 。