C++ 初始化奇怪的行为

Question

typedef struct node {
    
    int val;
    int val2;
    
    node(int a, int b) : val(a), val2(b) {}
    node(int val) = delete;
}node;

int main()
{
    node a = {3};
    cout << a.val << " " << a.val2 << endl;
    return 0; 
}

---

上面的代码给出了编译错误，表明使用了已删除的函数node::node(int)。

但是，当我删除 node(int a, int b) : a(val), b(val2) {} 时，此代码编译没有问题。这将如何发生？

Answer 1

在 C++20 之前，aggregate type 允许显式删除构造函数。如果你去掉node(int a, int b)，只留下node(int val) = delete;，node被认为是聚合，node a = {3};执行聚合初始化，构造函数将不会被使用，因为效果a.val被初始化为3和@987654329 @直接初始化为0。

没有用户提供的构造函数（允许显式默认或删除的构造函数）（C++11 起）（C++17 前）

没有用户提供的、继承的或显式的构造函数（允许显式默认或删除的构造函数）（C++17 起）（C++20 前）

C++20 已修复此行为。 node a = {3}; 执行list initialization，将使用删除的构造函数，代码格式错误。

没有用户声明或继承的构造函数（C++20 起）

BTW：typedef在node的定义中的用法是多余的，你可以直接写成struct node { ... };。