std::meta::is_final_type

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

Возвращает true, если r представляет собой тип класса с final. В противном случае возвращает false.

Параметры

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

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

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

Исключения

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

Пример

#include <meta>

class A {};
static_assert(is_final_type(^^A) == false);

class B final {};
static_assert(is_final_type(^^B) == true);

union U final
{
    int x;
    double d;
};
static_assert(is_final_type(^^U) == true);

struct Base
{
    virtual void foo();
};

struct Derived : Base
{
    void foo() final; // final member function does not make the class final
};
static_assert(is_final_type(^^Derived) == false);

int main() {}

См. также

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

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