c++ - 为什么 std::bind 静态类型检查传递给函数的参数？

Question

不完全是一个问题，但更像是一个沉思......我写了一个程序来测试'std::bind'如何将参数传递给被绑定(bind)的函数。在这种情况下，C++ 编译器似乎执行静态类型检查:

#include <iostream>
#include <functional>

void take_int(const int *a)
{
    if (a)
    {
        std::cout << "a is " << *a << std::endl;
    }
    else
    {
        std::cout << "null" << std::endl;
    }
}

int main()
{
    int *a = new(int);
    *a = 4;
    take_int(NULL); //prints 'null'
    auto fn = std::bind(take_int, NULL); //fails to compile
    fn();
    return 0;
}

能够直接使用 NULL 调用函数似乎不一致，但通过 std::bind 调用时在编译时失败。

我猜 std::bind 正在使用更现代的 C++ 功能，这些功能选择强制执行此操作？

Answer 1

这是因为您正在使用已弃用的 NULL。相反，您应该使用 nullptr。

如果您在片段中使用 nullptr，代码将按预期进行编译。

你需要记住的是

NULL can be an integer literal with value zero, or a prvalue of type std::nullptr_t

在您的例子中，它是整数文字。当您使用该值调用函数时，它会转换为指针 - 这就是直接调用函数有效的原因。