命名空间
变体
操作

std::ranges::views::transform, std::ranges::transform_view

来自 cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
 
 
定义在头文件 <ranges>
(1)
template< ranges::input_range V,

          std::copy_constructible F >
    requires ranges::view<V> &&
             std::is_object_v<F> &&
             std::regular_invocable<F&, ranges::range_reference_t<V>> &&
             /* invoke_result_t<F&, range_reference_t<V>>& 是有效的类型 */
class transform_view

    : public ranges::view_interface<transform_view<V, F>>
(自 C++20 起)
(直到 C++23)
template< ranges::input_range V,

          std::move_constructible F >
    requires ranges::view<V> &&
             std::is_object_v<F> &&
             std::regular_invocable<F&, ranges::range_reference_t<V>> &&
             /* invoke_result_t<F&, range_reference_t<V>>& 是有效的类型 */
class transform_view

    : public ranges::view_interface<transform_view<V, F>>
(自 C++23 起)
namespace views {

    inline constexpr /*未指定*/ transform = /*未指定*/;

}
(2) (自 C++20 起)
调用签名
template< ranges::viewable_range R, class F >

    requires /*见下文*/

constexpr ranges::view auto transform( R&& r, F&& fun );
(自 C++20 起)
template< class F >
constexpr /*范围适配器闭包*/ transform( F&& fun );
(自 C++20 起)
1) 一个范围适配器,表示在对每个元素应用转换函数后,对底层序列的 view
2) RangeAdaptorObject。表达式 views::transform(e, f)transform_view(e, f) 相当,对于任何合适的子表达式 ef

transform_view 在底层视图 V 建模相应的概念时,建模概念 random_access_rangebidirectional_rangeforward_rangeinput_rangecommon_rangesized_range

内容

[编辑] 数据成员

成员名称 定义
base_ (私有) 类型的底层 view V
(仅供说明的成员对象*)
fun_ (私有) 类型的底层函数对象 copyable-box<F>(直到 C++23)movable-box<F>(自 C++23 起)
(仅供说明的成员对象*)

[编辑] 成员函数

构造一个 transform_view
(公有成员函数) [编辑]
返回底层(适配)视图的副本
(公有成员函数) [编辑]
返回指向开头的迭代器
(公有成员函数) [编辑]
返回指向结尾的迭代器或哨兵
(公有成员函数) [编辑]
返回元素数量。仅当底层(适配)范围满足 sized_range 时提供。
(公有成员函数) [编辑]
继承自 std::ranges::view_interface
返回派生视图是否为空。如果它满足 sized_rangeforward_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_rangecommon_range,则提供。
(std::ranges::view_interface<D> 的公有成员函数) [编辑]
返回派生视图中的第 n 个元素。如果它满足 random_access_range,则提供。
(std::ranges::view_interface<D> 的公有成员函数) [编辑]

[编辑] 推断指南

[编辑] 嵌套类

迭代器类型
(仅用于说明的成员类模板*)
哨兵类型
(仅用于说明的成员类模板*)

[编辑] 示例

#include <algorithm>
#include <cstdio>
#include <iterator>
#include <ranges>
#include <string>
 
char rot13a(const char x, const char a)
{
    return a + (x - a + 13) % 26;
}
 
char rot13(const char x)
{
    if ('Z' >= x and x >= 'A')
        return rot13a(x, 'A');
 
    if ('z' >= x and x >= 'a')
        return rot13a(x, 'a');
 
    return x;
}
 
int main()
{
    auto show = [](const unsigned char x) { std::putchar(x); };
 
    std::string in{"cppreference.com\n"};
    std::ranges::for_each(in, show);
    std::ranges::for_each(in | std::views::transform(rot13), show);
 
    std::string out;
    std::ranges::copy(std::views::transform(in, rot13), std::back_inserter(out));
    std::ranges::for_each(out, show);
    std::ranges::for_each(out | std::views::transform(rot13), show);
}

输出

cppreference.com
pccersrerapr.pbz
pccersrerapr.pbz
cppreference.com

[编辑] 另请参阅

将函数应用于元素范围
(niebloid)[编辑]