std::ranges::views::counted

counted 视图是表示某迭代器 i 与非负整数 n 的计数范围 [i, n) 的元素的 view 。

计数范围 [i, n) 是始于以 i 所指向的元素，到若存在则为应用 n 次 ++i 的结果所指向的元素为止，但不包含该元素的 n 个元素。

若 n == 0 ，则计数范围合法且为空。否则，计数范围仅若 n 为正， i 可解引用，且 [++i, --n) 为合法的计数范围才合法。

正式而言，若 E 与 F 为表达式，而 T 为类型 std::decay_t<decltype((E))> ，则

若 T 实现 input_or_output_iterator 且 decltype((F)) 实现 std::convertible_to<std::iter_difference_t<T>> ，

若 T 实现 random_access_iterator ，则 views::counted(E, F) 表达式等价于 ranges::subrange{E, E + static_cast<std::iter_difference_t<T>>(F)}

否则 views::counted(E, F) 表达式等价于 ranges::subrange{std::counted_iterator{E, F}, std::default_sentinel}

否则 views::counted(E, F) 为病式。

表达式等价

表达式 e 表达式等价于表达式 f ，若 e 与 f 拥有相同效果，均为潜在抛出或均非潜在抛出（即 noexcept(e) == noexcept(f) ），且均为常量子表达式或均非常量子表达式。

示例

#include <ranges>
#include <iostream>
 
int main()
{
    int a[] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
    for(int i : std::views::counted(a, 3))
        std::cout << i << ' ';
}

1 2 3

参阅