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 非引用</int></int></int>

注意：必须在编译期上下文中使用（如 static_assert、if constexpr、模板特化条件），运行时无法取地址或打印其值。

在模板中配合 if constexpr 进行分支选择

直接用 std::is_same_v 控制编译期分支，比传统函数重载或 SFINAE 更直观。常见于泛型容器或序列化逻辑中对特定类型的特殊处理。

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 ) {
        std::cout 
<ul>
<li>每个 <code>if constexpr</code> 分支只对满足条件的类型实例化，未匹配分支里的非法表达式（比如调用 <code>v.c_str()</code>）不会触发编译错误</li>
<li>不能写成普通 <code>if</code>，否则所有分支都参与编译，导致类型不兼容报错</li>
<li>
<code>std::is_same_v</code> 只接受类型，不能传入变量名或表达式；想判断“某变量的类型是否为 X”，要用 <code>std::is_same_v<decltype x></decltype></code>
</li>
</ul>
<h3>容易误用的三种典型场景</h3>
<p>新手常把 <code>std::is_same</code> 当作“是否可隐式转换”或“是否等价”来用，结果断言失败却不知原因。</p>
<ul>
<li>忽略引用与解引用差异：<code>std::is_same_v<decltype int></decltype></code> 和 <code>std::is_same_v<decltype int></decltype></code> 不同，即使 <code>x</code> 是 <code>int</code> 类型变量</li>
<li>忽略 cv 限定：<code>const int*</code> 和 <code>int*</code> 是不同类型，<code>std::is_same_v<const int></const></code> 为 <code>false</code>；需先用 <code>std::remove_cv_t</code> 或 <code>std::remove_pointer_t</code> 剥离</li>
<li>混淆模板参数推导结果：函数模板中 <code>T&&</code> 对左值实参推导为 <code>T&</code>，此时 <code>std::is_same_v<t int></t></code> 会是 <code>false</code>，应检查 <code>std::decay_t<t></t></code> 或 <code>std::remove_reference_t<t></t></code>
</li>
</ul>
<h3>替代方案：什么时候不该用 std::is_same</h3>
<p>如果目标是“能否安全赋值”或“是否属于同一类型族”，<code>std::is_same</code> 太严格。这时候该换更合适的工具：</p>
<ul>
<li>判断是否可转换：<code>std::is_convertible_v<from to></from></code>
</li>
<li>判断是否为某个类的派生类：<code>std::is_base_of_v<base derived></code>
</li>
<li>忽略 const/volatile：<code>std::is_same_v<:remove_cv_t>, std::remove_cv_t<u>></u></:remove_cv_t></code>
</li>
<li>判断是否为指针且指向同一类型：<code>std::is_same_v<:remove_pointer_t>, std::remove_pointer_t<u>></u></:remove_pointer_t></code>
</li>
</ul>
<p>真正需要 <code>std::is_same</code> 的地方其实不多：多态无关的元编程约束、特化静态断言、类型擦除前的精确匹配。多数时候你以为要“相等”，实际要的是“兼容”或“等价”。</p></t></typename>

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！