c语言中的匿名函数,如何在C 11中传递和执行匿名函数作为参数？

基本版本,用于头文件：

template

bool Func1(int Arg1, Lambda Arg2){ // or Lambda&&, which is usually better

if(Arg1 > 0){

return Arg2(Arg1);

} else {

return false; // remember, all control paths must return a value

}

}

更复杂的版本,如果您想从实现中拆分接口(它有运行时成本)：

bool Func1(int Arg1, std::function Arg2){

if(Arg1 > 0){

return Arg2(Arg1);

} else {

return false; // remember, all control paths must return a value

}

}

std :: function使用类型擦除在lambda周围创建一个自定义创建的包装器,然后公开一个非虚拟接口,该接口使用pImpl模式将其转发到自定义创建的包装器.

或者,在较少技术术语中,std :: function< bool(int)>是一个类,它可以包装几乎任何你可以调用的函数,传递一个与传递int兼容的参数,并返回与返回bool兼容的东西.

通过std :: function调用的运行时成本大致等于虚函数调用(由上面的类型擦除引起),当你创建它时,它必须复制传入的函数对象(aka functor)的状态(可以是廉价的 – 无状态lambdas,或通过引用捕获参数的lambda – 或者在某些其他情况下代价很高)并存储它(通常在免费商店或堆上,有成本),而纯模板版本可以在调用点处“内联”(即,不仅可以比函数调用成本更低,编译器甚至可以优化函数调用并返回边界！)

第一个示例的精美版本也可以更好地处理某些角落情况:(也必须在头文件中实现,或者在使用的同一个翻译单元中实现)

template

bool Func1(int Arg1, Lambda&& Arg2){

if(Arg1 > 0){

return std::forward(Arg2)(Arg1);

} else {

return false; // remember, all control paths must return a value

}

}

它使用一种称为“完美转发”的技术.对于某些仿函数,这会产生与#1略有不同的行为(通常更正确的行为).

大多数改进来自于&&和在参数列表中：这意味着传入对仿函数的引用(而不是副本),从而节省了一些成本,并允许传入const或非const仿函数.

std :: forward< Lambda>(…)更改只会导致行为发生变化,如果有人使用相对较新的C功能允许方法(包括operator())覆盖此指针的rvalue / lvalue状态.从理论上讲,这可能是有用的,但是我看到的基于rvalue状态实际覆盖的仿函数是0.当我正在编写严格的库代码(tm)时,我会去打扰这个,但很少会这样做. .

还有一件事可以考虑.假设你想要一个返回bool的函数,或者一个返回void的函数,如果函数返回void,你想把它当作返回true来对待它.例如,在迭代某个集合时,您正在调用正在调用的函数,并且您希望选择性地支持早期暂停.该函数在想要提前停止时返回false,否则返回true或void.

或者,在更一般的情况下,如果您有一个函数的多个覆盖,其中一个覆盖函数,而其他覆盖函数则在同一位置使用其他类型.

这是可能的,这是我要进入这里(使用智能适配器,或通过SFINAE技术).但是,你可能最好只创建两个不同的命名函数,因为所需的技术太重了.

1技术上std :: function可以使用魔法仙尘来做它所做的事情,因为它的行为是由标准描述的,而不是它的实现.我正在描述一个简单的实现,它近似于我与之交互过的std :: function实现的行为.