std::meta::is_polymorphic_type
Определён в заголовочном файле <meta> | ||
|---|---|---|
consteval bool is_polymorphic_type( std::meta::info r ); | (начиная с C++26) |
Возвращает true, если r обозначает полиморфный класс (то есть неклассовый объединённый тип, который объявляет или наследует хотя бы одну виртуальную функцию). В противном случае возвращает false.
Параметры
| r | - | значение отражения |
Возвращаемое значение
true, если r обозначает полиморфный тип класса; в противном случае — false.
Исключения
Выбрасывает std::meta::exception, если r не обозначает тип или псевдоним типа.
Пример
#include <meta>
struct A { int m; };
static_assert(!is_polymorphic_type(^^A));
struct B { virtual void foo(); };
static_assert(is_polymorphic_type(^^B));
struct C : B {};
static_assert(is_polymorphic_type(^^C));
struct D { virtual ~D() = default; };
static_assert(is_polymorphic_type(^^D));
// Virtual inheritance as such does not make a type polymorphic.
struct E : A {};
static_assert(!is_polymorphic_type(^^E));
struct F : virtual A {};
static_assert(!is_polymorphic_type(^^F));
struct AX : A {};
struct AY : A {};
struct XY : virtual AX, virtual AY {};
static_assert(!is_polymorphic_type(^^XY));
int main() {}
См. также
|
(C++11) | проверяет, является ли тип полиморфным типом класса (шаблон класса) |
|
(C++26) | проверяет, является ли отражённый тип типом класса, не являющегося объединением (функция) |
|
(C++26) | проверяет, является ли отражённый тип абстрактным типом класса (функция) |
|
(C++26) | проверяет, есть ли у отражённого типа виртуальный деструктор (функция) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/meta/is_polymorphic_type
