应使用std::is_base_of_v配合std::enable_if_t将约束置于函数返回类型或偏特化参数位，而非函数体内static_assert；私有继承下is_convertible不可靠，唯一可靠的是is_base_of_v。
能用 std::is_base_of 配合 std::enable_if 实现，但必须把条件写在函数或类模板的“可被 SFINAE 排除的位置”，否则编译器不会跳过——这是最常踩的坑。
函数重载中限制参数为某基类子类
当你想让一个模板函数只接受继承自 Widget 的类型（比如 Button、Label），不能靠函数体内 static_assert，那只是报错，不是“不参与重载”。正确做法是把约束放在返回类型或额外参数位：
- 推荐用
enable_if_t修饰返回类型：条件不满足 → 返回类型无效 → 整个函数签名被 SFINAE 屏蔽 - 示例：
template<typename T> enable_if_t<is_base_of_v<Widget, T>, void> draw(T& w) { w.render(); } - 如果函数已有返回类型（如
int），别硬塞enable_if_t进去——这会导致返回类型冲突；应改用“带默认值的哑参数”方式 - 错误写法：
template<typename T> void draw(T& w) { static_assert(is_base_of_v<Widget, T>); ... }——它会让所有调用都编译失败，而非静默跳过
类模板特化时排除非子类实例化
类模板本身不能直接用 enable_if “禁用”，但可以通过偏特化 + enable_if 控制哪些类型能触发特化版本：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 定义主模板为
class Renderer，什么也不做或只提供基础接口 - 再写一个偏特化：
template<typename T> class Renderer<T, enable_if_t<is_base_of_v<Widget, T>>> { public: void paint() { /* 实际逻辑 */ } }; - 注意第二个模板参数必须设为默认值（如
typename = void），否则用户实例化时得手动传void，失去易用性 - 若忘记给主模板加默认参数，编译器会抱怨“模板参数数量不匹配”，而不是你期望的“找不到匹配特化”
为什么 std::is_convertible 不适合替代 std::is_base_of
有人试图用 is_convertible_v<T*, Widget*> 判断继承关系，这在多重继承或私有继承下不可靠：
立即学习“C++免费学习笔记（深入）”；
-
is_convertible只检测隐式转换是否存在，而派生类指针转基类指针是语言内置规则，和访问控制无关 - 若
T私有继承Widget，is_base_of_v<Widget, T>仍为true，但is_convertible_v<T*, Widget*>为false——两者语义不同 - 更隐蔽的问题：
is_convertible对void*或用户自定义转换运算符也会返回true，造成误判 - 结论：判断“是不是子类”，唯一可靠的是
is_base_of_v<Base, Derived>
真正容易被忽略的是：所有 enable_if 的条件必须作用于模板参数本身，不能依赖函数体内的运行时值（比如 if (x.type() == "widget")），也不能依赖未推导出的类型别名。一旦条件表达式里出现未声明的符号或无法在模板推导阶段确定的值，SFINAE 就失效，变成硬编译错误。
