为什么C++中类字段的默认初始化需要调用析构函数？

Question

请帮我做这个程序：

struct U { 
    U(int *) noexcept;
private:
    ~U() noexcept;
};

struct B {
    B();
    ~B();
    U v; //ok
    U w{nullptr}; //ok
    U u = nullptr; //error
};

这里，structu有一个私有析构函数，只是为了演示析构函数不是由编译器真正调用的，并简化代码的长度。

error: 'U::~U()' is private within this context
   13 |     U u = nullptr; //error

问题是：

1. 如果b::b()不在此转换单元中编译，为什么要考虑字段默认初始化？
2. 出现错误是因为为初始化u字段创建了临时对象吗？（没有强制删除副本？）
3. 那么U和W情况有什么不同？

Answer 1

如果B：：B（）没有在这个翻译单元中编译，为什么要考虑字段默认初始化？

因为成员初始化是类定义的一部分。因此，类定义本身是无效的，而不必涉及其构造函数的定义。在标准中，您可以从[class.mem.general]开始，一直到brace-or-equal-initializer，这最终需要一个有效的“bog-standard”赋值表达式。

错误是因为为u字段的初始化创建了一个临时对象吗？（没有强制删除副本？）

<source>:13:11: error: temporary of type 'U' has private destructor
    U u = nullptr; //error

W是直接初始化的，而不需要事先创建临时的，因此创建它可以很好地工作，因为表达式中没有任何内容试图调用U的析构函数。显然，B::~B()的任何定义在W上仍然会失败，但这超出了重点。