复制初始化和显式构造函数 - 编译器差异

Question

我发现 Microsoft Visual C++ 编译器与 gcc-4.8.1（由 ideone.com 提供）之间存在差异。考虑以下 SSCCE：

struct S
{
  int x;
};

class A
{
public:
  int x;
  A(const S& s) : x(s.x) {}
};

class B
{
  int x, y;

public:
  template <typename T> explicit B(const T& t) : x(t.x), y(t.y) {}

  B(const A& a) : x(a.x), y(0) {}
};

int main() {
  S s = {1};

  B b1 = s; // Compiles OK on MSVC++;
            // Fails on gcc - conversion from ‘S’ to non-scalar type ‘B’ requested

  B b2(s);  // Fails on both - Error: y is not a member of S in B::B<S>(const T &)
}

我理解为什么 B b2(s); 行失败 - explicit 构造函数匹配，所以它被尝试了；但t.y 不存在。很好。

但我无法确定 MSVC++ 是否正确允许B b1 = s;，或者 gcc 是否正确拒绝它。 MSVC++ 正在从A::A(const S&) 构造一个临时对象，并使用它通过B::B(const A&) 初始化b1；我不确定为什么 gcc 错误。

哪个编译器是对的？

（作为后记，如果我删除 explicit 两个编译器都拒绝 B b1 = s; - 大概是因为模板化的构造函数现在对于临时的隐式构造来说是公平的游戏。）

编辑： 从 cmets 看来，MSVC++ 似乎也拒绝了 Visual Studio 2012 中的 B b1 = s; 行，因此大家一致认为这确实是一个错误。在这种情况下 - 错误的性质是什么？那条错误消息是什么意思？

Answer 1

从这个answer偷来的，标准说：

12.3 转换 [class.conv]

4 最多一个用户定义的转换（构造函数或转换函数）隐式应用于单个值。

您试图一步执行两个，S 需要转换为接受A 的B 的构造函数，然后另一个用于接受@ 的A 的构造函数987654326@。解决方案是首先将S 转换为A：

B b1 = static_cast<A>(s);