关于 c++ stl 谓词的实现

About the implementations of c++ stl predicate

本文关键字:实现 谓词 stl c++ 关于      更新时间:2023-10-16

我想知道 c++ stl 谓词是如何实现的?例如在 copy_if() 中 http://www.cplusplus.com/reference/algorithm/copy_if/

根据有效 STL,谓词按值传递。对于以下 int 代码,

struct my_predicate{
int var_1;
float var_2;
bool operator()(const int& arg){
// some processing here
}
}

关于my_predicate的传递值,如何实施copy_if()?这里有var_1var_2。对于其他谓词,结构中可能有不同的变量。

如果通过引用或指针传递,这对我来说是非常合理的。

多谢!

(我希望我没有误解你的问题。

之所以可以按值传递,是因为 'my_predicate' 结构具有编译器自动生成的隐式复制构造函数。您可以按值传递它,因为它具有复制构造函数。

在实践中,编译器很可能会优化副本。事实上,编译器很可能会优化整个谓词对象,例如在 std::copy_if 的情况下,将代码减少到相当于 for 循环 + if 语句。

按照约定,谓词按值传递。它们不是重物,对于小对象,即使整个谓词没有优化,按值传递速度也会更快。

此外,通常您不能通过非常量引用(更不用说指针)传递临时值,因此:

std::copy_if(begin(..),end(..),my_predicate{});

不会编译,因为您的谓词不是 const 函数。通过传递值,您可以逃脱这种情况。