std::has_virtual_destructor 是 C++11 类型特性，用于编译期判断类是否具有虚析构函数；不能直接用，须通过 ::value 或 constexpr 上下文获取布尔值。
std::has_virtual_destructor 是什么，能直接用吗？
std::has_virtual_destructor 是 C++11 引入的类型特性（type trait），用于在编译期判断某个类是否声明了虚析构函数。它**不是运行时检测工具**，也不关心析构函数是否被实际覆盖或是否被调用；只看类定义中是否显式或隐式地将析构函数声明为 virtual。
它返回一个 std::integral_constant<bool value></bool> 类型，所以要用 ::value 或 constexpr 上下文提取布尔值：
static_assert(std::has_virtual_destructor<Base>::value, "Base must have virtual dtor");
注意：它对非类类型（如 int、void*）返回 false，对类模板参数也适用，但要求该类型在求值时已完全定义（否则编译失败）。
哪些情况会被 std::has_virtual_destructor 判定为 true？
判定依据是“类是否拥有虚析构函数”，而不仅限于“是否写了 virtual ~T()”。以下情况均返回 true：
立即学习“C++免费学习笔记（深入）”；
- 显式声明：
struct S { virtual ~S() = default; }; - 继承链中基类有虚析构，派生类未声明析构函数（编译器合成的析构函数自动为虚）
- 派生类显式声明
virtual ~D()，即使基类没有虚析构 - 类有虚函数且未声明析构函数（此时编译器合成的析构函数仍是非虚的 —— 这点常被误解！⚠️）
关键点：**只有当析构函数本身是虚的，才会返回 true；仅含其他虚函数 ≠ 有虚析构函数**。例如：
struct HasVirtualFunc { virtual void f(); }; // ❌ has_virtual_destructor::value == false
为什么有时候 static_assert 失败，但类看起来“应该”有虚析构？
常见误判来源有三个：
-
前置声明未完成：在类定义还没结束时就使用
std::has_virtual_destructor<t>::value</t>（比如在类内部static_assert中），此时T是不完全类型，导致 SFINAE 失败或编译错误 -
析构函数被 = delete 或 = default 但没加 virtual：如
~S() = default;→ 非虚；必须写成virtual ~S() = default; -
多重继承 + 虚基类干扰判断逻辑：极少数情况下，若虚析构来自间接虚基类，而中间类又抑制了虚性传播（比如用
using Base::~Base;并重声明为非虚），可能破坏预期。不过标准保证：只要最终合成的析构函数是虚的，trait 就返回true
调试建议：把 static_assert 移到类定义之后，或用 decltype + auto 辅助验证析构函数签名：
static_assert(noexcept(std::declval<T&>().~T()), "dtor must not throw"); // 补充检查
替代方案：运行时能否检测虚析构？
不能。C++ 没有标准机制在运行时反射析构函数是否为虚。vtable 布局是实现细节，reinterpret_cast 取 vptr、查偏移等属于未定义行为，不同编译器（MSVC / GCC / Clang）、不同 ABI（Itanium / MS）甚至同一编译器不同版本都可能变化。
如果你真需要运行时多态销毁保障，唯一可靠方式是：确保所有可多态删除的基类都显式声明 virtual ~Base() = default;，并靠 std::has_virtual_destructor 在编译期守住这条契约。别试图绕过类型系统去“探测”。
真正容易被忽略的是：模板库作者常忘记在约束中加入这个 trait 检查，导致用户传入无虚析构的类时，std::unique_ptr<base> 删除派生对象会未定义行为 —— 这种崩溃往往不报错，只静默释放错误内存。
