std::is_final — cppreference.com

Материал из cppreference.com


`template< class T > struct is_final;`		(начиная с C++14)

std::is_final является UnaryTypeTrait.

Если T является окончательным классом (то есть классом, объявленным со спецификатором final), предоставляет константу-элемент value, равную true. Для любого другого типа value равна false.

Если T является классовым типом, T должен быть полным типом; в противном случае поведение не определено.

Поведение программы, добавляющей специализации для std::is_final или std::is_final_v (начиная с C++17) не определено.

Параметры шаблона

Шаблон вспомогательной переменной

`template< class T > inline constexpr bool is_final_v = is_final<T>::value;`		(начиная с C++17)

Унаследован от std::integral_constant

Константы элементы

true, если T окончательный тип класса, false иначе
(public static константа-элемент)

Функции-элементы

	преобразует объект в `bool`, возвращает `value` (public функция-элемент)
	возвращает `value` (public функция-элемент)

Типы элементы


Тип	Определение
`value_type`	`bool`
`type`	`std::integral_constant<bool, value>`

Примечание

Окончательные классы не могут использоваться в качестве базовых классов.

Объединение может быть помечено как final (и std::is_final обнаружит это), хотя в любом случае объединения нельзя использовать в качестве базы.

Макрос Тестирования функциональности	Значение	Стандарт	Функциональность
`__cpp_lib_is_final`	`201402L`	(C++14)	`std::is_final`

Пример

#include <type_traits>

class A {};
static_assert(std::is_final_v<A> == false);

class B final {};
static_assert(std::is_final_v<B> == true);

union U final
{
    int x;
    double d;
};
static_assert(std::is_final_v<U> == true);

int main()
{
}

Смотрите также

Категории: