std::is_abstract不能直接用于SFINAE特化，因为它对不完整类型会触发硬错误而非SFINAE失效；需结合void_t和sizeof完整性检查构建SFINAE友好版，或优先使用if constexpr分支处理。
std::is_abstract 为什么不能直接用于SFINAE特化
因为 std::is_abstract 是一个类型谓词（type trait），它只在编译期返回 std::true_type 或 std::false_type，但**不参与SFINAE**——它的模板参数如果传入不完整类型或非法类型，会直接触发硬错误（hard error），而非被丢弃。比如对未定义的类、void、函数类型调用 std::is_abstract<T>::value，编译器立刻报错，而不是让重载/特化静默失效。
常见错误现象：error: incomplete type 'X' used in type trait expression，尤其在泛型容器或工厂模板中尝试对任意 T 做抽象性判断时高频出现。
- 必须确保
T是完整类型（complete type）才能安全调用std::is_abstract<T> - 不能在 primary template 的默认参数或
enable_if条件里裸写std::is_abstract<T>::value - 若
T可能是不完整类型（如前向声明类、模板参数未实例化），需先加完整性检查
如何用 void_t + is_abstract 构建 SFINAE 友好版检测
核心思路：把 std::is_abstract 的求值延迟到类型已确认完整之后，借助 void_t（C++17 起可用 std::void_t，C++11/14 需手写）包裹依赖表达式，使其在类型不完整时因 substitution failure 被 SFINAE 丢弃。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 先定义完整性探测：用
sizeof(T)是否合法来判断T是否完整（sizeof对不完整类型是硬错误，但套进void_t<decltype(sizeof(T))>后就变成 SFINAE 友好） - 再组合：只有当
T完整时，才启用std::is_abstract<T>::value判断 - 示例片段（C++17）：
template <typename T, typename = void>
struct is_abstract_sfinae : std::false_type {};
template <typename T>
struct is_abstract_sfinae<T, std::void_t<decltype(sizeof(T))>>
: std::integral_constant<bool, std::is_abstract_v<T>> {};
这样 is_abstract_sfinae<IncompleteClass> 会退化为 std::false_type，而非编译失败。
模板特化时如何避免误判纯虚析构函数导致的假阳性
有纯虚析构函数但无其他纯虚函数的类，仍是抽象类（std::is_abstract_v<T> 返回 true），但常被误认为“可实例化”——因为用户可能只检查了函数成员，忽略了析构函数语义。这是设计意图，不是 bug，但容易引发逻辑偏差。
使用场景举例：想为“可构造类型”提供默认工厂函数，却意外排除了仅含纯虚析构的基类（比如某些 RAII wrapper 基类）。
-
std::is_abstract的行为完全符合标准：只要存在至少一个纯虚函数（包括virtual ~T() = 0），即为抽象类 - 若业务逻辑真需要区分“有纯虚函数但无纯虚析构”和“仅有纯虚析构”，需手动检视
std::is_destructible_v<T>和虚函数表结构（不可移植），不推荐 - 更稳妥的做法是：接受
std::is_abstract的标准语义，把“仅含纯虚析构”的类明确归入抽象类范畴，统一处理
constexpr if 与模板特化的取舍：何时该用哪个
如果你的目标只是在函数体内做分支，而非生成不同特化版本，优先用 if constexpr ——它更轻量、无需额外模板声明，且能天然规避 SFINAE 复杂度。
示例对比：
- 错误做法：为
std::is_abstract_v<T>写两套函数模板特化，结果因类型不完整崩溃 - 推荐做法：单个函数模板 +
if constexpr (std::is_abstract_v<T>)分支（C++17 起） - 注意：
if constexpr分支内代码仍需满足语法正确性，但未执行分支的代码不参与实例化，所以即使写了new T在false分支里也不会报错 - 性能影响：零开销，编译期彻底剪枝
真正需要模板特化的情形只有一种：你必须让两个类型产生不同的类型别名、静态成员或偏特化行为（比如 std::tuple_element 那种元函数），否则别硬上特化。
抽象类识别这件事本身，绝大多数时候只需要一个编译期布尔值，if constexpr 就够用了；非要特化，反而容易掉进不完整类型的坑里。
