std::is_implicit_lifetime
来自 cppreference.com
| 定义在头文件 <type_traits> 中 |
||
| template< class T > struct is_implicit_lifetime; |
(自 C++23 起) | |
std::is_implicit_lifetime 是一个 UnaryTypeTrait。
如果 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 [静态] |
true 如果 T 是一个隐式生命周期类型，否则为 false(公共静态成员常量) |
成员函数
| operator bool |
将对象转换为 bool，返回 value (公共成员函数) |
| operator() (C++14) |
返回 value (公共成员函数) |
成员类型
| 类型 | 定义 |
value_type
|
bool |
type
|
std::integral_constant<bool, value> |
[编辑] 备注
| 特性测试 宏 | 值 | Std | 特性 |
|---|---|---|---|
__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() = 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) |
检查类型是否为聚合类型 (类模板) |
| 在给定存储中隐式创建对象，并重用对象的表示形式 (函数模板) |
