为什么双空花括号{{}}用一个元素创建一个std :: initializer_list <double>,而不是零？

我有以下构造函数:

MyItem(std::initializer_list l) {
    std::cout << "l size " << l.size() << ")" << std::endl;
}

以后用双花括号调用:

MyItem{{}}

结果l.size()给出的是1.

这种行为背后的机制是什么？

似乎嵌套的{}扮演的是唯一元素的默认构造函数,但我不太明白为什么以及类型推导在这里如何工作.

当您使用大括号(列表初始化)来初始化MyItem对象时,您显示的列表构造函数非常贪婪.

这些将传递一个空列表:

MyItem foo({});
MyItem foo{std::initializer_list{}};

这会传递一个包含单个元素的列表 - 值初始化double(0.0):

MyItem foo{{}};

这是有效的,因为在某些情况下,您可以简单地使用大括号代替已知类型.在这里,它知道从列表构造函数中选择给定列表应该包含的内容double.

为了完整性,这看起来像是传递一个空列表,但foo如果它有一个默认的构造函数,它实际上是值初始化(或者在特殊情况下,它做了几乎相同的事情).如果没有默认构造函数,它将选择列表构造函数,如下所示.

MyItem foo{};

MyItem{{}}

MyItem(std::initializer_list l) {
    std::cout << "l size " << l.size() << ")" << std::endl;
}

MyItem( {{}} );

{ {} }