std:: is_virtual_base_of

std::is_virtual_base_of は BinaryTypeTrait です。

Base が Derived の 仮想基本クラス である場合（CV修飾を無視）、メンバ定数 value は true に等しい値を提供します。それ以外の場合、 value は false です。

Base と Derived の両方が非共用体クラス型（CV修飾を無視）である場合、 Derived は 完全型 でなければならない。そうでない場合、動作は未定義となる。

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

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

注記

std :: is_virtual_base_of_v < A, B > は、 A が B のprivate、protected、または曖昧な基底クラスである場合でも true となります。

std :: is_virtual_base_of_v < A, B > が true の場合、 std:: is_base_of_v < A, B > も true となります。しかし、逆は常に真ではありません。なぜなら仮想継承のチェックはより特化的なためです。その場合、 std :: is_virtual_base_of_v < T, T > は、 T が非共用体クラス型であっても false となります。

例

#include <type_traits>
class A {};
class B : A {};
class C : B {};
class D : virtual A {};
class E : D {};
union F {};
using I = int;
static_assert
(
    std::is_virtual_base_of_v<A, A> != true &&
    std::is_virtual_base_of_v<A, B> != true &&
    std::is_virtual_base_of_v<A, D> == true &&
    std::is_virtual_base_of_v<D, E> != true &&
    std::is_virtual_base_of_v<F, F> != true &&
    std::is_virtual_base_of_v<I, I> != true
);
int main() {}

関連項目