std::has_virtual_destructor 是标准可移植的编译期判断方式，但必须通过 ::value 或 _v 提取布尔值；直接使用会因返回 integral_constant 类型而编译失败，且要求类型完全定义。
std::has_virtual_destructor 是唯一标准、可移植的编译期判断方式，但它不能直接当布尔值用，必须通过 ::value 或 _v 后缀提取结果。
为什么不能直接写 if (std::has_virtual_destructor<t>)</t>
因为 std::has_virtual_destructor<t></t> 返回的是一个类型（std::integral_constant<bool value></bool>），不是 bool。C++ 不允许隐式转换为布尔上下文，直接用会编译失败。
- 正确写法：
std::has_virtual_destructor_v<t></t>（C++17 起推荐）或std::has_virtual_destructor<t>::value</t> - 错误写法：
if (std::has_virtual_destructor<base>)→ 编译报错：no operator "bool" matches these operands - 在
static_assert中也必须显式取值：static_assert(std::has_virtual_destructor_v<base>, "...")，不能省略_v
std::has_virtual_destructor 判定为 true 的真实条件
它只看“析构函数是否为虚”，和有没有其他虚函数、类是否多态、对象能否 dynamic_cast 都无关。常见误判点：
- 仅声明
virtual void f();→false（没虚析构） - 写了
~Base() = default;但没加virtual→false（这是非虚的默认析构） - 基类有虚析构，派生类没写任何析构函数 →
true（编译器合成的析构函数自动为虚） - 派生类显式写
virtual ~Derived();，即使基类没有虚析构 →true - 类是模板参数，但在求值时未完全定义（如前置声明后立即使用）→ 编译失败，不是
false
容易被忽略的兼容性陷阱
这个 trait 对类型完整性要求严格，且行为在不同上下文中差异明显：
- 不能在类定义体内检查自身：
struct A { static_assert(std::has_virtual_destructor_v<a>, "..."); };</a>→ 错误，A此时是不完全类型 - 模板中使用时，若
T是未实例化的模板名（如MyClass），而非具体类型（如MyClass<int></int>）→ 编译失败 - 对
union、内置类型（int）、引用（T&）、指针（T*）均返回false，这是标准规定，不是 bug - 虚析构被
= delete仍算“有虚析构”：virtual ~A() = delete;→true（声明存在且为虚，删掉只是禁止调用）
最常出问题的地方不在逻辑判断本身，而在于类型是否已完全定义——尤其在模板内部或类定义早期就急着做 static_assert，这时候 trait 还没“看得清”那个类。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
