`is_trivially_destructible` 不适用于继承的类

Question

#include <iostream>
using namespace std;


    class NoConstructOperation
    {
    protected:
        NoConstructOperation() = default;
        virtual ~NoConstructOperation() = default;
    public:
        NoConstructOperation(const NoConstructOperation&) = delete;
        NoConstructOperation& operator =(NoConstructOperation&) = delete;
        NoConstructOperation(NoConstructOperation&&) = delete;
        NoConstructOperation& operator = (NoConstructOperation&&) = delete;
    };

class Myclass:public NoConstructOperation
{

};


int main() {
    static_assert(!std::is_trivially_destructible<Myclass>::value, "Compiler provided destructor is public: Please declare it private");
    return 0;
}  

如果我不使用NoConstructOperation 继承Myclass，上面的代码会使用静态断言给出编译错误。
但是如果我用NoConstructOperation 继承Myclass is_trivially_destructible 检查不起作用，即使Myclass 构造函数是公共的。这段代码可以编译，是什么原因？

Answer 1

您将NoConstructorOperation 的析构函数定义为virtual。删除 virtual 将按预期触发静态断言：wandbox example。

来自cplusplus.com：

普通可破坏类是一个类（用类、结构或联合定义）：

• 使用隐式定义的析构函数。

• 析构函数不是虚拟的。

• 它的基类和非静态数据成员（如果有的话）本身也是可简单破坏的类型。

来自标准草案N4567 $12.4：

如果析构函数不是用户提供的并且满足以下条件，则它是微不足道的：

(5.4) — 析构函数不是虚拟的，

(5.5) — 其类的所有直接基类都有微不足道的析构函数，并且

(5.6) — 对于其类的所有属于类类型（或其数组）的非静态数据成员，每个此类 类有一个微不足道的析构函数。