std::is_destructible、std::is_trivially_destructible、std::is_nothrow_destructible
来自 cppreference.com
定义在头文件 <type_traits> 中 |
||
template< class T > struct is_destructible; |
(1) | (自 C++11 起) |
template< class T > struct is_trivially_destructible; |
(2) | (自 C++11 起) |
template< class T > struct is_nothrow_destructible; |
(3) | (自 C++11 起) |
1) 如果
T
是引用类型,则提供成员常量 value 等于 true。 如果
T
是(可能限定 cv 的)void、函数类型或未知边界的数组,则 value 等于 false。 如果
T
是对象类型,则对于类型 U
,它是 std::remove_all_extents<T>::type,如果表达式 std::declval<U&>().~U() 在未评估的上下文中是格式良好的,则 value 等于 true。否则,value 等于 false。3) 与 (1) 相同,但析构函数是 noexcept。
如果 T
不是完整类型,(可能限定 cv 的)void 或未知边界的数组,则行为未定义。
如果上述模板的实例化直接或间接依赖于不完整类型,并且如果该类型假设完成,该实例化可能会产生不同的结果,则行为未定义。
如果程序为本页上描述的任何模板添加特化,则行为未定义。
内容 |
[编辑] 辅助变量模板
template< class T > constexpr bool is_destructible_v = is_destructible<T>::value; |
(自 C++17 起) | |
template< class T > constexpr bool is_trivially_destructible_v = is_trivially_destructible<T>::value; |
(自 C++17 起) | |
template< class T > constexpr bool is_nothrow_destructible_v = is_nothrow_destructible<T>::value; |
(自 C++17 起) | |
继承自 std::integral_constant
成员常量
value [静态] |
true 如果 T 可析构,否则为 false(公共静态成员常量) |
成员函数
operator bool |
将对象转换为 bool,返回 value (公共成员函数) |
operator() (C++14) |
返回 value (公共成员函数) |
成员类型
类型 | 定义 |
value_type
|
bool |
type
|
std::integral_constant<bool, value> |
[编辑] 注释
因为如果在堆栈展开期间析构函数抛出异常,C++ 程序将终止(这通常无法预测),所以所有实际的析构函数都是非抛出异常的,即使它们没有声明为 noexcept。C++ 标准库中找到的所有析构函数都是非抛出异常的。
占用由 平凡可析构 对象 占用的存储空间 可以在不调用析构函数的情况下被 重复使用。
[编辑] 可能的实现
is_destructible (1) |
---|
// C++20 required template<typename t> struct is_destructible : std::integral_constant<bool, requires(t object) { object.~t(); }> {}; |
is_trivially_destructible (2) |
// Not real C++. Shall P2996 be approved, the following implementation will be available: template<typename t> struct is_trivially_destructible : std::integral_constant<bool, std::meta::type_is_trivially_destructible(^t)> {}; |
is_nothrow_destructible (3) |
// C++20 required template<typename t> struct is_nothrow_destructible : std::integral_constant<bool, requires(t object) { {object.~t()} noexcept; }> {}; |
[编辑] 示例
运行此代码
#include <iostream> #include <string> #include <type_traits> struct Foo { std::string str; ~Foo() noexcept {}; }; struct Bar { ~Bar() = default; }; static_assert(std::is_destructible<std::string>::value == true); static_assert(std::is_trivially_destructible_v<Foo> == false); static_assert(std::is_nothrow_destructible<Foo>() == true); static_assert(std::is_trivially_destructible<Bar>{} == true); int main() {}
[编辑] 缺陷报告
以下行为更改缺陷报告被追溯应用于先前发布的 C++ 标准。
DR | 应用于 | 已发布的行为 | 正确行为 |
---|---|---|---|
LWG 2049 | C++11 | 由于虚构的包装结构,规范无法完成 | 已完成 |
[编辑] 另请参阅
(C++11)(C++11)(C++11) |
检查类型是否具有针对特定参数的构造函数 (类模板) |
(C++11) |
检查类型是否具有虚析构函数 (类模板) |
(C++20) |
指定该类型的对象可以被销毁 (概念) |
析构函数 | 释放已声明的资源 |