std::ranges::views::transform, std::ranges::transform_view
定义于头文件 <ranges>
|
||
template< ranges::input_range V, std::copy_constructible F > |
(1) | (C++20 起) |
namespace views { inline constexpr /*unspecified*/ transform = /*unspecified*/; |
(2) | (C++20 起) |
1) 表示底层序列应用变换函数到每个元素后的 view 的范围适配器。
2) 对每个适合的表达式 E 与 F ,表达式 views::transform(E, F) 表达式等价于 transform_view{E, F} 。
transform_view 在底层视图 V 分别实现 random_access_range 、 bidirectional_range 、 forward_range 、 input_range 、 common_range 与 sized_range 时实现相同的该概念。
表达式等价
表达式 e 表达式等价于表达式 f ,若 e 与 f 拥有相同效果,均为潜在抛出或均非潜在抛出(即 noexcept(e) == noexcept(f) ),且均为常量子表达式或均非常量子表达式。
成员函数
构造 transform_view (公开成员函数) | |
返回底层(适配的)视图的副本 (公开成员函数) | |
返回指向起始的迭代器 (公开成员函数) | |
返回指向末尾的迭代器或哨位 (公开成员函数) | |
返回元素数,只要底层(适配的)范围满足 sized_range (公开成员函数) |
推导指引
嵌套类
迭代器类型 (公开成员类) | |
哨位类型 (公开成员类) |
示例
运行此代码
#include <array> #include <cstdio> #include <ranges> #include <string> class Transcoder { static constexpr std::array r{ 0x02,-0x02,-0x42, 0x05, 0x04, 0x05, 0x04,-0x02, 0x00,-0x0a, 0x06,-0x04, 0x00, 0x0c, 0x03,-0x06, }; decltype(r.size()) p{}, q{}; public: char operator() (int x) { ! (p|q) ? (99 == x ? x += r[p++] : x -= r[q++]) : (0 < p && p < r.size()) ? x += r[p++] : (0 < q && q < r.size()) ? x -= r[q++] : (0) ; return x; } }; int main() { auto show = [](const char x) { std::putchar(x); }; std::string in{ "apiref.com\n" }; std::ranges::for_each(in, show); std::string out; std::ranges::copy( std::ranges::views::transform(in, Transcoder{}), std::ranges::back_inserter(out)); std::ranges::for_each(out, show); auto view = std::transform_view{ out, Transcoder{} }; std::ranges::for_each(view, show); std::ranges::for_each(view, show); }
输出:
apiref.com en.wikipedia.org apiref.com en.wikipedia.org
参阅
(C++20) |
将一个函数应用于某一范围的各个元素 (niebloid) |