std::ranges::views::adjacent, std::ranges::adjacent_view, std::ranges::views::pairwise

template< ranges::forward_range V, std::size_t N >
    requires ranges::view<V> && (N > 0)
class adjacent_view
    : public ranges::view_interface<adjacent_view<V, N>>

namespace views {
    template< std::size_t N >
    constexpr /* unspecified */ adjacent = /* unspecified */ ;
}

namespace views {
    inline constexpr auto pairwise = adjacent<2>;
}

template< ranges::viewable_range R >
    requires /* see below */
constexpr ranges::view auto adjacent<N>( R&& r );

adjacent_view 始终满足 forward_range，并且如果被适配的 view 类型满足相应概念，则还满足 bidirectional_range、random_access_range 或 sized_range。

数据成员

成员函数

推导指引

(无)

嵌套类

辅助模板

此 ranges::enable_borrowed_range 的特化使得当底层视图满足 borrowed_range 时， adjacent_view 也满足该概念。

注释

views :: adjacent 仅接受前向范围，即使当 N 为 0 时也是如此。

在 ranges::adjacent_view 与 ranges::slide_view 之间存在相似之处：

• 两者都创建大小为 N 的“滑动窗口”。
• 两者具有相同的尺寸 S - N + 1 ，其中 S 是适配的 view 的尺寸，且满足 S >= N > 0 。

下表展示了这些适配器之间的差异：

示例

#include <array>
#include <format>
#include <iostream>
#include <ranges>
#include <tuple>
int main()
{
    constexpr std::array v{1, 2, 3, 4, 5, 6};
    std::cout << "v = [1 2 3 4 5 6]\n";
    for (int i{}; std::tuple t : v | std::views::adjacent<3>)
    {
        auto [t0, t1, t2] = t;
        std::cout << std::format("e = {:<{}}[{} {} {}]\n", "", 2 * i++, t0, t1, t2);
    }
}

v = [1 2 3 4 5 6]
e = [1 2 3]
e =   [2 3 4]
e =     [3 4 5]
e =       [4 5 6]

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

参考文献

参见