std::is_same_v是C++17起推荐的编译期类型严格比对工具，仅当两类型字面完全一致（含cv限定符、引用性）时返回true，不进行任何隐式转换或退化；它直接返回常量表达式，可安全用于static_assert和if constexpr，而std::is_same<T,U>::value易出错且不支持编译期分支。
std::is_same 是唯一能在编译期严格判断两个类型是否完全相同的工具，它不忽略 const、&、&& 或 volatile 限定符，也不做隐式转换。用错就等于白判。
std::is_same_v 是最简写法，别手写 ::value
从 C++17 起，std::is_same_v<int int></int> 直接返回 true 常量表达式，比 std::is_same<int int>::value</int> 更安全、更易读。写 ::value 容易漏掉模板参数或拼错，而且无法用于 static_assert 或 if constexpr 的条件分支中——只有变量模板（_v 后缀）才能直接当布尔常量用。
常见错误：把 std::is_same_v<int long></int> 当成平台相关判断。哪怕在 64 位 Linux 上 int 和 long 都是 4 字节，结果仍是 false；它只认语法层面的类型名，不看底层表示。
-
std::is_same_v<int const int></int>→false（cv 限定不同） -
std::is_same_v<int int></int>→false（引用 vs 非引用） -
std::is_same_v<:string std::string></:string>→true（完全一致）
别用 typeid 比较类型是否“相同”
typeid 返回的是运行时类型信息，对非多态类型（即没虚函数的类）只反映静态类型，且 typeid(a) == typeid(b) 的结果依赖 ABI 实现，不同编译器输出的 name() 可能完全不同（比如 "i" vs "int"），不能用于跨平台或模板元编程。
更关键的是：typeid 对引用、const 等修饰不敏感——typeid(const int&) 和 typeid(int) 在多数实现里会相等，但这不是标准保证的行为，属于未定义边缘。
立即学习“C++免费学习笔记（深入）”；
所以：typeid 只适合调试打印或简单运行时识别，绝不能替代 std::is_same 做编译期类型校验。
std::is_same 不适用于值比较或运行时类型推导
它只接受类型名（或 decltype(x) 这种类型表达式），不能传入变量或表达式本身。比如 std::is_same_v<decltype decltype></decltype> 是合法的，但 std::is_same_v<a b></a> 是语法错误。
如果你需要根据变量值动态判断类型，说明设计已有问题——C++ 是静态类型语言，这种需求通常意味着该用多态、std::variant 或访问者模式，而不是硬塞类型判断。
另外注意：模板参数推导不会自动去掉引用或 const，template<typename t> void f(T x)</typename> 中 T 是 int& 还是 const int，取决于调用方式，std::is_same_v<t int></t> 很可能为 false。必要时得用 std::remove_reference_t 或 std::remove_cv_t 先标准化。
和 is_base_of、is_convertible 的区别必须拎清
std::is_same 只回答“是不是同一个类型”，而 std::is_base_of<base derived> 判断继承关系，std::is_convertible<t u></t> 判断能否隐式转换。三者语义完全不同，混用会导致逻辑漏洞。
例如：std::is_same_v<:vector>, std::vector<long>></long></:vector> 是 false，但 std::is_convertible_v<int long></int> 是 true；std::is_base_of_v<:exception std::runtime_error></:exception> 是 true，但 std::is_same_v 必然为 false。
最容易踩的坑：看到两个类型“看起来一样”就直接上 std::is_same，却忘了它们可能是别名（using）、模板实例化结果（std::basic_string<char></char> vs std::string）或带不同限定符的同一底层类型——这些都必须显式写出完整类型才能匹配。
if constexpr 里，而不是裸写个 bool 变量打印出来看。写之前先问自己：这个判断是不是必须发生在编译期？如果不是，大概率选错了工具。 
