c++ - 检查类是否有一个空的析构函数

Question

假设我有这样一个类:

struct A {
public:
    A(int a, int c): a_(a+c), c_(a-c) { }
    A(const A& arg): a_(arg.a_), c_(arg.c_) { }
    int a_;
    char c_;
};

此类的对象位于一些动态分配的内存区域中。在释放此内存区域期间不应调用析构函数。所以我想确定 A destructor 真的是空的。例如，如果有人将 std::string s_; 成员添加到类 A 中，那么如果不调用析构函数，则显然是内存泄漏。

如果 A 中没有构造函数和复制构造函数，那么我可以添加检查:

 static_assert(std::is_trivial<A>::value)

但对于 A 类，它将失败。

所以我的问题是:我能否在编译时以某种方式检查此类的析构函数是否真的是空的并且不做任何工作？

Answer 1

这就是 std::is_trivially_destructible 用于:

std::is_trivially_destructible<A>::value

确保#include <type_traits> .