std::ranges::views::counted

< cpp‎ | ranges
inline constexpr /*unspecified*/ counted = /*unspecified*/;
(C++20 起)

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

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

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

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

T 实现 input_or_output_iteratordecltype((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 ,若 ef 拥有相同效果,均为潜在抛出或均非潜在抛出(即 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

参阅

将迭代器/哨位对结合为一个 view
(类模板)
对到范围结尾距离进行跟踪的迭代器适配器
(类模板)