将 nullptr 传递给我的重载函数会导致运行时错误

Question

为了了解更多使用指令和函数重载，我尝试了这个程序：

namespace ns{
    void f(int){cout << "int\n";}
    void f(double){cout << "double\n";}
    void f(std::string){cout << "string\n";}
    struct Foo{};
}

void f(ns::Foo const&){
    cout << "ns::Foo\n";
}

namespace bin{
    void f(int*){
        std::cout << "bin::f(int*)\n";
    }
}


int main(){

    using namespace ns;
    //using namespace bin;

    f(7); // int
    f(7.5); // double

    f(ns::Foo{}); // ns::Foo

    try{
        f(nullptr);
    }
    catch(std::exception const& e){
        std::cout << e.what() << std::endl;
    }
}

当我运行程序时，它工作正常，除了最后一次调用f(nullptr) 导致运行时错误：

int
double
ns::Foo
basic_string::_M_construct null not valid

如果我取消注释命名空间 bin 的 using 指令，则代码可以正常工作。

using namespace bin;

输出：

int
double
ns::Foo
bin::f(int*)

Answer 1

当using namespace bin; 被注释掉时，只有一个可用的f() 版本可以将nullptr 作为输入。 nullptr 不能隐式转换为int 或double，因此排除了ns::f(int) 和ns::f(double)。但是std::string 可以从const char* 构造，并且nullptr 可以隐式转换为const char*，因此编译器可以构造一个临时的std::string 对象以传递给ns::f(std::string)。但是，未定义的行为是从一个空的 const char* 构造一个 std::string，因此会出现运行时错误（顺便说一句，这是不能保证的，因为行为是 未定义的 ，所以任何事情都可能发生）。

当using namespace bin; 没有被注释掉时，有两个可用的f() 版本可以将nullptr 作为输入。 bin::f(int*) 比ns::f(std::string) 匹配更好，因为nullptr 可以隐式转换为int*，因此不需要构造临时对象，因此编译器选择调用bin::f(int*) 而不是ns::f(std::string)。