C++中std::ranges::fold_left怎么做折叠运算_C++23函数式编程特性【高级】-C++

std::ranges::fold_left是C++23引入的左结合折叠算法,要求范围非空(无初值版)或显式提供初值,支持投影和严格概念约束;而std::accumulate始终需显式初值、不支持投影且约束宽松。

std::ranges::fold_left 是什么,它和 std::accumulate 有什么区别

std::ranges::fold_left 是 C++23 引入的函数式折叠算法,用于对范围(range)执行左结合的二元操作。它不是 std::accumulate 的简单别名——它要求操作符满足「可交换性无关」但强调「严格左结合」,且默认支持投影(proj)和更严格的约束(如 indirectly_binary_invocable)。最关键的是:它**不接受初始值作为单独参数**,而是从范围首元素开始折叠(即“空范围”行为未定义,除非显式提供初值重载)。

  • 若范围为空,std::ranges::fold_left(r, init, op) 才合法;无 init 版本(fold_left(r, op))要求范围非空
  • std::accumulate 总是需要显式 init,且不支持投影,也不检查迭代器与操作符的间接调用兼容性
  • 性能上无本质差异,但 fold_left 在概念约束下能更早捕获类型错误(比如传入 const char* 和 int 给加法)

怎么写一个合法的 fold_left 调用:参数顺序和投影使用

必须按固定顺序:范围、(可选)初值、操作、(可选)投影。最简形式是 fold_left(r, op),此时 r 必须非空,且 op(*first, *next) 类型需可推导出结果类型。

  • 带初值: std::ranges::fold_left(v, 0, std::plus{} ) —— 等价于求和,v 可为空
  • 带投影: std::ranges::fold_left(v, 0, std::plus{}, &Data::value) —— 先对每个元素调用 .value,再累加
  • 错误写法:fold_left(v, std::plus{}, 0) —— 参数顺序错,编译失败
  • 投影不能是 lambda 捕获变量(因需满足 copy_constructible),推荐用成员指针或无捕获 lambda

常见编译错误及原因:concept 检查失败时看到什么

当类型不满足 std::ranges::fold_left 的 concept 要求时,错误信息通常很长,但关键线索集中在几处:

夏夕资源网专注于CMS网站模板,主流语言整站网站源码下载,网站建设相关教程分享,好用的软件素材整合下载,提供一站式便捷自助服务。
1. 本站所有资源来源于用户上传和网络,如有侵权请邮件联系站长!
2. 分享目的仅供大家学习和交流,您必须在下载后24小时内删除!
3. 不得使用于非法商业用途,不得违反国家法律。否则后果自负!
4. 本站提供的源码、模板、插件等等其他资源,都不包含技术服务请大家谅解!
5. 如有链接无法下载、失效或广告,请联系管理员处理!
6. 本站资源售价只是赞助,收取费用仅维持本站的日常运营所需!
7. 如遇到加密压缩包,默认解压密码为"zy.lucklyus.top",如遇到无法解压的请联系管理员!
夏夕资源网-网站模板_免费源码_资源素材 » C++中std::ranges::fold_left怎么做折叠运算_C++23函数式编程特性【高级】-C++
在线时间:12:00 - 22:00
关注微信公众号:微信公众号
站长邮箱:[email protected]
  • 运营天数: 1391+
  • 资源总数: 47989+
  • 用户总数: 1+
  • 今日更新: 0+
  • 访问次数: 3999866+
  • 本周更新: 0+
  • 最后更新: 2026-03-16

本站指数

×
  • 运营天数: 1391+
  • 资源总数: 47989+
  • 用户总数: 1+
  • 今日更新: 0+
  • 访问次数: 3999866+
  • 本周更新: 0+
  • 最后更新: 2026-03-16