std::ranges::views::counted

inline constexpr /* unspecified */ counted = /* unspecified */;

template< class Iterator, class DifferenceType >
    requires /* see below */
constexpr /*span-or-subrange*/ counted( Iterator&& it, DifferenceType&& count );

一个 counted 视图呈现一个 视图，该视图由某个迭代器 的 [计数范围, i)ni 的元素组成，其中 n 是非负整数。

计数范围 [i, n) 是指 n 个元素，从 i 指向的元素开始，直到（但不包括）对 n 应用 ++i 次后所指向的元素（如有）。

如果 n == 0，则该计数范围有效且为空。否则，仅当 n 为正、i 可解引用且 [++i, --n) 是有效的计数范围时，该计数范围才有效。

形式上，如果 it 和 count 是表达式，T 是 std::decay_t<decltype((it))>，且 D 是 std::iter_difference_t<T>，那么：

如果 T 满足概念 input_or_output_iterator 且 decltype((count)) 满足概念 std::convertible_to<D>，

• 如果 T 满足概念 contiguous_iterator，则 views::counted(it, count) 在表达式上等价于 std::span(std::to_address(it), static_cast<std::size_t>(static_cast<D>(count)))；
• 否则，如果 T 满足概念 random_access_iterator，则 views::counted(it, count) 在表达式上等价于 ranges::subrange(it, it + static_cast<D>(count))；
• 否则，views::counted(it, count) 在表达式上等价于 ranges::subrange(std::counted_iterator(it, count), std::default_sentinel)。

否则，views::counted(it, count) 非良构。

定制点对象

名称 views::counted 表示一个定制点对象，它是一个 const 函数对象，其类型属于字面类型 semiregular类类型。详见 CustomizationPointObject。

注解

views::counted 不会检查范围是否足够长以提供所有 count 个元素：如果需要此项检查，请使用 views::take。

示例

#include <iostream>
#include <ranges>

int main()
{
    const int a[]{1, 2, 3, 4, 5, 6, 7};
    for (int i : std::views::counted(a, 3))
        std::cout << i << ' ';
    std::cout << '\n';

    const auto il = {1, 2, 3, 4, 5};
    for (int i : std::views::counted(il.begin() + 1, 3))
        std::cout << i << ' ';
    std::cout << '\n';
}

1 2 3
2 3 4

缺陷报告

下列行为更改的缺陷报告已追溯应用于之前发布的 C++ 标准。

参阅