大括号初始值设定项列表中是否允许显式转换运算符？

Question

以下代码可以使用 GCC 4.9.2 编译，但不能使用 Clang 3.5.0：

#include <string>

class Foo
{
public:
  explicit operator std::string() const;
};

std::string bar{Foo{}}; // Works in g++, fails in clang++
std::string baz(Foo{}); // Works in both

clang++ 说：

foo.cpp:9:13: error: no matching constructor for initialization of 'std::string'
      (aka 'basic_string<char>')
std::string bar{Foo{}};
            ^  ~~~~~~~
...: note: candidate constructor not viable: no known conversion from 'Foo' to
      'const std::basic_string<char> &' for 1st argument
      basic_string(const basic_string& __str);
      ^

奇怪的是，如果将 std::string 替换为像 int 这样的原始类型，它会起作用。

Answer 1

这似乎是一个 Clang 错误。 [over.match.list]/1：

当非聚合类类型T的对象被列表初始化时 (8.5.4)，重载决议分两个阶段选择构造函数：

• [..]
• 如果没有找到可行的初始化列表构造函数，重载解析再次执行，其中候选函数都是 T 类的构造函数和参数列表包括 初始化列表的元素。

由于第二行编译良好，因此存在不一致：在重载决议方面它们应该是等价的。

Answer 2

来自 [class.conv.fct]/2：

转换函数可能是显式的 (7.1.2)，在这种情况下，它仅被视为用于直接初始化 (8.5) 的用户定义转换。

所以问题是你如何初始化你的对象。显然baz 是直接初始化的，所以这行得通。相比之下，bar 是直接列表初始化的，但不是直接初始化的，因此无法进行显式转换。

Answer 3

clang 似乎并不关心转换运算符是否为explicit，并且由于[over.best.ics] 中的措辞，我相信它是正确的。

首先，直接初始化

std::string baz(Foo{});

适用于 gcc 和 clang，并由 KerrekSB's answer 中提到的 [class.conv.fct]/2 解释。

直接列表初始化

std::string bar{Foo{}};

另一方面，不考虑任何用户定义的转换，explicit 与否。

引用 N3337，§13.3.3.1/4 [over.best.ics]

但是，考虑构造函数的参数时或用户定义的转换函数是 13.3.1.3 的候选者，当在类的第二步中调用以复制/移动临时对象时复制初始化，13.3.1.7 将初始化列表作为单个参数传递或初始化列表只有一个元素并且转换为某个类 X 或引用（可能是 cv 限定的）X 考虑X的构造函数的第一个参数，或者13.3.1.4、13.3.1.5或13.3.1.6在所有情况下，只考虑标准转换序列和省略号转换序列。