名前空間
変種
操作

std::is_base_of

提供: cppreference.com
< cpp‎ | types
 
 
 
型サポート
型プロトタイプ
(C++11)
(C++11)
(C++14)
(C++11)
(C++11)(C++20以前)
(C++11)(C++20で非推奨)
(C++11)
型特性定数
メタ関数
(C++17)
エンディアン
(C++20)
サポートされている操作
関係と性質の問い合わせ
(C++11)
is_base_of
(C++11)
(C++11)
(C++11)
型変更
(C++11)(C++11)(C++11)
型変換
(C++11)
(C++11)
(C++17)
(C++11)(C++20以前)(C++17)
 
ヘッダ <type_traits> で定義
template< class Base, class Derived >
struct is_base_of;
(C++11およびそれ以降)

DerivedBase から派生する場合、またはそれらが同じ非 union クラスである場合 (どちらの場合も cv 修飾は無視します)、 true に等しいメンバ定数 value が提供されます。 そうでなければ valuefalse です。

BaseDerived がどちらも非 union クラス型であって、それらが同じ型でない場合 (cv 修飾は無視します)、 Derived完全型でなければなりません。 そうでなければ動作は未定義です。

目次

[編集] ヘルパー変数テンプレート

template< class Base, class Derived >
inline constexpr bool is_base_of_v = is_base_of<Base, Derived>::value;
(C++17およびそれ以降)

std::integral_constant から継承

メンバ定数

value
[static]
DerivedBase の派生であるか、それらが同じ非 union クラスである (どちらの場合も cv 修飾は無視します) ならば true、そうでなければ false
(パブリック静的メンバ定数)

メンバ関数

operator bool
オブジェクトを bool に変換します。 value を返します
(パブリックメンバ関数)
operator()
(C++14)
value を返します
(パブリックメンバ関数)

メンバ型

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

[編集] ノート

AB のプライベートな、プロテクテッドな、または曖昧な基底クラスであっても、 std::is_base_of<A, B>::valuetrue になります。 多くの状況では、 std::is_convertible<B*, A*> の方が適したテストです。

クラスがそれ自身の基底であることはありませんが、この特性の意図は「is-a」関係のモデル化であり、 T is a T であるため、 std::is_base_of<T, T>::value は true になります。 しかしながら、この特性がモデル化する関係はクラスだけであるため、 std::is_base_of<int, int>::value は false になります。

[編集] 実装例

namespace details {
    template <typename Base> std::true_type is_base_of_test_func(const volatile Base*);
    template <typename Base> std::false_type is_base_of_test_func(const volatile void*);
    template <typename Base, typename Derived>
    using pre_is_base_of = decltype(is_base_of_test_func<Base>(std::declval<Derived*>()));
 
    // with <experimental/type_traits>:
    // template <typename Base, typename Derived>
    // using pre_is_base_of2 = std::experimental::detected_or_t<std::true_type, pre_is_base_of, Base, Derived>;
    template <typename Base, typename Derived, typename = void>
    struct pre_is_base_of2 : public std::true_type { };
    // note std::void_t is a C++17 feature
    template <typename Base, typename Derived>
    struct pre_is_base_of2<Base, Derived, std::void_t<pre_is_base_of<Base, Derived>>> :
        public pre_is_base_of<Base, Derived> { };
}
 
template <typename Base, typename Derived>
struct is_base_of :
    public std::conditional_t<
        std::is_class<Base>::value && std::is_class<Derived>::value,
        details::pre_is_base_of2<Base, Derived>,
        std::false_type
    > { };

[編集]

#include <iostream>
#include <type_traits>
 
class A {};
 
class B : A {};
 
class C {};
 
int main() 
{
    std::cout << std::boolalpha;
    std::cout << "a2b: " << std::is_base_of<A, B>::value << '\n';
    std::cout << "b2a: " << std::is_base_of<B, A>::value << '\n';
    std::cout << "c2b: " << std::is_base_of<C, B>::value << '\n';
    std::cout << "same type: " << std::is_base_of<C, C>::value << '\n';
}

出力:

a2b: true
b2a: false
c2b: false
same type: true

[編集] 関連項目

型が別の型に変換可能かどうか調べます
(クラステンプレート) [edit]