Namespaces
Variants

    std::ranges::views::adjacent_transform, std::ranges::adjacent_transform_view, std::ranges::views::pairwise_transform

    来自 zh.cppreference.net
     
    C++
     
    范围库
    范围适配器
     
    std::ranges::adjacent_transform_view
    成员函数
    (C++26)
    迭代器
    成员函数
    非成员函数
    哨位
    成员函数
    非成员函数
     
    定义于头文件 <ranges> 
    template< ranges::forward_range V, std::move_constructible F, std::size_t N >
  requires ranges::view<V> && (N > 0) && std::is_object_v<F> &&
           std::regular_invocable<F&,
               /*REPEAT*/(ranges::range_reference_t<V>, N)...> &&
           /*can-reference*/<std::invoke_result_t<F&,
               /*REPEAT*/(ranges::range_reference_t<V>, N)...>>
class adjacent_transform_view
    : public ranges::view_interface<adjacent_transform_view<V, F, N>>
    		(1) (自 C++23 起) 
    namespace views {
    template< std::size_t N >
    constexpr /* unspecified */ adjacent_transform = /* unspecified */;
}
    		(2) (自 C++23 起) 
    namespace views {
    inline constexpr auto pairwise_transform = adjacent_transform<2>;
}
    		(3) (自 C++23 起)
    调用签名
    		 
    template< ranges::viewable_range R, class F >
    requires /* see below */
constexpr ranges::view auto adjacent_transform<N>( R&& r, F&& fun );
    		(自 C++23 起) 
    template< class F >
constexpr /*range adaptor closure*/ adjacent_transform<N>( F&& fun );
    		(自 C++23 起)
    1) adjacent_transform_view 是一个范围适配器，它接受一个 view 和一个可调用对象 fun，并生成一个 view，其第 i 个元素是对原始视图的 个相邻元素中的每个元素应用 fun 的结果值。[i, i + N) 总是具有 F 元性（arity）。 N 令
    为原始视图的大小。那么生成的视图的大小为： S, 如果
    • S - N + 1,S >= N 否则，且结果视图为空。
    • 02)
    名称 表示一个 views::adjacent_transform<N>RangeAdaptorObject。给定子表达式 和 e，以及常量表达式 f，表达式 N 是 views::adjacent_transform<N>(e, f)表达式等价（expression-equivalent） 于： , 如果
    • ((void)e, views::zip_transform(f)) 等于 N 且 0 满足 decltype((e))forward_range（除了 和 e 的求值顺序是 f不确定顺序（indeterminately sequenced））， 否则。
    • adjacent_transform_view<views::all_t<decltype((e))>, std::decay_t<decltype((f))>, N>(e, f)3)
    名称 表示一个 views::pairwise_transformRangeAdaptorObject，其行为与 完全相同。特别地，views::adjacent_transform<2> 的元数也是 F，且 2 是一个二元可调用对象。fun 总是满足

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

    成员函数

    		构造 adjacent_transform_view
    (公开成员函数)
    		返回指向起始位置的迭代器
    (公开成员函数)
    		返回指向末尾位置的迭代器或哨兵
    (公开成员函数)
    		返回元素数量，仅当底层（适配的）范围满足 sized_range 时提供
    (公开成员函数)
    (C++26)
    		返回结果 approximately_sized_range 的近似大小
    (公开成员函数)
    继承自 ranges::view_interface
    		返回派生视图是否为空，仅当其满足 sized_range 或 forward_range
    时可用（std::ranges::view_interface<D> 的公开成员函数）
    (C++23)
    		 返回指向范围起始的常量迭代器
    （std::ranges::view_interface<D> 的公开成员函数）
    (C++23)
    		 返回范围常量迭代器的哨位
    （std::ranges::view_interface<D> 的公开成员函数）
    		返回派生视图是否非空，仅当 ranges::empty 可应用于它时可用
    （std::ranges::view_interface<D> 的公开成员函数）
    		返回派生视图中的首元素，当其满足 forward_range
    时可用（std::ranges::view_interface<D> 的公开成员函数）
    		返回派生视图中的末元素，仅当其满足 bidirectional_range 和 common_range
    时可用（std::ranges::view_interface<D> 的公开成员函数）
    		返回第n个元素在派生视图中，仅当其满足 random_access_range
    时可用（std::ranges::view_interface<D> 的公开成员函数）

    嵌套类型

    类型 定义
    InnerView (private) ranges:: adjacent_view < V, N >
    ( exposition-only member type* )
    inner_iterator (private)
    inner_sentinel (private)

    数据成员

    成员 描述
    /*movable-box*/ < F > fun_ (私有) 可转换调用对象
    ( 仅用于说明的成员对象* )
    ranges:: adjacent_view < V,N > inner_ (私有) 存储的视图
    ( 仅用于说明的成员对象* )

    嵌套类

    		迭代器类型
    ( 仅用于说明的成员类模板* )
    		当 adjacent_transform_view 不是 common_range 时使用的哨兵类型
    ( 仅用于说明的成员类模板* )

    注释

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

    功能测试 宏 值 标准 功能特性
    __cpp_lib_ranges_zip 202110L (C++23) ranges:: zip_view ,
    ranges:: zip_transform_view ,
    ranges:: adjacent_view ,
    ranges::adjacent_transform_view

    示例

    运行此代码 
    #include <array>
#include <iostream>
#include <ranges>
int main()
{
    constexpr static std::array data{1, 2, 3, 4, 5, 6};
    constexpr int window{3};
    auto Fun = [](auto... ints) { return (... + ints); };
    // 或者，Fun 可以是任何三元（当 window == 3 时）可调用对象，例如：
    // auto Fun = [](int x, int y, int z) { return x + y + z; };
    constexpr auto view = data | std::views::adjacent_transform<window>(Fun);
    static_assert(
        view.size() == (data.size() - window + 1)
        && std::array{6, 9, 12, 15}
        == std::array{view[0], view[1], view[2], view[3]}
        && view[0] == Fun(data[0], data[1], data[2])
        && view[1] == Fun(data[1], data[2], data[3])
        && view[2] == Fun(data[2], data[3], data[4])
        && view[3] == Fun(data[3], data[4], data[5])
    );
    for (int x : view)
        std::cout << x << ' ';
    std::cout << '\n';
}

    输出： 

    6 9 12 15

    缺陷报告

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

    缺陷报告 应用于 发布时的行为 正确行为
    LWG 4098 C++23 views :: adjacent_transform < 0 > 过去接受仅输入范围 改为拒绝

    参考文献

    • C++23 标准 (ISO/IEC 14882:2024):
    • 26.7.27 相邻变换视图 [range.adjacent.transform]

    参见

    (C++23)
    		由被适配视图相邻元素的引用元组组成的 view
    (类模板) (范围适配器对象)
    (C++20)
    		对序列中的每个元素应用转换函数的 view
    (类模板) (范围适配器对象)
    (C++23)
    		由被适配视图对应元素应用转换函数的结果组成的 view
    (类模板) (定制点对象)
    (C++20)
    		对元素范围应用函数
    (算法函数对象)