尝试删除初始化列表构造函数并不总是生效

Question

对于通用标题，我很抱歉，但这是一个令人发指的情况，我无法轻易描述。

假设如下代码：

struct S
{
    S() = default;

    int x;
    int y;
};

S f()
{
    return { 1, 2 };
}

这编译并且工作得非常好。我想禁止它，因为它容易出错（实际代码要复杂得多）。所以，我尝试添加

template<typename T>
S(std::initializer_list<T>) = delete;

但你猜怎么着 - 没有任何变化。使用 std=c++17 在 Visual Studio 2019 上测试。 C++ resharper 将此显示为错误，但 msvc 实际上会编译它并且它可以工作。

等等，现在变得有趣了。如果将S() = default; 替换为S() {}，则编译失败并显示

'S::S<int>(std::initializer_list<int>)': attempting to reference a deleted function

好的，这看起来与用户定义的构造函数和初始化有关？！乱七八糟，但还算可以理解。

但是等等——它变得更有趣了——保留= default构造函数，但是使字段private也改变了这种行为，你猜怎么着——错误与不可访问的成员无关，但它再次显示上面的错误！

所以，为了使这个删除工作，我应该将字段设为私有或定义我自己的空构造函数（忽略未初始化的 x 和 y 字段，这只是一个简化的示例），意思是：

struct S
{
    S() = default;
    // S() {}

    template<typename T>
    S(std::initializer_list<T>) = delete;

private:
    int x;
    int y;
};

clang 13 和 GCC 11 的行为方式完全相同，而 GCC 9.3 无法编译原始代码（使用 =default 构造函数，公共字段，但删除了初始化列表构造函数）。

任何想法会发生什么？

Answer 1

在 C++17 中，S 被认为是一个聚合，因此你没有调用任何构造函数，你基本上是直接初始化成员。如果您改用 C++20，S 将不再被视为聚合，因为规则已更改，代码将按预期工作。

更改访问说明符起作用的原因是聚合的所有非静态数据成员的访问说明符需要是公共的。将它们设为非公开意味着您的类不再是聚合，并且您不再获得聚合初始化，而是尝试进行列表初始化并且对于已删除的构造函数失败。