std::is_same是c++11引入的编译期类型比较工具，严格判断两类型是否字面一致，不考虑cv限定符、引用、隐式转换；其变量模板std::is_same_v更简洁安全。
std::is_same 是 C++11 引入的类型特征（type trait），用于在编译期判断两个类型是否完全相同。它不进行类型退化、不考虑 cv 限定符隐式转换、也不做任何类型推导——只认“字面一致”的类型。
std::is_same 的基本用法和返回值含义
它是一个类模板，继承自 std::integral_constant<bool value></bool>，所以它的实例具有 ::value 成员（C++17 起推荐用 std::is_same_v<t u></t> 直接取布尔值）。
注意：它比较的是“类型本身”，不是对象或值；int 和 const int 不同，int& 和 int 也不同，std::vector<int></int> 和 std::vector<int></int> 相同（但和 std::vector<const int></const> 不同）。
-
std::is_same<int int>::value</int>→true -
std::is_same_v<int const int></int>→false -
std::is_same_v<int int></int>→false -
std::is_same_v<decltype int></decltype>可用于推导后校验（x 是 int 变量）
常见误用：别把 decltype 和类型名搞混
写 std::is_same<decltype int></decltype> 是对的，但写 std::is_same<x int></x> 会编译失败——x 是变量名，不是类型。同样，std::is_same<decltype int></decltype> 合法，而 std::is_same<func int></func> 非法。
立即学习“C++免费学习笔记（深入）”；
另一个坑是未去除引用/const：如果 x 是 const int&，decltype(x) 就是 const int&，直接跟 int 比一定为 false。需要配合 std::remove_reference_t 或 std::decay_t：
static_assert(std::is_same_v<std::remove_reference_t<decltype(x)>, int>);
若想忽略 const/volatile 和引用（模拟“值类型”语义），用 std::decay_t 更稳妥：
static_assert(std::is_same_v<std::decay_t<decltype(x)>, int>);
在 SFINAE 和约束中怎么安全使用
在函数重载或模板约束里，std::is_same 常和 std::enable_if 或 C++20 requires 搭配。错误写法是直接写 std::enable_if<:is_same int>::value>::type</:is_same> —— 这会在 T 不是 int 时导致硬错误（hard error），而非 SFINAE 拒绝。
正确做法是让条件出现在模板参数列表或返回类型中：
template<typename T>
auto foo(T) -> std::enable_if_t<std::is_same_v<T, int>, void> { /* ... */ }C++20 更清晰：
template<typename T>
void foo(T x) requires std::is_same_v<T, int> { /* ... */ }注意：std::is_same_v 是变量模板，比写 ::value 更简洁且不易出错。
和 std::is_convertible、std::is_same_v 的关键区别
std::is_same 不关心转换关系。比如 std::is_same_v<double int></double> 是 false，但 std::is_convertible_v<int double></int> 是 true。别用它来判断“能否赋值”或“是否可隐式转换”。
另外，std::is_same_v 是 C++17 引入的便捷别名，等价于 std::is_same<t u>::value</t>，但更安全：它不会因模板实参未实例化而引发意外依赖问题（比如在某些偏特化上下文中）。
真正容易被忽略的是：它对模板参数包、别名模板、嵌套类型等依然严格按“类型签名”比对。例如 using X = std::vector<int></int> 和 std::vector<int></int> 在大多数上下文中等价，但 std::is_same_v<x std::vector>></x> 仍为 true；而 template<typename t> using Y = std::vector<t></t></typename>，则 std::is_same_v<y>, std::vector<int>></int></y> 也是 true —— 类型别名展开后完全一致才成立。
