std::is_same和std::enable_if结合可实现SFINAE，用于精准类型控制，如限定函数仅接受特定类型，提升模板代码安全性和灵活性。
在C++模板编程中，std::is_same 和 std::enable_if 是两个非常实用的类型特征工具，常用于条件编译和函数重载控制。它们定义在头文件 <type_traits> 中，配合使用可以实现SFINAE（Substitution Failure Is Not An Error）机制，让编译器根据类型条件选择或排除某些模板。
std::is_same 的基本用法
std::is_same<T, U>::value 是一个布尔常量，当类型 T 和 U 完全相同时返回 true，否则为 false。它常用于判断两个类型是否一致。
例如：
#include <type_traits>
#include <iostream>
<p>int main() {
std::cout << std::is_same<int, int>::value << "\n"; // 输出 1
std::cout << std::is_same<int, float>::value << "\n"; // 输出 0
std::cout << std::is_same<int, const int>::value << "\n"; // 输出 0（const 视为不同）
}</p>注意：const、引用、指针等修饰符会影响类型匹配，int 和 const int 被视为不同类型。
立即学习“C++免费学习笔记（深入）”；
std::enable_if 的作用与语法
std::enable_if 根据条件决定是否启用某个模板。如果条件为 true，则提供一个类型（通常是 type），否则替换失败，但不会报错（SFINAE规则）。
常见写法：
template <typename T>
typename std::enable_if<std::is_integral<T>::value, T>::type
max(T a, T b) {
return a > b ? a : b;
}
这个 max 函数只对整型类型（如 int、short）有效。因为 std::is_integral<T>::value 为 true 时，enable_if 才有 ::type 成员，否则模板被禁用。
另一种更现代的写法是使用默认模板参数：
template <typename T,
typename = typename std::enable_if_t<std::is_floating_point<T>::value>>
T square(T x) {
return x * x;
}
这里限制了 square 只能接受浮点类型（float、double 等）。
结合 is_same 和 enable_if 实现精准类型控制
有时我们需要函数仅在类型完全匹配某个特定类型时才可用。比如只允许传入 double 类型：
template <typename T>
typename std::enable_if_t<std::is_same_v<T, double>, double>
process(T value) {
return value * 2.0;
}
使用 C++14 的 std::enable_if_t 和 C++17 的 std::is_same_v 可以简化代码。上面的例子中，只有 T 是 double 时函数才会参与重载决议。
若调用 process(5);（int 类型），编译器会报错“no matching function”，因为模板被 SFINAE 排除，且无其他重载可用。
也可以用于类模板特化或构造函数限制：
template <typename T>
struct Wrapper {
template <typename U = T>
std::enable_if_t<std::is_same_v<U, std::string>>
print() { std::cout << "String: " << data << "\n"; }
<pre class='brush:php;toolbar:false;'>template <typename U = T>
std::enable_if_t<!std::is_same_v<U, std::string>>
print() { std::cout << "Value: " << data << "\n"; }
T data;};
通过给每个 print 函数不同的 enable_if 条件，实现了基于类型的分支行为，而无需函数重载或特化整个类。
基本上就这些。掌握 std::is_same 和 std::enable_if 的组合使用，能让你写出更安全、更灵活的模板代码。虽然 C++17 后有了 if constexpr 和 concepts，但在老标准或需要精细控制的地方，它们依然不可替代。
