std::derived_from
Материал из cppreference.com
<tbody>
</tbody>
| Определено в заголовочном файле <concepts>
|
||
template< class Derived, class Base > concept derived_from = std::is_base_of_v<Base, Derived> && std::is_convertible_v<const volatile Derived*, const volatile Base*>; |
(начиная с 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) |
проверяет, можно ли преобразовать тип в другой тип (шаблон класса) |
