c++ - 检查空析构函数

Question

有没有一种方法可以使用模板、宏或两者的组合来检查类内部及其继承的类内部是否存在空析构函数？ (is_trivially_destructible 不能产生我需要的东西)。

class Test
{
   public:
   ~Test(){};
};

class Temp2 : public Test
{
};

Answer 1

“为空”的构造函数没有任何意义，因为任何非 pod 成员对象都将/隐式地/被编译器销毁(即使没有声明析构函数)。

所以，其实你想要的很有可能

• std::is_pod<T>::value

  当心:MSVC gets it wrong (例如 struct X : std::array<int, 4> {} 是 pod)

• std::is_trivial<T>::value

这个想法是，只有当构造函数也没有做任何神奇的事情时，才可以跳过构造函数。构造和破坏被设计成完美的平衡，所以你知道如果构造方太微不足道，那么析构函数也是微不足道的。