`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;
}  

如果我不继承Myclass与NoConstructOperation上面的代码给出了静态断言编译错误.
但是如果我Myclass使用NoConstructOperation is_trivially_destructiblecheck 继承不起作用,即使Myclass构造函数是公共的.这段代码编译,是什么原因？

Answer 1

你将NoConstructorOperation析构函数定义为virtual.删除virtual将按预期触发静态断言:wandbox示例.

来自cplusplus.com:

一个简单的可破坏类是一个类(用类,结构或联合定义):

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

• 析构函数不是虚拟的.

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

从标准草案N4567 $ 12.4起:

如果不是用户提供的析构函数是微不足道的,如果:

(5.4) - 析构函数不是虚拟的,

(5.5) - 同类的所有直接基类都有简单的析构函数

(5.6) - 对于类的所有类型(或其数组)的非静态数据成员,每个这样的类都有一个简单的析构函数.