std::is_abstract是最标准可靠的编译期判断方式，但要求类型必须完整定义；若返回false却无法实例化，通常因类型未完全定义（如仅前向声明），导致行为未定义而默认返回false。
直接结论：用 std::is_abstract 是最标准、最可靠的方式，但它只在编译期起作用，且要求类型必须是完整类型（不能是前置声明）。
为什么 std::is_abstract 有时返回 false 却实际无法实例化？
常见错误现象：std::is_abstract<myclass>::value</myclass> 返回 false，但 MyClass obj; 编译报错 “cannot declare variable of abstract type”。这通常是因为 MyClass 在检查点尚未完全定义 —— 比如只做了类声明（class MyClass;），没看到函数体或虚函数定义。
- 使用场景：多见于模板元编程、SFINAE 或 traits 判断中，类型在头文件中被提前引用
- 根本原因：
std::is_abstract要求T是完整类型（complete type），否则行为未定义（多数编译器按false处理） - 验证方法：在类定义末尾（
};之后）再做static_assert测试，比如：static_assert(std::is_abstract<MyClass>::value, "MyClass must be abstract");
std::is_abstract 对纯虚析构函数的处理
即使一个类只有纯虚析构函数（virtual ~Base() = 0;），它仍是抽象类，std::is_abstract 正确返回 true —— 但很多人忘了还要提供析构函数定义（哪怕空实现），否则链接失败。
- 必须写定义：
Base::~Base() = default;或Base::~Base() {} - 否则即使
std::is_abstract<base>::value == true，派生类也无法正确析构 - 注意：纯虚函数 ≠ 必须有函数体；但纯虚析构函数是例外，它必须有定义
替代方案：运行时判断行不通，别试了
有人想用 dynamic_cast 或 typeid 在运行时“探测”是否抽象 —— 这不可行。抽象性是编译期概念，运行时对象必然是具体类型的实例。
立即学习“C++免费学习笔记（深入）”；
-
dynamic_cast<base>(ptr)成功只说明ptr指向的是Base或其派生类，不说明Base是否抽象 - 试图 new 一个抽象类会直接编译失败，根本到不了运行时
- 宏或
sizeof检查（如sizeof(T)是否合法）也不可靠：有些抽象类仍可取 sizeof（只要它是完整类型）
最容易被忽略的一点：模板参数推导常导致类型退化为不完整类型，比如在类模板内部提前引用自身 —— 这时 std::is_abstract<t></t> 可能静默失效，而不是报错。务必确保检查发生在类型完全可见的位置。
