initializer_list 和默认构造函数重载决策

#include <initializer_list>
#include <iostream>
using namespace std;

struct Y {};

struct X
{
    X(initializer_list<Y>) { cout << "yay" << endl; }
    explicit X() { cout << "boo" << endl; }
};

X f()
{
    return {};
}

int main()
{
    f();

    return 0;
}

这会打印出“boo”。为什么它不打印出“yay”？

无论如何可以区分以下两种结构：

1. X()
2. X{}

or

1. return X();
2. return {};

or

void g(const X&)

1. g(X())
2. g({})

Thanks.

无论如何可以区分以下两种结构：

不，它们不是不同的结构。

{} 构造函数语法的主要目的是引入uniform初始化，使初始化工作在任何地方都相同。如果它们之间存在差异，那就不会是统一的。

如果您想使用空的初始值设定项列表构造函数，则必须声明您正在显式传递初始值设定项列表。像这样：return initializer_list<Y>{};当然，统一初始化的其他目的之一是不必输入太多类型名，因此您可以使用以下命令达到相同的效果return {{}};