c++ - 当存储在 std::function 中时，Captureless lambda 不能转换为函数指针

Question

通常，没有捕获的 C++ lambda should be convertable到 c 风格的函数指针。不知何故，使用 std::function::target 转换它不起作用(即返回 nullptr)，而且 target_type 与签名类型不匹配，即使它看起来一样。

在 VC13 和 GCC 5.3/5.2.0/4.8 上测试

最小测试示例:

#include <functional>
#include <iostream>

void Maybe() {

}

void callMe(std::function<void()> callback) {
    typedef void (*ftype)();
    std::cout << (callback.target_type() == typeid(ftype)) << std::endl;
    std::cout << callback.target<ftype>() << std::endl;
}

int main() {
    callMe([] () {});
    callMe(Maybe);
}

预期的输出是

1
<address>
1
<address>

实际输出

0
0
1
<address>

问题是:为什么 lambda 的签名与传递的函数不同？

Answer 1

在您的第一次调用中，std::function 不会将 lambda 衰减为指针，它只是将其存储为实际类型(确实不是 void() )。

您可以通过简单地使用一元 + 强制 lambda 在 before 用后者构造 std::function 时衰减为指针:

callMe(+[](){});
//     ^