std::has_virtual_destructor — cppreference.com

<tbody> </tbody>

std::has_virtual_destructor является UnaryTypeTrait.

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

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

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

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

Шаблон вспомогательной переменной

<tbody> </tbody>

Примечание

Если класс 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++:

Смотрите также

Категории:

• Страницы, использующие устаревший тег source
• Страницы с устаревшим атрибутом подсветки синтаксиса «enclose»