C++11 重载解析的奇怪情况

Question

今天我遇到了一个相当奇怪的重载解析案例。我将其简化为以下内容：

struct S
{
    S(int, int = 0);
};

class C
{
public:
    template <typename... Args>
    C(S, Args... args);

    C(const C&) = delete;
};

int main()
{
    C c({1, 2});
}

我完全期望 C c({1, 2}) 匹配 C 的第一个构造函数，并且可变参数的数量为零，和 {1, 2} 被视为 S 对象的初始值设定项列表构造。

但是，我收到一个编译器错误，表明它与 C 的已删除复制构造函数相匹配！

test.cpp: In function 'int main()':
test.cpp:17:15: error: use of deleted function 'C(const C &)'
test.cpp:12:5: error: declared here

我可以看出它是如何工作的 - {1, 2} 可以被解释为 C 的有效初始化器，而 1 是 的初始化器S （它可以从 int 隐式构造，因为其构造函数的第二个参数有默认值），并且 2 是一个可变参数......但我不明白为什么这将是一个更好的匹配，尤其是看到副本有问题的构造函数被删除。

有人可以解释一下这里使用的重载解析规则，并说明是否有一种解决方法不涉及在构造函数调用中提及 S 的名称？

编辑：由于有人提到该代码片段使用不同的编译器进行编译，我应该澄清一下，我在 GCC 4.6.1 中遇到了上述错误。

编辑 2：我进一步简化了代码片段，得到了一个更令人不安的失败：

struct S
{
    S(int, int = 0);
};

struct C
{
    C(S);
};

int main()
{
    C c({1});
}

错误：

test.cpp: In function 'int main()':
test.cpp:13:12: error: call of overloaded 'C(<brace-enclosed initializer list>)' is ambiguous
test.cpp:13:12: note: candidates are:
test.cpp:8:5: note: C::C(S)
test.cpp:6:8: note: constexpr C::C(const C&)
test.cpp:6:8: note: constexpr C::C(C&&)

这一次，GCC 4.5.1 也给出了相同的错误（减去 constexprs 和它不会隐式生成的移动构造函数）。

我发现非常很难相信这就是语言设计者的意图......

Answer 1

对于 C c({1, 2}); 您有两个可以使用的构造函数。因此，会进行重载解析，并查看采用

C(S, Args...)
C(const C&)

Args 的函数将被推导为零，正如您所计算的那样。因此，编译器会将构造 S 与从 {1, 2} 构造 C 临时对象进行比较。从 {1, 2} 构造 S 非常简单，并采用您声明的 S 构造函数。从 {1, 2} 构造 C 也很简单，并采用构造函数模板（复制构造函数不可行，因为它只有一个参数，但有两个参数 - < code>1 和 2 - 已通过）。这两个转换顺序没有可比性。因此，如果不是因为第一个构造函数是模板，那么这两个构造函数将是不明确的。因此，GCC 会更喜欢非模板，选择已删除的复制构造函数，并为您提供诊断信息。

现在，对于您的 C c({1}); 测试用例，可以使用三个构造函数。

C(S)
C(C const&)
C(C &&)

对于最后两个构造函数，编译器会更喜欢第三个构造函数，因为它将右值绑定到右值。但是，如果您考虑使用 C(S) 与 C(C&&)，您将无法在这两种参数类型之间找到获胜者，因为对于 C(S ) 您可以从 {1} 构造 S，对于 C(C&&) 您可以初始化 < code>C 临时来自{1} 通过采用 C(S) 构造函数（标准明确禁止用户定义的移动或复制构造函数的参数转换可用于初始化来自 {...} 的类 C 对象，因为这可能会导致不必要的歧义；这就是将 1 转换为 的原因；这里不考虑C&&，只考虑转换从 1 到 S）。但这一次，与您的第一个测试用例相反，两个构造函数都不是模板，因此您最终会产生歧义。

这完全就是事情的运作方式。 C++ 中的初始化很奇怪，因此遗憾的是，让每个人都“直观”地了解所有内容是不可能的。即使是上面的简单示例也会很快变得复杂。当我写下这个答案时，一个小时后，我偶然再次查看它，我发现我忽略了一些东西，必须修正答案。

Answer 2

您对为什么它可以从该初始值设定项列表创建 C 的解释可能是正确的。 ideone 愉快地编译您的示例代码，并且两个编译器都不可能都是正确的。然而，假设创建副本是有效的...

因此从编译器的角度来看，它有两种选择：创建一个新的 S{1,2} 并使用模板化构造函数，或者创建一个新的C{1,2} 并使用复制构造函数。通常，非模板函数优于模板函数，因此选择复制构造函数。 然后它会检查该函数是否可以被调用...它不能，因此它会抛出一个错误。

SFINAE 需要不同类型的错误......它们发生在第一步，检查哪些函数可能匹配时。如果简单地创建函数会导致错误，则该错误将被忽略，并且该函数不会被视为可能的重载。枚举可能的重载后，此错误抑制功能将被关闭，您将只能得到所得到的结果。