types_has_virtual_destructor

types_has_virtual_destructor (가상 소멸자 확인)

이 페이지에서는 C++ 표준 라이브러리의 std::has_virtual_destructor 타입 특성에 대해 설명해요. 이 특성은 주어진 타입에 가상 소멸자가 있는지 여부를 컴파일 타임에 확인할 수 있게 해줘요. C++11부터 사용할 수 있어요.

출처: cppreference

본문

헤더와 정의

다음은 <type_traits> 헤더에 정의된 내용이에요.

설명

std::has_virtual_destructor는 UnaryTypeTrait예요. T가 가상 소멸자를 가진 타입이라면 base characteristic은 std::true_type이고, 그 외 모든 타입에 대해서는 std::false_type이에요.

T가 불완전한 비공용체 클래스 타입이면 동작이 정의되지 않아요.

프로그램이 std::has_virtual_destructor 또는 std::has_virtual_destructor_v에 대한 특수화를 추가하면 동작이 정의되지 않아요.

템플릿 매개변수

헬퍼 변수 템플릿

std::integral_constant에서 상속됨

멤버 상수

멤버 함수

멤버 타입

참고 사항

클래스 C에 public 가상 소멸자가 있으면, 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++ 표준에 소급 적용되었어요.

같이 보기

더 알아보기 (Learn more)

cppreference