必须将约束写在返回类型或默认模板参数上，并用std::decay_t处理cv/ref修饰，否则std::is_base_of因类型不“干净”而失效；推荐默认参数写法+static_assert双保险。
如何用 std::enable_if + std::is_base_of 限制模板函数只接受某基类的子类
直接结论：必须把约束写在函数模板的返回类型或最后一个模板参数上，且要配合 std::decay_t 或 std::remove_reference_t 处理引用/const 修饰，否则 std::is_base_of 很可能返回 false —— 即使类关系完全正确。
std::is_base_of 在模板推导中为何常失效
根本原因是 std::is_base_of<base derived> 要求两个类型都是“干净”的类类型（cv-unqualified、non-reference），但模板实参推导常带 const T&、T&& 等修饰。比如传入 const Dog&，Derived 就是 const Dog&，而 std::is_base_of<animal const dog></animal> 是 false。
- 错误写法：
template<typename t> void foo(T x) -> std::enable_if_t<:is_base_of_v t>, void></:is_base_of_v></typename>——T可能是const Dog&，检查失败 - 正确做法：用
std::remove_reference_t<:remove_cv_t>></:remove_cv_t>或更简洁的std::decay_t<t></t>剥离修饰 - 示例修复：
std::is_base_of_v<animal std::decay_t>></animal>
两种可靠写法：返回类型 SFINAE vs. 默认模板参数
推荐默认模板参数方式，更清晰、调试时错误信息更友好；返回类型方式在重载多时易被误判为“无匹配函数”而非“SFINAE 排除”。
- 返回类型写法（兼容 C++11）：
template<typename T> auto process(T&& obj) -> std::enable_if_t<std::is_base_of_v<Animal, std::decay_t<T>>, void> { // ... } - 默认模板参数写法（C++11 起支持，更直观）：
template<typename T, typename = std::enable_if_t<std::is_base_of_v<Animal, std::decay_t<T>>>> void process(T&& obj) { // ... } - 注意：两个写法都必须用
std::decay_t<t></t>，不能只用std::remove_reference_t<t></t>——std::decay还处理数组转指针、函数转函数指针等边缘情况
编译期报错提示差？加个 static_assert 补位
SFINAE 只让函数“不可见”，不解释“为什么不可见”。用户传了 int 进来，只会看到 “no matching function”，毫无线索。补一层 static_assert 能立刻点明问题：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
void process(T&& obj) {
static_assert(std::is_base_of_v<Animal, std::decay_t<T>>,
"T must be derived from Animal");
// ...
}
这行断言不会干扰 SFINAE（它在函数体内，不是模板声明的一部分），但一旦匹配到该函数模板，就会在实例化时触发清晰报错。实际项目中，建议 SFINAE + static_assert 双保险。
真正容易被忽略的是 cv/reference 修饰对 std::is_base_of 的破坏性 —— 它不像运行时类型检查那么宽容，一个 const 就足以让整个约束失效。
