Namespaces
Variants

std:: has_virtual_destructor

From cppreference.net
C++
Metaprogramming library
Type traits
Type categories
(C++11)
(C++11) ( DR* )
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Type properties
(C++11)
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++17)
(C++23)
(C++11) (deprecated in C++26)
(C++11)
(C++11)
(C++11) ( until C++20* )
(C++11) (deprecated in C++20)
(C++11)
(C++11)
(C++20)
(C++20)
(C++23)
(C++17)
Type trait constants
(C++11) (C++17) (C++11) (C++11)
Metafunctions
(C++17)
(C++17)
(C++17)
Supported operations
Relationships and property queries
Type modifications
Type transformations
(C++11) (deprecated in C++23)
(C++11) (deprecated in C++23)
(C++11)
(C++20)
(C++11) ( until C++20* ) (C++17)

Compile-time rational arithmetic
Compile-time integer sequences
(C++14)
ヘッダーで定義 <type_traits>
template < class T >
struct has_virtual_destructor ;
(C++11以降)

std::has_virtual_destructor は UnaryTypeTrait です。

T が仮想デストラクタを持つ型の場合、基底特性は std::true_type です。それ以外の型の場合、基底特性は std::false_type です。

T が不完全な非共用体クラス型である場合、動作は未定義です。

プログラムが std::has_virtual_destructor または std::has_virtual_destructor_v に対する特殊化を追加する場合、動作は未定義です。

目次

翻訳の注意点： - 「Contents」を「目次」に翻訳 - C++専門用語（Template parameters、Helper variable template、std::integral_constantなど）は原文のまま保持 - HTMLタグ、属性、構造は完全に保持 - 番号付けや書式は変更なし - 技術文書としての正確性と専門性を維持

テンプレートパラメータ

T - チェックする型

ヘルパー変数テンプレート

template < class T >
constexpr bool has_virtual_destructor_v = has_virtual_destructor < T > :: value ;
(C++17以降)

std:: integral_constant から継承

メンバ定数

value
[static]
true （ T が仮想デストラクタを持つ場合）、 false （それ以外の場合）
(public static member constant)

メンバ関数

operator bool
オブジェクトを bool に変換し、 value を返す
(public member function)
operator()
(C++14)
value を返す
(public member function)

メンバ型

型 定義
value_type bool
type std:: integral_constant < bool , value >

注記

クラス C がpublicな仮想デストラクタを持つ場合、そのクラスは継承可能であり、派生オブジェクトを基底オブジェクトへのポインタを通して安全に削除できる（ 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++規格に対して遡及的に適用されました。

DR 適用対象 公開時の動作 正しい動作
LWG 2015 C++11 T が不完全な共用体型の場合、
動作は未定義であった 		この場合、基本特性は
std::false_type である

関連項目

(C++11) (C++11) (C++11)
型が削除されていないデストラクタを持つかどうかをチェックする
(クラステンプレート)
(C++11)
型がポリモーフィックなクラス型かどうかをチェックする
(クラステンプレート)