为何copy_if的实现不将UnaryPred作为const引用参数传递？

先看cppreference提供的copy_if示例实现：

template<class InputIt, class OutputIt, class UnaryPred>
OutputIt copy_if(InputIt first, InputIt last,
                 OutputIt d_first, UnaryPred pred)
{
    for (; first != last; ++first)
        if (pred(*first))
        {
            *d_first = *first;
            ++d_first;
        }
 
    return d_first;
}

关于谓词参数不用const UnaryPred&的原因，主要有这几点：

• 轻量级对象拷贝成本更低：很多谓词是轻量级的，比如空的函数对象、无捕获lambda，或者只捕获基础类型的lambda。这类对象拷贝的开销远小于引用的间接访问成本——拷贝可能只是几个字节的复制，甚至编译期就能完全优化掉，而引用需要维护指针/引用的额外开销。

• 兼容有状态的可修改谓词：有些谓词内部带有可变状态，比如记录调用次数的计数器、需要在每次调用时更新的状态变量。如果用const UnaryPred&，调用pred(*first)时就无法修改这些状态，直接限制了这类场景的使用。标准库设计需要覆盖这类灵活的使用需求，所以选择值传递。

• 值传递更利于编译器优化：值传递的谓词是函数的局部对象，编译器可以确定没有其他外部引用会修改它，因此能进行更激进的优化——比如内联谓词逻辑、消除冗余操作，甚至直接把谓词的判断逻辑展开到循环里，而引用传递可能因为别名问题（编译器不确定是否有外部修改）无法做这些优化。

• 遵循标准库接口惯例：标准库中类似的算法，比如std::for_each、std::find_if等，函数对象参数都是按值传递的，保持接口的一致性能让开发者更容易理解和使用不同的算法。

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