std::meta::is_abstract_type

Определено в заголовке `<meta>`
consteval bool is_abstract_type( std::meta::info r );		(начиная с C++26)

Возвращает true, если r представляет собой тип абстрактного класса (то есть класс, не являющийся объединением и объявляющий или наследующий хотя бы одну чистую виртуальную функцию). В противном случае возвращает false.

Параметры

значение отражения

Возвращаемое значение

true, если r представляет тип абстрактного класса; в противном случае false.

Исключения

Выбрасывает std::meta::exception, если r не представляет тип или псевдоним типа.

Пример

#include <meta>

struct A { int m; };
static_assert(is_abstract_type(^^A) == false);

struct B { virtual void foo(); };
static_assert(is_abstract_type(^^B) == false);

struct C { virtual void foo() = 0; };
static_assert(is_abstract_type(^^C) == true);

struct D : C {};
static_assert(is_abstract_type(^^D) == true);

int main() {}

См. также

is_abstract (C++11)	проверяет, является ли тип типом абстрактного класса (шаблон класса)
is_class_type (C++26)	проверяет, является ли отражённый тип типом класса, не являющегося объединением (функция)
is_union_type (C++26)	проверяет, является ли отражённый тип типом объединения (функция)
is_polymorphic_type (C++26)	проверяет, является ли отражённый тип типом полиморфного класса (функция)
has_virtual_destructor (C++26)	проверяет, есть ли у отражённого типа виртуальный деструктор (функция)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/meta/is_abstract_type