从默认构造函数调用成员的析构函数

Question

class Part
{
public:
    ~Part() = delete;
};

class CL
{
public:
    CL(){} //error: deleted destructor call
    ~CL();
    Part part;
};

int main()
{
}

此代码给出了与Part 的已删除析构函数调用相关的错误。成员析构函数调用的默认构造函数的上下文是什么？

P.S：据我所知，Part 成员的析构函数必须在 ~CL() 中调用，但它不是专门为演示而定义的，默认构造函数强制它在任何地方

Answer 1

每个构造函数都需要访问其成员的析构函数。当构造函数抛出异常时，它必须能够销毁在抛出异常之前初始化的每个成员。您可以验证这对于每个构造函数都是正确的。如果您尝试向构造函数添加任意参数，即使使用复制和移动构造函数，错误仍然会发生。

正如 cmets 中提到的，CL() = default; 不会产生错误。这是因为CL() = default; 只会导致编译器生成它通常会生成的隐式默认构造函数。在这种情况下，CL 似乎有一个deleted implicitly-declared default constructor，这意味着自动生成的隐式默认构造函数将被删除。如果您尝试以下操作，您会发现默认构造函数实际上不可用：

#include <type_traits>

class Part
{
public:
    ~Part() = delete;
};

class CL
{
public:
    CL() = default;
    ~CL();
    Part part;
};

// This assert passes
static_assert(std::is_default_constructible<CL>::value == false, "");

但是，我无法准确解释为什么 CL 有一个已删除的隐式声明的默认构造函数，我也无法解释为什么CL() noexcept {}; 不起作用。

Answer 2

首先，根据[special]p5，Part 是CL 的可能构造的子对象。

对于一个类，它的非静态数据成员，它的非虚拟直接基类，如果这个类不是抽象的，它的虚拟基类被称为它的可能构造的子对象。

所以Part 的析构函数可能会根据[class.base.init]p12 调用，无论nonexcept 是否存在。

在非委托构造函数中，每个可能构造的类类型子对象的析构函数都可能被调用。

因此，根据[class.dtor]p12，程序格式不正确。

如果一个可能被调用的析构函数被删除或无法从调用的上下文中访问，则该程序是格式错误的。

请注意，即使实际上并未调用已删除的析构函数，只要析构函数可能被调用，程序就是非良构的。