std::ranges::for_each, std::ranges::for_each_result
来自 cppreference.com
在头文件 <algorithm> 中定义 |
||
调用签名 |
||
template< std::input_iterator I, std::sentinel_for<I> S, class Proj = std::identity, std::indirectly_unary_invocable<std::projected<I, Proj>> Fun > |
(1) | (自 C++20 起) |
template< ranges::input_range R, class Proj = std::identity, std::indirectly_unary_invocable< |
(2) | (自 C++20 起) |
辅助类型 |
||
template< class I, class F > using for_each_result = ranges::in_fun_result<I, F>; |
(3) | (自 C++20 起) |
1) 将给定的函数对象 f 应用于范围
[
first,
last)
中每个迭代器按顺序投影的值的结果。对于这两种重载,如果迭代器类型是可变的,f 可以通过解引用迭代器修改范围内的元素。如果 f 返回一个结果,则该结果将被忽略。
此页面上描述的类似函数的实体是 niebloids,也就是说
- 在调用它们中的任何一个时,不能指定显式模板参数列表。
- 它们中的任何一个都对 与参数相关的查找不可见。
- 当它们中的任何一个通过 普通无限定查找 作为函数调用运算符左侧的名称找到时,与参数相关的查找 会被抑制。
在实践中,它们可以实现为函数对象,或者使用特殊的编译器扩展。
内容 |
[编辑] 参数
first, last | - | 表示要应用函数的范围的迭代器-哨兵对 |
r | - | 要应用函数的元素范围 |
f | - | 要应用于投影范围的函数 |
proj | - | 要应用于元素的投影 |
[编辑] 返回值
{std::ranges::next(std::move(first), last), std::move(f)}
[编辑] 复杂度
正好 last - first 次应用 f 和 proj.
[编辑] 可能的实现
struct for_each_fn { template<std::input_iterator I, std::sentinel_for<I> S, class Proj = std::identity, std::indirectly_unary_invocable<std::projected<I, Proj>> Fun> constexpr ranges::for_each_result<I, Fun> operator()(I first, S last, Fun f, Proj proj = {}) const { for (; first != last; ++first) std::invoke(f, std::invoke(proj, *first)); return {std::move(first), std::move(f)}; } template<ranges::input_range R, class Proj = std::identity, std::indirectly_unary_invocable<std::projected<ranges::iterator_t<R>, Proj>> Fun> constexpr ranges::for_each_result<ranges::borrowed_iterator_t<R>, Fun> operator()(R&& r, Fun f, Proj proj = {}) const { return (*this)(ranges::begin(r), ranges::end(r), std::move(f), std::ref(proj)); } }; inline constexpr for_each_fn for_each; |
[编辑] 示例
以下示例使用 lambda 表达式 来递增向量中的所有元素,然后使用函数对象中的重载的 operator()
来计算它们的总和。请注意,要计算总和,建议使用专用算法 std::accumulate。
运行此代码
#include <algorithm> #include <cassert> #include <iostream> #include <string> #include <utility> #include <vector> struct Sum { void operator()(int n) { sum += n; } int sum {0}; }; int main() { std::vector<int> nums {3, 4, 2, 8, 15, 267}; auto print = [](const auto& n) { std::cout << ' ' << n; }; namespace ranges = std::ranges; std::cout << "before:"; ranges::for_each(std::as_const(nums), print); print('\n'); ranges::for_each(nums, [](int& n) { ++n; }); // calls Sum::operator() for each number auto [i, s] = ranges::for_each(nums.begin(), nums.end(), Sum()); assert(i == nums.end()); std::cout << "after: "; ranges::for_each(nums.cbegin(), nums.cend(), print); std::cout << "\n" "sum: " << s.sum << '\n'; using pair = std::pair<int, std::string>; std::vector<pair> pairs {{1,"one"}, {2,"two"}, {3,"tree"}}; std::cout << "project the pair::first: "; ranges::for_each(pairs, print, [](const pair& p) { return p.first; }); std::cout << "\n" "project the pair::second:"; ranges::for_each(pairs, print, &pair::second); print('\n'); }
输出
before: 3 4 2 8 15 267 after: 4 5 3 9 16 268 sum: 305 project the pair::first: 1 2 3 project the pair::second: one two tree
[编辑] 参见
范围-for 循环(C++11) |
执行对范围的循环 |
(C++20) |
将函数应用于元素范围 (niebloid) |
(C++20) |
将函数对象应用于序列的前 N 个元素 (niebloid) |
将函数应用于元素范围 (函数模板) |