std::is_polymorphic 用于检测类型是否为多态类型，即是否具有虚函数（含继承）且可实例化；它依赖编译器是否生成 vptr，而非仅看虚函数声明。
std::is_polymorphic 是什么，它真能查出“有没有虚函数”？
std::is_polymorphic 检查的是类型是否为多态类型（polymorphic type），即该类型是否至少有一个虚函数（包括从基类继承的），且不是抽象类（除非它有虚函数并可实例化）。但它不关心“有没有声明虚函数”，只关心“编译器是否为其生成了虚表指针（vptr）”。所以：没有虚函数 → 一定不是多态类型；但有虚函数 ≠ 一定能被 std::is_polymorphic 正确识别——比如虚析构函数被声明但未定义，或类是模板特化且未实例化，结果可能为 false。
怎么用 std::is_polymorphic 判断一个类？
直接在编译期用 std::is_polymorphic_v<T>（C++17 起推荐）或 std::is_polymorphic<T>::value。注意：必须传入**完整类型**，不能是前置声明；也不能是未实例化的模板（如 MyClass<>）。
常见用法：
- 检查具体类：
std::is_polymorphic_v<Base>→true（若Base有虚函数） - 检查派生类：
std::is_polymorphic_v<Derived>→true（即使Derived自己没加虚函数，只要Base有） - 检查空类：
struct Empty {};→std::is_polymorphic_v<Empty>为false - 检查仅有虚析构但未定义的类：行为未定义，多数编译器返回
false，因为类型不完整
容易踩的坑：为什么有时候返回 false，明明写了 virtual？
几个高频误判点：
立即学习“C++免费学习笔记（深入）”；
-
class A { virtual ~A(); };—— 声明了虚析构但没定义，A是不完整类型，std::is_polymorphic_v<A>编译失败或返回false - 模板类未实例化：
template<typename T> struct Holder { virtual void f() {} };，直接写std::is_polymorphic_v<Holder>错误（Holder不是类型）；必须写std::is_polymorphic_v<Holder<int>> - 使用
auto或类型推导中间变量绕过检查：比如auto x = Base{};，再对x查std::is_polymorphic_v<decltype(x)>是可以的，但x类型是值类别，不影响多态性判断 - 多重继承 + 虚基类干扰？不会。只要任意一个基类引入虚函数，派生类就是多态类型
替代方案：仅靠 is_polymorphic 不够时怎么办？
如果目标是“确认某个类能否安全用 dynamic_cast 或 typeid”，std::is_polymorphic 就是标准答案。但如果想调试“为什么我的虚函数没生效”，它帮不上忙——得看实际对象内存布局或用 gdb 查 vptr。更实用的辅助手段：
- 加
static_assert强制编译期校验：static_assert(std::is_polymorphic_v<MyClass>, "MyClass must be polymorphic"); - 配合
std::is_abstract_v区分：多态但不可实例化（纯虚类） vs 多态且可实例化 - 运行时验证：构造对象后取地址，用
typeid(obj).name()看是否变化（需开启 RTTI）；但这是间接验证，不如编译期检查可靠
真正难的不是写对 std::is_polymorphic_v<T>，而是确保 T 在检查点已是完整、已实例化、定义完备的类型——这点在模板元编程里最容易漏掉。
