std::reduce默认串行，需显式传入std::execution::par等策略才并行；要求随机访问迭代器、操作满足结合律与可交换性；浮点结果可能因舍入误差与串行不一致；小数据量反而更慢，建议超10万元素再用；跨平台支持需注意编译器和标准库版本。
std::reduce 在 C++17 中默认不并行，必须显式传入执行策略
很多人以为 std::reduce 天然并行，其实它在未指定策略时等价于串行的 std::accumulate。真正触发并行，必须传入 std::execution::par 或 std::execution::par_unseq 策略对象。否则编译器不会启用多线程，也**不会报错**——这是最易踩的坑。
常见错误现象：std::reduce(first, last, init) 跑得比 std::accumulate 还慢，或 CPU 占用始终单核。
- 必须包含头文件：
#include和#include - 策略仅对随机访问迭代器有效（如
std::vector、原生数组），std::list不支持 -
std::execution::par_unseq允许向量化 + 并行，但要求操作满足「无副作用」和「可交换性」（比如加法可以，除法不行）
并行 reduce 要求二元操作满足结合律和可交换性
浮点加法在数学上可交换，但在 IEEE 754 下因舍入误差，a + b + c 和 b + a + c 可能结果不同。所以 std::reduce 并行版本不保证与串行结果完全一致——这不是 bug，是设计使然。
使用场景中若需确定性结果（如测试断言、金融计算），应避免并行 std::reduce；若追求吞吐（如图像像素统计、蒙特卡洛采样），则收益明显。
立即学习“C++免费学习笔记（深入）”；
- 整数加法、位或（
|）、最大值（std::max）都安全 - 自定义函数必须声明为
noexcept，且不能读写全局/静态变量 - 若用 lambda，捕获列表只能是值捕获（
[=]），不能引用外部状态
实际性能差异取决于数据规模和硬件，小数组反而更慢
并行有调度开销：线程创建、任务切分、归约合并。对 std::vector 少于几千元素的情况，std::execution::par 常比串行慢 2–5 倍。
