std::is_same严格比较字面类型，const、引用、cv限定符差异即判为不同；不进行类型归一化或隐式转换推导，需配合remove_cv、remove_reference或decay等辅助处理。
std::is_same 只认字面完全一致的类型，连 const、引用、cv 限定符差一点都算不同——它不是“看起来一样就行”，而是“必须一模一样”。
std::is_same::value 的行为边界
它不进行任何类型归一化或隐式转换推导，只比对模板实参展开后的最终类型。比如 std::is_same<int const int>::value</int> 是 false，std::is_same<int int>::value</int> 也是 false，哪怕它们能互相赋值。
- 需要判断“能否隐式转换”？用
std::is_convertible，不是std::is_same - 想忽略 const/volatile？先用
std::remove_cv处理再比较 - 想忽略引用？搭配
std::remove_reference使用 - 想判断“底层类型是否相同”（比如
int和typedef int my_int）？std::is_same仍为true，因为 typedef 不产生新类型
模板特化中常见误判场景
在函数模板里直接写 std::is_same<t int>::value</t> 很危险：如果调用时传入的是 const int&，T 推导为 const int&，结果就是 false，哪怕你本意是想匹配“所有能当 int 用的类型”。
- 更稳健的做法是先 decay：用
std::is_same<:decay_t>, int>::value</:decay_t> - 或者明确限定：用
std::is_same<:remove_reference_t>>, int>::value</:remove_reference_t> - 注意
std::decay_t会把数组转指针、函数转函数指针，不是万能“去修饰”，要按需选
和 static_assert 联用时的编译错误定位
直接写 static_assert(std::is_same<t double>::value, "T must be double");</t>，一旦失败，错误信息里只会显示 “static assertion failed”，不会告诉你 T 到底是什么类型。
- 加个辅助 trait 打印实际类型：用
static_assert(std::is_same_v<t double>, "T is not double, got: " __PRETTY_FUNCTION__); </t>（GCC/Clang 支持__PRETTY_FUNCTION__） - MSVC 用户可用
__FUNCSIG__替代 - 更通用的办法：定义一个
type_name_v<t></t>辅助变量模板（需 C++17），在 assert 消息里拼接
真正容易被忽略的是 cv 限定符和引用性带来的静默差异——std::is_same 的“严格”不是缺陷，而是设计意图；用错地方时，问题往往不出在它身上，而出在没意识到你真正想判断的到底是不是“字面相同”。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
