std::is_base_of
提供: cppreference.com
| ヘッダ <type_traits> で定義
|
||
| template< class Base, class Derived > struct is_base_of; |
(C++11以上) | |
Derived が Base から派生する場合、またはそれらが同じ非 union クラスである場合 (どちらの場合も cv 修飾は無視します)、 true に等しいメンバ定数 value が提供されます。 そうでなければ value は false です。
Base と Derived がどちらも非 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 [静的] |
Derived が Base の派生であるか、それらが同じ非 union クラスである (どちらの場合も cv 修飾は無視します) ならば true、そうでなければ false (パブリック静的メンバ定数) |
メンバ関数
| operator bool |
オブジェクトを bool に変換します。 value を返します (パブリックメンバ関数) |
| operator() (C++14) |
value を返します (パブリックメンバ関数) |
メンバ型
| 型 | 定義 |
value_type
|
bool
|
type
|
std::integral_constant<bool, value> |
[編集] ノート
A が B のプライベートな、プロテクテッドな、または曖昧な基底クラスであっても、 std::is_base_of<A, B>::value は true になります。 多くの状況では、 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 > { }; |
[編集] 例
Run this code
#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
[編集] 関連項目
| (C++11)(C++20) |
型が別の型に変換可能かどうか調べます (クラステンプレート) |
