std::is_same只能比较类型而非变量，必须传入类型名或decltype(T)，配合static_assert或if constexpr使用；C++17起推荐std::is_same_v，需包含且注意标准版本兼容性。
std::is_same 用不对，编译就报错
它不是运行时函数，不能直接传变量进去比较类型——std::is_same<decltype int></decltype> 才对，std::is_same<x int></x> 或 std::is_same(x, int) 都会失败。
常见错误现象：error: type/value mismatch at argument 1 in template parameter list，本质是把值当类型用了。
- 必须传类型（type），不是变量（value）
- 类型要加
decltype()、typename或直接写int、std::string这类类型名 - 模板参数列表里不能出现未声明的标识符，比如没定义的
T就直接写std::is_same<t int></t>会报错（除非在模板上下文中）
在模板中做静态断言，得配合 static_assert
std::is_same 返回的是类型 std::true_type 或 std::false_type，不是 bool 字面量，所以不能直接写 if (std::is_same<...>::value)</...> 来控制逻辑分支（虽然 ::value 存在，但分支判断得靠特化或 if constexpr）。
更常用、更安全的做法是配合 static_assert 在编译期卡住错误：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
void process(T val) {
static_assert(std::is_same_v<T, std::string>, "only std::string allowed");
// ...
}
-
std::is_same_v<a b></a>是 C++17 引入的便捷变量模板，等价于std::is_same<a b>::value</a> - 别漏写
_v后缀，std::is_same<a b></a>本身不是布尔值，不能放进static_assert的第一个参数 - 如果需要运行时行为分支，优先用
if constexpr（C++17），而不是if+::value
和 std::is_same_v 混用时，头文件和标准版本要对齐
<type_traits></type_traits> 是必须包含的头文件，但 C++14 不支持 std::is_same_v，只支持 std::is_same<...>::value</...>；C++17 起才定义了 _v 变量模板。
容易踩的坑：
- 项目设为 C++14 却用了
std::is_same_v→ 编译失败，错误信息可能是‘is_same_v’ is not a member of ‘std’ - 忘了加
#include <type_traits></type_traits>→ 大部分编译器不报std::is_same未声明，而是报模板参数解析失败，定位困难 - 在模板别名里写
using is_int = std::is_same<t int></t>是 OK 的，但写using is_int_v = std::is_same_v<t int></t>就不行——_v是变量模板，不能作为类型别名目标
替代方案：什么时候不该硬套 std::is_same
想判断“是不是某种类型”时，std::is_same 太严格：它不认为 const int 和 int 相同，也不认为派生类和基类相同。实际中多数需求其实更松：
- 需要忽略 const/volatile？用
std::is_same_v<:remove_cv_t>, int></:remove_cv_t> - 需要支持派生类？用
std::is_base_of<base t>，不是std::is_same - 只是想限制模板参数为算术类型？直接用
std::is_arithmetic_v<t></t>更准确 - 函数重载比元编程更直观？比如两个
foo(int)和foo(std::string)，比在单个模板里用std::is_same分支更易读、更易调试
类型擦除、SFINAE、concepts（C++20）都在稀释 std::is_same 的使用场景——它有用，但不是第一反应该抓的工具。
