Namespaces
Variants

std::ranges::adjacent_view<V,N>:: iterator

From cppreference.net
Ranges library
Range adaptors
template < bool Const >
class /*iterator*/
(自 C++23 起)
( 仅用于说明* )

adjacent_view::begin 的返回类型,以及当底层视图 V common_range adjacent_view::end 的返回类型。

类型 /*iterator*/ < true > 由 const 限定的重载返回。类型 /*iterator*/ < false > 由非 const 限定的重载返回。

目录

成员类型

成员类型 定义
Base (私有) Const true 则为 const V ,否则为 V
( 仅用于说明的成员类型* )
iterator_category std:: input_iterator_tag
iterator_concept
value_type std:: tuple < /*REPEAT*/ ( ranges:: range_value_t < Base > , N ) ... > ;
difference_type ranges:: range_difference_t < Base >

数据成员

成员对象 定义
current_ (private) std:: array < ranges:: iterator_t < Base > , N > .
( 仅用于说明的成员对象* )

成员函数

构造迭代器
(公开成员函数)
访问元素
(公开成员函数)
通过索引访问元素
(公开成员函数)
前进或回退底层迭代器
(公开成员函数)

非成员函数

比较底层迭代器
(函数)
执行迭代器算术运算
(函数)
(C++23)
将底层迭代器解引用结果转换为其关联的右值引用类型
(函数)
(C++23)
交换两个底层迭代器所指向的对象
(函数)

示例

#include <cassert>
#include <concepts>
#include <list>
#include <ranges>
#include <tuple>
#include <utility>
#include <vector>
int main()
{
    auto v = std::vector{0, 1, 2, 3, 4, 5};
    auto i = (v | std::views::adjacent<3>).begin();
    using I = decltype(i);
    static_assert(std::same_as<I::value_type, std::tuple<int, int, int>>);
    static_assert(std::same_as<I::iterator_concept, std::random_access_iterator_tag>);
    // 部分可用运算符:
    ++i; i++; --i; i--; i += 2; i -= 2;
    assert(i[2] == std::tuple(2, 3, 4));
    using DI = decltype(*i);
    static_assert(std::same_as<DI, std::tuple<int&, int&, int&>>);
    std::get<1>(*i) = 42; // 通过迭代器 i 修改 v[1]
    assert(v[1] == 42);
    auto l = std::list{0, 1, 2, 3, 4, 5};
    auto j = (l | std::views::adjacent<3>).begin();
    using J = decltype(j);
    static_assert(std::same_as<J::value_type, std::tuple<int, int, int>>);
    static_assert(std::same_as<J::iterator_concept, std::bidirectional_iterator_tag>);
    ++j; --j; j++; j--; // 部分可用运算符
    // j += 2; j -= 2;       // 错误:这些运算符对双向迭代器不可用
    // std::ignore() = j[1]; //        对双向迭代器不可用
}

参考文献

  • C++23 标准 (ISO/IEC 14882:2024):
  • 26.7.25.3 类模板 adjacent_view::iterator [range.adjacent.iterator]

参见