std::is_same用于编译期严格判断两类型是否完全相同（含cv限定符和引用性），不进行类型转换；常用std::is_same_v返回布尔常量表达式，支持static_assert、if constexpr等编译期分支。
std::is_same 的基本用法和编译期判断逻辑
std::is_same 是一个类型特征（type trait），用于在编译期判断两个类型是否完全相同——包括 cv 限定符（const、volatile）和引用性。它不比较值，也不做类型转换；哪怕 int 和 long 在当前平台大小相同，std::is_same_v<int long></int> 也一定是 false。
最常用的是它的变量模板别名 std::is_same_v<t u></t>，返回 bool 常量表达式：
static_assert(std::is_same_v<int, int>); // OK static_assert(!std::is_same_v<int, const int>); // OK：cv 限定不同 static_assert(!std::is_same_v<int&, int>); // OK：引用 vs 非引用
注意：必须在编译期上下文中使用（如 static_assert、if constexpr、模板特化条件），运行时无法取地址或打印其值。
在模板中配合 if constexpr 进行分支选择
直接用 std::is_same_v 控制编译期分支，比传统函数重载或 SFINAE 更直观。常见于泛型容器或序列化逻辑中对特定类型的特殊处理。
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
例如，对 std::string 做零拷贝输出，其余类型走通用格式化：
template<typename T>
void print(const T& v) {
if constexpr (std::is_same_v<T, std::string>) {
std::cout << "[string] " << v;
} else if constexpr (std::is_same_v<T, int>) {
std::cout << "[int] " << v;
} else {
std::cout << "[other] " << v;
}
}
- 每个
if constexpr分支只对满足条件的类型实例化，未匹配分支里的非法表达式（比如调用v.c_str()）不会触发编译错误 - 不能写成普通
if，否则所有分支都参与编译，导致类型不兼容报错 -
std::is_same_v只接受类型，不能传入变量名或表达式；想判断“某变量的类型是否为 X”，要用std::is_same_v<decltype x></decltype>
容易误用的三种典型场景
新手常把 std::is_same 当作“是否可隐式转换”或“是否等价”来用，结果断言失败却不知原因。
- 忽略引用与解引用差异：
std::is_same_v<decltype int></decltype>和std::is_same_v<decltype int></decltype>不同，即使x是int类型变量 - 忽略 cv 限定：
const int*和int*是不同类型，std::is_same_v<const int></const>为false；需先用std::remove_cv_t或std::remove_pointer_t剥离 - 混淆模板参数推导结果：函数模板中
T&&对左值实参推导为T&，此时std::is_same_v<t int></t>会是false，应检查std::decay_t<t></t>或std::remove_reference_t<t></t>
替代方案：什么时候不该用 std::is_same
如果目标是“能否安全赋值”或“是否属于同一类型族”，std::is_same 太严格。这时候该换更合适的工具：
- 判断是否可转换：
std::is_convertible_v<from to></from> - 判断是否为某个类的派生类：
std::is_base_of_v<base derived> - 忽略 const/volatile：
std::is_same_v<:remove_cv_t>, std::remove_cv_t<u>></u></:remove_cv_t> - 判断是否为指针且指向同一类型：
std::is_same_v<:remove_pointer_t>, std::remove_pointer_t<u>></u></:remove_pointer_t>
真正需要 std::is_same 的地方其实不多：多态无关的元编程约束、特化静态断言、类型擦除前的精确匹配。多数时候你以为要“相等”，实际要的是“兼容”或“等价”。
