c++ - 传递给模板函数时，lambda 自动衰减为函数指针

Question

有没有办法让 lambda 衰减为指针，而无需显式转换为正确的签名？这将整理一些代码:

template<typename T> T call(T(*func)()){ return func(); }
int ptr(){ return 0; }
int main(){
    auto ret1 = call(ptr);
    auto ret2 = call((int(*)())([]{ return 0; }));
    auto ret3 = call([]{ return 0; });  //won't compile
}

很明显，只有当 lambda 衰减为指针时，对 call 的调用才有效，但我猜这只有在选择了正确的函数重载/模板后才会发生。不幸的是，我只能想到涉及模板​​的解决方案，使 lambda 具有任何签名衰减，所以我回到原点。

Answer 1

您可以将 lambda 更改为使用一元 + 运算符:+[]{ return 0; }

这是有效的，因为一元加法可以应用于指针，并且会触发到函数指针的隐式转换。