std::is_base_of
提供: cppreference.com
<tbody>
</tbody>
| ヘッダ <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 は完全型でなければなりません。 そうでなければ動作は未定義です。
目次
ヘルパー変数テンプレート
<tbody> </tbody> 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) |
型が別の型に変換可能かどうか調べます (クラステンプレート) |