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

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 类型。