为什么将 nullptr 作为 std::string 返回不是编译时错误？

Question

由于一个错误，我刚刚发现这段代码在 Visual Studio 17 上编译得很好，而且可能在其他编译器上也是如此。现在我很好奇为什么？

#include <iostream>
#include <string>

std::string foo(){
    return nullptr;
}

int main(){
    auto s = foo();
    std::cout << s << std::endl;
}

我可以想象这是因为std::basic_string c'tor 可以使用char* 调用，并且在返回从ptr 到std::string 的隐式转换时发生（使用NULL 作为参数，然后发出嘘声）。我走对了吗？

Answer 1

是的，你的假设是正确的，检查std::basic_string constructors #5 将被调用：

basic_string( const CharT* s,
              const Allocator& alloc = Allocator() );

请注意，传递nullptr 会调用the standard 和注释中所述的未定义行为：

行为是 如果[s, s + Traits::length(s)) 不是有效范围，则未定义（对于 例如，如果s 是一个空指针）。

Answer 2

为什么不编译？ std::string 具有以下构造函数：

string(const CharT* s, const Allocator& alloc = Allocator());

构造字符串，其内容由s 指向的空终止字符串的副本初始化。构造函数是不显式的，因此从nullptr 到std::string 的隐式转换确实是可能的。