std::is_abstract 能在编译期判断类是否为抽象类，仅依据是否含未实现的纯虚函数，不关心构造限制或运行时状态，对具体派生类或final抽象基类返回正确结果，但要求类型必须完整定义。
std::is_abstract 能否在编译期判断一个类是否为抽象类
可以，std::is_abstract 是标准库提供的类型特性（type trait），专用于编译期判定——它返回 true 当且仅当类型是抽象类（即至少含一个纯虚函数，且未被派生类完全实现）。但它不关心运行时对象状态，也不检查“是否能实例化”的间接表现（比如私有构造+无友元），只看语言定义的抽象性。
常见误用：拿它去测模板参数是否“能 new”，结果为 true 却仍编译失败——因为抽象类可能还有其他限制（如析构函数私有、删除了默认构造等），std::is_abstract 不覆盖这些。
为什么 std::is_abstract 对 final 类或具体派生类返回 false
std::is_abstract 的判定依据是“该类型自身是否含有未实现的纯虚函数”。即使一个类继承自抽象基类，只要它实现了所有纯虚函数，它就不再是抽象类。例如：
struct Base { virtual void f() = 0; };
struct Derived : Base { void f() override { } }; // ✅ 具体类
static_assert(!std::is_abstract_v<Derived>); // 通过
而 final 关键字本身不影响抽象性判定；struct FinalBase final { virtual void g() = 0; }; 仍是抽象类，std::is_abstract_v<finalbase></finalbase> 为 true。
立即学习“C++免费学习笔记（深入）”；
- 派生类未重写某个纯虚函数 → 抽象，
std::is_abstract返回true - 派生类显式 =default 析构但基类有纯虚 → 不影响抽象性判定
- 类模板中使用
std::is_abstract_v<t></t>时，T必须已完全定义，否则编译失败（不是 SFINAE 友好）
std::is_abstract 在 SFINAE 和 requires 中的实际用法
它常用于约束模板，避免对抽象类做非法操作（如试图构造、复制）。但要注意：它不能单独作为唯一约束，因为有些非抽象类也不能构造（如只有 delete 构造函数）。
典型安全用法示例：
template<typename T>
requires std::is_constructible_v<T> && !std::is_abstract_v<T>
T make_default() { return T{}; }
关键点：
-
std::is_abstract本身不触发实例化，但和std::is_constructible组合时，后者会尝试检查构造可行性，可能暴露定义缺失问题 - 在 C++20
requires中可直接用，但在 C++17 的std::enable_if中需配合std::integral_constant或别名模板 - 不能用于判断“指针所指类型是否抽象”——
std::is_abstract_v<base>永远为false，因为它作用于指针类型而非点号右侧的Base
Clang/GCC/MSVC 下 std::is_abstract 的兼容性与陷阱
三者均支持，但早期版本（如 GCC 4.8、MSVC 2015）对模板内嵌类或未完成类型的处理不一致，容易报“incomplete type”而非预期的 false。
容易踩的坑：
- 在类定义体内（即成员函数声明前）就使用
std::is_abstract_v<myclass></myclass>→ 失败，此时MyClass是不完整类型 - 用在 typedef 或 using 别名上时，确保别名指向的是类类型，而非 cv-qualified 或引用类型：
std::is_abstract_v<const t></const>总是false - 某些 IDE 的代码补全或静态分析插件会错误高亮
std::is_abstract_v<int></int>，其实它是合法的（对非类类型返回false），不必改
最常被忽略的一点：它不检测“纯虚析构函数未提供定义”这种链接期错误，只管语法层面有没有 =0；而这类类仍是抽象类，std::is_abstract 正确返回 true，但你如果尝试 delete ptr 就会链接失败——判定和实际行为之间存在这一层脱节。
