为什么编译器在某些情况下只能将 char * 隐式转换为 std::string

Question

这些工作：

struct WithString {
  WithString(std::string){};
};

void takeString(std::string){}

//implicit conversions:
takeString("hello");
WithString("hello");

但这不是：

WithString makeWithString() { return "hello";}

// error: no viable conversion from returned value of type 'const char [6]'...

如果“hello”在前两种情况下被隐式转换为std::string，为什么不能在最后一种情况下呢？请注意，我没有将WithString 构造函数指定为explicit，所以我希望这样的转换。

我可以通过这样做使行为起作用：

struct WithString {
  WithString(std::string){};
  WithString(const char *){};
};

我只是对这种奇怪现象感到好奇。如果我假设一个猜测，我会说这是因为在前两个工作案例中，转换在 const char * 到 std::string 之间，但在错误情况下，这将需要一个 2 转换链，首先来自 @ 987654329@ 到 std::string，然后从 std::string 到 WithString。所以也许这就是原因，但我不确定。

Answer 1

我会说这是因为在前两个工作情况下，转换是在 const char * 到 std::string 之间，但在错误情况下，这将需要一个 2 转换链，首先来自 const char *到 std::string，然后从 std::string 到 WithString。所以也许这就是原因，但我不确定。

没错。

没有你的 const char* 构造函数重载，这个：

WithString makeWithString() { return "hello";}

需要两个用户定义的隐式转换；一个给std::string，另一个给WithString。这是不可能的。

不过，这里只有一个隐式转换（到std::string）：

takeString("hello");

这里也是如此，因为随后“转换”为WithString 是明确的：

WithString("hello");

我可以通过这样做使行为起作用：

struct WithString {
  WithString(std::string){};
  WithString(const char *){};
};

是的，这就是你应该做的。

Answer 2

你的方法：

WithString makeWithString() { return "hello";}

需要两次转换：隐式的const char *-to-std::string 转换，然后是WithString 对象的构造。 C++ 最多允许其中一种隐式发生。另请参阅此处的讨论：

Non-const copy constructor and implicit conversions on return value

Answer 3

阅读 C++ 标准中的implicit conversions 部分。我在 VS 2015 中尝试了以下代码，编译时没有错误。

#include <string>

struct WithString {
    WithString(std::string) {};
};

void takeString(std::string) {}

//implicit conversions:
void someFunc()
{
    takeString("hello");
    WithString("hello");
    WithString t = "hello";
}

WithString makeWithString() { return "hello"; }

VS2015 似乎不正确（将 const char* 到字符串的转换视为标准转换）。以下代码应该按照标准工作，但在 VS2015 中会产生错误：

WithString makeWithString() { return "hello"s; }
WithString t = "hello"s;

另见copy initialization。在 Notes 中，它明确调用 WithString t = "hello"; 一个错误。