std::has_virtual_destructor

template< class T >
struct has_virtual_destructor;

Это UnaryTypeTrait.

Если T — тип с виртуальным деструктором, то базовым свойством является std::true_type. Для любого другого типа базовым свойством является std::false_type.

Если T — неполный тип класса-необъединения, поведение не определено.

Поведение программы, добавляющей специализации для std::has_virtual_destructor или std::has_virtual_destructor_v, не определено.

Параметры шаблона

Вспомогательный шаблон переменной

template< class T >
inline constexpr bool has_virtual_destructor_v = has_virtual_destructor<T>::value;

Примечания

Если класс C имеет публичный виртуальный деструктор, из него можно вывести производный класс, и производный объект можно безопасно удалить через указатель на базовый объект (GotW #18). В этом случае, std::is_polymorphic<C>::value является true.

Пример

#include <type_traits>
 
struct S {};
static_assert(!std::has_virtual_destructor_v<S>);
 
struct B { virtual ~B() {} };
static_assert(std::has_virtual_destructor_v<B>);
 
struct D : B { ~D() {} };
static_assert(std::has_virtual_destructor_v<D>);
 
int main()
{
    B* pd = new D;
    delete pd;
}

Отчеты об ошибках

Следующие отчеты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

См. также