std::is_implicit_lifetime
Определён в заголовочном файле <type_traits> | ||
|---|---|---|
template< class T > struct is_implicit_lifetime; | (начиная с C++23) |
std::is_implicit_lifetime — это унарный типовой признак.
Если T является типом с неявным временем жизни, предоставляет константу-член value, равную true. Для любого другого типа value равно false.
Поведение не определено, если T является неполным типом, отличным от типа массива или (возможно, cv-квалифицированного) void.
Если программа добавляет специализации для std::is_implicit_lifetime или std::is_implicit_lifetime_v, поведение не определено.
Параметры шаблона
| T | - | тип для проверки |
Вспомогательный шаблон переменной
template< class T > constexpr bool is_implicit_lifetime_v = is_implicit_lifetime<T>::value; | (начиная с C++23) |
Унаследовано от std::integral_constant
Константы-члены
|
value
[static] |
true, если T является типом с неявным временем жизни, иначе false (открытая статическая константа-член) |
Функции-члены
|
operator bool | преобразует объект в bool, возвращает value (открытая функция-член) |
|
operator()
(C++14) | возвращает value (открытая функция-член) |
Типы-члены
| Тип | Определение |
|---|---|
value_type | bool |
type | std::integral_constant<bool,value> |
Примечания
| Макрос проверки поддержки | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_is_implicit_lifetime | 202302L | (C++23) |
std::is_implicit_lifetime |
Пример
// The following types are collectively called implicit-lifetime types:
// * scalar types:
// * arithmetic types
// * enumeration types
// * pointer types
// * pointer-to-member types
// * std::nullptr_t
// * implicit-lifetime class types
// * is an aggregate whose destructor is not user-provided
// * has at least one trivial eligible constructor and a trivial,
// non-deleted destructor
// * array types
// * cv-qualified versions of these types.
#include <type_traits>
static_assert(std::is_implicit_lifetime_v<int>); // arithmetic type is a scalar type
static_assert(std::is_implicit_lifetime_v<const int>); // cv-qualified a scalar type
enum E { e };
static_assert(std::is_implicit_lifetime_v<E>); // enumeration type is a scalar type
static_assert(std::is_implicit_lifetime_v<int*>); // pointer type is a scalar type
static_assert(std::is_implicit_lifetime_v<std::nullptr_t>); // scalar type
struct S { int x, y; };
// S is an implicit-lifetime class: an aggregate without user-provided destructor
static_assert(std::is_implicit_lifetime_v<S>);
static_assert(std::is_implicit_lifetime_v<int S::*>); // pointer-to-member
struct X
{
X(){}
~X() = delete;
};
// X is not implicit-lifetime class due to deleted destructor
static_assert(!std::is_implicit_lifetime_v<X>);
static_assert(std::is_implicit_lifetime_v<int[8]>); // array type
static_assert(std::is_implicit_lifetime_v<volatile int[8]>); // cv-qualified array type
int main() {}
См. также
|
(C++11) | проверяет, является ли тип скалярным типом (шаблон класса) |
|
(C++11) | проверяет, является ли тип типом массива (шаблон класса) |
|
(C++17) | проверяет, является ли тип агрегатным типом (шаблон класса) |
|
(C++23) | неявно создаёт объекты в заданной области памяти, повторно используя представление объекта (шаблон функции) |
|
(C++26) | проверяет, является ли отражённый тип типом с неявным временем жизни (функция) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/types/is_implicit_lifetime
