std::derived_from
Материал из cppreference.com
| Определено в заголовочном файле <concepts>
|
||
| template< class Derived, class Base > concept derived_from = |
(начиная с C++20) | |
Концепт derived_from<Derived, Base> удовлетворяется тогда и только тогда, когда Base является классовым типом, который является либо Derived, либо открытым и однозначным предком Derived, игнорируя cv-квалификаторы.
Обратите внимание на то, что это поведение отличается от std::is_base_of, когда Base является частным или защищённым предком Derived.
[править] Пример
Запустить этот код
#include <concepts> class A {}; class B: public A {}; class C: private A{}; int main() { // std::derived_from == true только для открытого наследования или // точно такого же класса static_assert( std::derived_from<B, B> == true ); // тот же класс: true static_assert( std::derived_from<int, int> == false ); // тот же примитивный тип: false static_assert( std::derived_from<B, A> == true ); // открытое наследование: true static_assert( std::derived_from<C, A> == false ); // частное наследование: false // std::is_base_of == true также для частного наследования static_assert( std::is_base_of_v<B, B> == true ); // тот же класс: true static_assert( std::is_base_of_v<int, int> == false ); // тот же примитивный тип: false static_assert( std::is_base_of_v<A, B> == true ); // открытое наследование: true static_assert( std::is_base_of_v<A, C> == true ); // частное наследование: true }
[править] Смотрите также
| (C++11) |
проверяет, является ли тип производным от другого типа (шаблон класса) |
| (C++11)(C++20) |
проверяет, можно ли преобразовать тип в другой тип (шаблон класса) |
