Question

当推断的返回类型是std :: nullptr_t时，为什么允许第二个赋值？使用函数指针，这是禁止的。

为什么第二个lambda不运行？

#include <cstdio>
#include <functional>

int main()
{
    std::function<void* ()> f;

    f = []() -> void* {
        printf ("runs\n");
        return nullptr;
    };
    f();

    f = []() {
        printf ("doesn't run\n");
        return nullptr; // -> std::nullptr_t
    };
    f();

    return 0;
}

Answer 1

std::function允许您存储任何内容，只要以下内容适用于您提供的签名：

所有参数类型都可以隐式转换为存储的可调用实体的参数类型，并且
存储的可调用实体的返回类型可隐式转换为签名的返回类型

std::nullptr_t可以隐式转换为任何指针类型，并产生该指针类型的空指针值。

请注意，您的代码实际上并不是有效的C ++ 11，因为您不仅在第二个lambda中有return expr;，因此不会发生返回类型推导。 GCC（和Clang，IIRC）将此作为扩展，因为它将在某个时候成为标准的一部分。

将lambda分配给std :: function

1 个答案: