标准算法中部分模板参数为右值引用的原因——以std::reduce为例

首先要明确：这里的ExecutionPolicy&&是转发引用（通用引用），并非普通右值引用——因为它属于模板参数的一部分，是C++实现完美转发的语法。标准库这么设计，完全是基于不同参数的语义、使用场景差异来考量的：

1. 执行策略参数的特殊性 #

执行策略（比如std::execution::par、std::execution::seq）大多是轻量级的空标签类型，但标准库必须支持用户自定义的有状态执行策略——这类策略可能依赖移动语义，或者用户需要传递临时构造的策略对象。用转发引用可以完美转发用户传入的策略：无论是左值（命名的策略变量）还是右值（临时策略对象），都能被正确接收，同时避免不必要的拷贝或移动开销。

另外，所有带执行策略的标准算法（比如std::for_each、std::transform）都遵循这个统一设计：把执行策略作为第一个参数，并用转发引用传递，保证接口的一致性。

2. 迭代器参数按值传递的原因 #

迭代器的设计初衷就是轻量级、可拷贝的——比如指针、std::vector::iterator这类，拷贝成本几乎可以忽略。按值传递是迭代器的常规用法，既简单又能避免引用带来的生命周期问题：如果传引用，用户需要确保迭代器在算法执行期间始终有效，反而增加了使用负担。

3. 初始值init按值传递的原因 #

算法内部需要用init作为累加的起点，并且会在内部修改这个值。如果传引用，会意外修改用户传入的原始变量，违背了“初始值只是计算起点”的语义——用户肯定不希望自己的变量被算法偷偷改掉。

如果T是大型类型，用户可以通过std::move(init)来传递，让算法内部移动构造副本，既保证语义安全，又兼顾性能。

4. 二元操作binary_op按值传递的原因 #

并行版本的std::reduce可能会为每个线程拷贝一份操作对象（如果操作有状态的话），这样能避免多线程共享同一个操作对象带来的线程安全问题。如果传引用，多个线程同时操作同一个binary_op的状态，很容易出现竞态条件。

同样，若操作对象是重型类型，用户可以用std::move(binary_op)来传递，减少拷贝开销。

内容的提问来源于stack exchange，提问作者Denis