名前空間
変種
操作

std::DerivedFrom

提供: cppreference.com
< cpp‎ | concepts
ヘッダ <concepts> で定義
template< class Derived, class Base >

concept DerivedFrom =
  std::is_base_of_v<Base, Derived> &&

  std::is_convertible_v<const volatile Derived*, const volatile Base*>;
(C++20以上)

コンセプト DerivedFrom<Derived, Base> は、 BaseDerived と同じクラスであるか、 Derived のパブリックかつ非曖昧な基底クラスである場合に限り、満たされます。 cv 修飾は無視します。

BaseDerived の private または protected な基底の場合、この動作は std::is_base_of と異なることに注意してください。

[編集] 関連項目

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