c++ - 为什么我的类的复制初始化不适用于使用字符串文字的 string_view？

Question

我有以下代码:

#include <string_view>

class Foo
{
public:
    Foo(std::string_view) {}
};

当我这样做时，一切都可以正常编译(使用 clang v8，C++17):

Foo f("testing");

但是，如果我使用复制初始化，它会失败:

Foo f = "testing";

诊断:

prog.cc:15:9: error: no viable conversion from 'const char [8]' to 'Foo'
    Foo f = "testing";
        ^   ~~~~~~~~~
prog.cc:7:7: note: candidate constructor (the implicit copy constructor) not viable: no known conversion from 'const char [8]' to 'const Foo &' for 1st argument
class Foo
      ^
prog.cc:7:7: note: candidate constructor (the implicit move constructor) not viable: no known conversion from 'const char [8]' to 'Foo &&' for 1st argument
class Foo
      ^
prog.cc:10:5: note: candidate constructor not viable: no known conversion from 'const char [8]' to 'std::string_view' (aka 'basic_string_view<char>') for 1st argument
    Foo(std::string_view) {}
    ^
1 error generated.

查看 constructors for string_view ，我没有看到任何采用 char const[] 的重载，这可能是问题所在吗？我意识到我可以使用 "testing"sv 来解决这个问题，但我觉得字符串文字大小写也应该有效。

为什么复制初始化案例不起作用？我怎样才能让它与字符串文字一起工作？

Answer 1

Foo f = "testing"; 是 copy initialization ，它要求从 "testing"(属于 const char[8] 类型)到 Foo 的隐式转换。 "testing" 可能会退化为 const char*，然后仍然需要两个用户定义的转换。从 const char* 到 std::string_view 的转换，以及从 std::string_view 到 Foo 的转换。但是在一个隐式转换序列中只允许一个用户定义的转换。

Foo f("testing"); 是 direct initialization ，其行为不同。 "testing" 衰减为 const char*，然后转换为 std::string_view，用作 Foo< 的参数 的构造函数直接初始化 f。

In addition, the implicit conversion in copy-initialization must produce T directly from the initializer, while, e.g. direct-initialization expects an implicit conversion from the initializer to an argument of T's constructor.

Implicit conversion is defined in terms of copy-initialization: if an object of type T can be copy-initialized with expression E, then E is implicitly convertible to T.

作为解决方法，如果您想坚持复制初始化，您可以减少所需的用户定义转换。如您所示，应用 Foo f = "testing"sv; 或 Foo f = std::string_view("testing"); 是个好主意，它具有效果一样。