std::enable_if_t在函数模板中典型用法是置于返回类型或参数列表，依赖SFINAE静默移除不满足条件的重载；类模板中宜用默认模板参数约束；需区分std::is_integral_v（C++17）与std::is_integral::value，并注意隐式转换限制。
std::enable_if_t 在函数模板上的典型用法
直接在函数模板的返回类型或参数列表中使用 std::enable_if_t，是最常用且清晰的方式。它依赖 SFINAE 原则：当条件不满足时，该重载从候选集中静默移除，而不是报错。
常见错误是写成 std::enable_if_t<:is_integral_v>, void></:is_integral_v> 却忘了给返回类型留位置——如果函数本应返回 int，就不能硬塞一个 void 占位；更稳妥的是统一用 void 作返回类型，或用 decltype 推导。
- 推荐把约束放在返回类型：
template<typename t> std::enable_if_t<:is_integral_v>, int> func(T x) { return x + 1; }</:is_integral_v></typename> - 也可放在最后一个函数参数（避免影响重载解析）：
template<typename t> int func(T x, std::enable_if_t<:is_integral_v>>* = nullptr)</:is_integral_v></typename> - 别写
std::enable_if_t, int>来“禁止”非整型——这会导致无匹配重载，报错而非静默剔除
类模板中限制 T 必须为整型的写法
类模板不能像函数那样靠重载回避，必须让非法实例化直接失败。最简方式是把 std::enable_if_t 用在类内部某个依赖项上，比如一个静态断言辅助类型，或更常见的——用在默认模板参数里。
注意：C++17 起推荐优先用 static_assert，但若需兼容老标准或配合其他约束组合，std::enable_if_t 仍有用武之地。
立即学习“C++免费学习笔记（深入）”；
- 安全写法（C++11/14）：
template<typename t typename="std::enable_if_t<std::is_integral_v<T">>> struct MyIntWrapper { T value; };</typename> - 错误写法：
template<typename t> struct MyIntWrapper<:enable_if_t>, T>></:enable_if_t></typename>—— 这是在偏特化，不是主模板约束 - 若类有多个模板参数，把 enable_if 放在最后作为默认参数，避免调用时必须显式传入
std::is_integral_v 和 std::is_integral 的区别与选型
std::is_integral_v<t></t> 是 C++17 引入的变量模板，等价于 std::is_integral<t>::value</t>，语义更简洁、编译期求值更直接。用错版本会编译失败。
- 写
std::is_integral<t>::value</t>在 C++11–17 都可用；写std::is_integral_v<t></t>要求 C++17 或更高 - 别混用：例如
std::enable_if_t<:is_integral>, int></:is_integral>缺少::value或_v，结果是类型而非布尔值，编译器报错类似invalid template argument for 'enable_if_t' -
std::is_integral对bool、char、short、int、long long等都返回 true；但对char16_t、std::size_t（取决于平台）可能不成立，需按需确认
容易被忽略的隐式转换陷阱
std::enable_if_t 只检查模板参数 T 的原始类型，不阻止用户传入能隐式转为整型的类型（如 double、自定义类）。它防不住实参推导阶段的“宽松匹配”，只拦住 T 本身不是整型的情况。
例如 func(3.14) 不会调用上面的 func<int></int>，因为推导出的 T 是 double，不满足 std::is_integral_v<double></double>，导致编译失败——这不是 bug，是预期行为。但如果你希望接受所有能转成 int 的值，就得另加转发逻辑或改用概念（C++20）。
- 传
func(5L)：T 推导为long，在多数平台满足std::is_integral_v<long></long>，可通过 - 传
func(std::string{"1"})：T 是std::string，不满足条件，编译失败 - 若想同时支持
int和long long但拒绝float，当前写法已足够；但若想接受unsigned int且拒绝带符号溢出风险，就得额外加std::is_signed判断
真正麻烦的不是写对 std::enable_if_t，而是想清楚你到底要约束“类型身份”还是“可转换性”，以及是否要和 std::decay_t、std::remove_cvref_t 配合使用——这些细节一旦漏掉，约束就形同虚设。
