结构的隐式列表初始化构造函数

Question

GCC 5.4 编译这个没有任何警告（使用-std=c++11 -Wall -pedantic）：

#include <iostream>

struct Coord {
    double x, y;
};

Coord origin() {
    return {0.0, 0.0};
}

int main() {
    Coord c = origin();
    std::cout << "(" << c.x << ", " << c.y << ")\n";
}

看起来{0.0, 0.0} 创建了一个 std::initializer_list 用于构造一个 Coord，即使我还没有定义这样的构造函数。

结构是否具有std::initializer_list 的隐式转换构造函数？如果是这样，何时生成此构造函数以及它如何工作的规则是什么？如果不是，为什么编译时没有警告？

Answer 1

“类似地，我们可以初始化一个我们没有的类的对象 使用 • 成员初始化， • 复制定义了一个构造函数 初始化，或 • 默认初始化（没有初始化器或 带有一个空的初始化列表）。例如：

struct Work {
     string author;
     string name;
     int year;
};

Work s9 { "Beethoven",
          "Symphony No. 9 in D minor, Op. 125; Choral",
          1824
      };                         // memberwise initialization

Work currently_playing { s9 };   // copy initialization
Work none {};                    // default initialization”

摘自：Bjarne Stroustrup。 “C++ 编程语言，第四版。”

另外，这里是 cppreference： http://en.cppreference.com/w/cpp/language/aggregate_initialization

类类型（通常是结构或联合），没有私有或 受保护的非静态数据成员不是用户提供的、继承的或 显式（C++17 起）构造函数（显式默认或删除 允许构造函数）（C++11 起）没有虚拟、私有或 受保护 (C++17 起) 基类 无 虚成员函数 无 默认成员初始化器

这是对上述内容的扩展描述的摘录。在人类中，这意味着如果你有一个简单的类，你可以使用适当类型的列表来初始化它，以相同的方式布局。 cppref 页面显示了只要这些条件成立，您甚至可以嵌套类型。