std::is_abstract_v用于编译期判断类型是否为抽象类，仅接受类型名（如MyClass），不接受指针、引用或对象实例；其结果取决于是否存在未实现的纯虚函数，cv限定符不影响判定。
std::is_abstract 用来判断类型是否为抽象类
它只在编译期起作用，返回 std::true_type 或 std::false_type，不能用于运行时检测。常见误用是试图传入对象实例或指针类型——std::is_abstract 只接受**类型名**（如 MyClass），不接受 MyClass*、MyClass& 或 MyClass{} 这类表达式。
- 正确写法：
std::is_abstract_v - 错误写法：
std::is_abstract_v（若obj是具体对象，decltype得到的是完整类型，但若该类型非抽象则结果为false；更糟的是传std::is_abstract_v—— 引用类型永远不是抽象类） - 注意 cv 限定符不影响结果：
std::is_abstract_v与std::is_abstract_v值相同
抽象类的判定规则和常见陷阱
std::is_abstract 的结果严格遵循 C++ 标准：只要一个类至少有一个纯虚函数（且未被派生类重写为非纯虚），且**未被实例化**（即没有定义所有纯虚函数的完整定义），它就是抽象类。但要注意：
- 带纯虚函数但已实现所有接口的派生类，
std::is_abstract_v返回false - 仅含纯虚析构函数的类仍是抽象类（哪怕其他函数都已实现）：
struct A { virtual ~A() = 0; }; // std::is_abstract_v == true - 模板类中使用需谨慎：若模板参数未完全确定（如
T未推导），std::is_abstract_v可能导致 SFINAE 失败或硬错误，应配合requires或std::enable_if_t约束
与其它类型特征组合使用的典型场景
单独用 std::is_abstract 意义有限，常配合 std::is_polymorphic、std::is_base_of 或概念约束做元编程决策。例如限制模板只能接受非抽象的多态基类：
templateconcept PolymorphicNonAbstract = std::is_polymorphic_v && !std::is_abstract_v ; template
void process(T& obj) { / ... / }
-
std::is_abstract_v对final类无效——final不影响抽象性，只阻止继承 - 与
std::is_class_v并用可排除内置类型干扰：std::is_class_v&& std::is_abstract_v - 在 trait 类中转发时，记得用
typename修饰依赖名称：using type = std::integral_constant>;
为什么 std::is_abstract 在 constexpr if 中常被忽略
因为它的值在编译期固定，但很多人误以为它能“跳过抽象类的成员访问”——其实不能。下面代码会编译失败，即使 if constexpr 分支未执行：
立即学习“C++免费学习笔记（深入）”；
templateauto get_name() { if constexpr (std::is_abstract_v ) { return T::name(); // ❌ 错误：T::name() 可能不存在，编译器仍要检查该表达式有效性 } else { return T{}.name(); } }
真正安全的做法是把抽象类特化成独立分支，或确保所有分支中的表达式对当前 T 都合法（比如全用 SFINAE 或 concept 约束接口存在性）。
最易被忽略的一点：std::is_abstract 对别名模板、using 声明后的类型别名仍然有效，但对 typedef 不透明——不过现代代码基本不用 typedef 定义类类型了。
