std::meta::is_complete_type

consteval bool is_complete_type( std::meta::info r );

Определяет, представляет ли отражение r полный тип.

Формально возвращает true, если std::meta::is_type(r) является true и существует точка в контексте вычисления, из которой тип, представленный std::meta::dealias(r), не является неполным типом. В противном случае возвращает false.

Параметры

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

true, если r представляет полный тип, иначе false

Примечания

Тип перечисления является полным, если известен его базовый тип. Чтобы проверить, полностью ли определён список его перечислителей, см. std::meta::is_enumerable_type.

enum E : int;
static_assert(std::meta::is_complete_type(^^E));
static_assert(!std::meta::is_enumerable_type(^^E));

enum E : int { e };
static_assert(std::meta::is_enumerable_type(^^E));

Пример

#include <meta>

struct A;    // incomplete type
struct B {}; // complete type

static_assert(std::meta::is_complete_type(^^A) == false);
static_assert(std::meta::is_complete_type(^^B) == true);

template <typename>
struct C; // incomplete class template

template <>
struct C<int> {}; // complete explicit template specialization

template <>
struct C<long>; // incomplete explicit template specialization

static_assert(std::meta::is_complete_type(^^C<long>) == false);
static_assert(std::meta::is_complete_type(^^C<char>) == false);
static_assert(std::meta::is_complete_type(^^C<int>) == true);

int main() {}

См. также