Проверить наличие пустого деструктора

Question

Есть ли способ использовать шаблоны, макросы или их комбинацию для проверки пустого деструктора внутри класса и внутри классов, на которые он наследует? (is_trivially_destructible не производит то, что мне нужно).

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

class Temp2 : public Test 
{ 
}; 

Answer 1

Конструктор «порожняком» ничего не значит, так как любой не стручок объекты членов будет/неявно/быть уничтожена там компилятор (даже если деструктор не объявлен).

Итак, на самом деле, что вы хотите, вероятно,

• std::is_pod<T>::value

  Осторожно: MSVC gets it wrong (например, для struct X : std::array<int, 4> {} который является стручок)

• std::is_trivial<T>::value

Идея состоит в том, что конструктор можно пропустить только в том случае, если конструктор не делает ничего волшебного. Конструкция и разрушение предназначены для идеального баланса, поэтому вы знаете, что деструктор тривиален, если строительная сторона тоже.