命名空间
变体
操作

std::has_virtual_destructor

来自 cppreference.com
< cpp‎ | types
 
C++
 
元编程库
类型特征
类型类别
(C++11)
(C++14)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
类型属性
(C++11)
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++17)
(C++23)
(C++11)
(C++11)
(C++11)
(C++11)(直到 C++20*)
(C++11)(C++20 中已弃用)
(C++11)
(C++11)
(C++20)
(C++20)
(C++23)
(C++17)
类型特征常量
(C++11)(C++17)(C++11)(C++11)
元函数
(C++17)
(C++17)
(C++17)
支持的操作
关系和属性查询
类型修改
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)
(C++11)
类型转换
(C++11)(C++23 中已弃用)
(C++11)(C++23 中已弃用)
(C++11)
(C++20)
(C++11)
(C++17)

(C++11)
(C++11)
(C++20)
(C++11)
(C++11)(直到 C++20*)(C++17)
(C++20)
编译时有理数算术
编译时整数序列
(C++14)
 
在头文件 <type_traits> 中定义
template< class T >
struct has_virtual_destructor;
 (自 C++11 起)

std::has_virtual_destructor 是一个 UnaryTypeTrait.

如果 T 是具有虚析构函数的类型，则基本特征为 std::true_type。对于任何其他类型，基本特征为 std::false_type.

如果 T 是一个不完整的非联合类类型，则行为未定义。

如果程序为 std::has_virtual_destructor 或 std::has_virtual_destructor_v 添加了专门化，则行为未定义。

内容

[编辑] 模板参数

T - 要检查的类型

[编辑] 辅助变量模板

template< class T >
constexpr bool has_virtual_destructor_v = has_virtual_destructor<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 具有公共虚析构函数，则可以从它派生，并且可以安全地通过指向基对象的指针删除派生对象 (GotW #18)。在这种情况下，std::is_polymorphic<C>::value 为 true.

[编辑] 示例

运行此代码
#include <type_traits>
 
struct S {};
static_assert(!std::has_virtual_destructor_v<S>);
 
struct B { virtual ~B() {} };
static_assert(std::has_virtual_destructor_v<B>);
 
struct D : B { ~D() {} };
static_assert(std::has_virtual_destructor_v<D>);
 
int main()
{
    B* pd = new D;
    delete pd;
}

[编辑] 缺陷报告

以下更改行为的缺陷报告已追溯应用于以前发布的 C++ 标准。

DR 应用于 发布的行为 正确行为
LWG 2015 C++11 行为未定义，如果
T 是一个不完整的联合类型		 基本特征为
std::false_type 在这种情况下

[编辑] 另请参阅

(C++11)(C++11)(C++11)
 检查类型是否具有非删除的析构函数
(类模板) [编辑]
(C++11)
 检查类型是否为多态类类型
(类模板) [编辑]
检索自 "https://cppreference.cn/mwiki/index.php?title=cpp/types/has_virtual_destructor&oldid=156467"