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 名称的解决方法？

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

编辑 2：我进一步简化了 sn-p 以获得更令人不安的故障：

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 与构造C 临时出{1, 2} 进行比较。从{1, 2} 构造S 是直截了当的，并采用您声明的S 构造函数。从{1, 2} 构造C 也很简单，并采用您的构造函数模板（复制构造函数不可行，因为它只有一个参数，但有两个参数 - 1 和 2 - 被传递）。这两种转换顺序没有可比性。因此，如果不是因为第一个是模板这一事实，这两个构造函数将是模棱两可的。因此 GCC 将更喜欢非模板，选择已删除的复制构造函数并为您提供诊断。

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

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

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

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

Answer 2

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

所以从编译器的角度来看，它有两个选择：创建一个新的S{1,2} 并使用模板构造函数，或者创建一个新的C{1,2} 并使用复制构造函数。通常，非模板函数优于模板函数，因此选择了复制构造函数。 然后看这个函数能不能被调用……不能，所以吐出一个错误。

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