为什么 Foo({}) 调用 Foo(0) 而不是 Foo()？

Question

clang 3.5.0 和 gcc 4.9.1 从代码生成的可执行文件

#include <iostream>

struct Foo
{
   Foo() { std::cout << "Foo()" << std::endl; }
   Foo(int x) { std::cout << "Foo(int = " << x << ")" << std::endl; }
   Foo(int x, int y) { std::cout << "Foo(int = " << x << ", int = " << y << ")" << std::endl; }
};

int main()                 // Output
{                          // ---------------------
   auto a = Foo();         // Foo()
   auto b = Foo(1);        // Foo(int = 1)
   auto c = Foo(2, 3);     // Foo(int = 2, int = 3)
   auto d = Foo{};         // Foo()
   auto e = Foo{1};        // Foo(int = 1)
   auto f = Foo{2, 3};     // Foo(int = 2, int = 3)
   auto g = Foo({});       // Foo(int = 0)          <<< Why?
   auto h = Foo({1});      // Foo(int = 1)
   auto i = Foo({2, 3});   // Foo(int = 2, int = 3)
}

按照评论行事。

来自cppreference: cpp/language/list initialization：

[...]

T( { arg1, arg2, ... } )    (7)

[...]

T 类型对象的列表初始化的效果是：

如果T 是聚合类型，则执行聚合初始化。

否则，如果braced-init-list为空且T是具有默认构造函数的类类型，则执行值初始化。

[...]

我的结论是Foo({}) 应该调用默认构造函数。

错误在哪里？

Answer 1

默认构造函数仅在您使用一对大括号时适用：

auto a = Foo();         // Foo()
auto b = Foo{};         // Foo()

Foo({}) 只会调用以空列表作为参数的构造函数，复制列表初始化所选构造函数的参数。 [dcl.init]/16：

如果目标类型是（可能是 cv 限定的）类类型：
— 如果 初始化是直接初始化 […] 考虑构造函数。适用的构造函数 枚举（13.3.1.3），通过重载选择最好的 决议(13.3)。 如此选择的构造函数被调用到 使用初始化表达式或初始化对象 表达式列表 作为它的参数。 如果没有构造函数适用，或者 重载决议不明确，初始化是 格式不正确。

你有一个论点：空的括号初始化列表。有一个列表初始化序列将{} 转换为int，因此构造函数Foo(int) 由重载决议选择。该参数被初始化为零，因为{} 意味着value-intialization，对于标量，意味着zero-initialization。

cppreferences 文档中也没有错误：对于 (7)，声明

7) 在函数转换表达式或其他直接初始化中， 使用花括号初始化列表作为构造函数参数

这显然会导致与上面引用相同的结果：构造函数是用（空的）braced-init-list 调用的。