C++中的std::is_same类型萃取怎么用？(在编译期判断两个类型是否相同)_技术教程

std::is_same是C++11引入的编译期类型比较工具，严格匹配两个类型（含cv限定符和引用），返回value或C++17起的_v别名，常用于static_assert契约检查或enable_if实现SFINAE重载。

std::is_same 是 C++11 引入的类型特性（type trait），用于在编译期判断两个类型是否完全相同（包括 cv 限定符和引用性）。它不是运行时函数，而是一个模板类，其 value 成员是编译期常量表达式。

必须用 typename 显式指定类型参数，不能传变量；例如 std::is_same::value 为 true，但 std::is_same::value 才能用于变量推导后的类型比对
类型相同需严格一致：std::is_same::value 是 false，std::is_same::value 也是 false
支持所有类型：内置、类、枚举、指针、数组、模板特化等，但不接受未定义类型或不完整类型（如前置声明未定义的 class）

单独查 value 意义有限，真正价值在于驱动编译期分支。常见组合是 static_assert 做契约检查，或配合 std::enable_if_t 实现 SFINAE 重载选择。

用 static_assert 防止误用：比如要求某个模板参数必须是 std::string，可写

template
void process(T t) {
    static_assert(std::is_same_v, "T must be std::string");
    // ...
}

用 std::enable_if_t 分离重载：当需要对特定类型提供特化实现时

template
std::enable_if_t> foo(T) { /* int 版本 */ }
template
std::enable_if_t> foo(T) { / 其他类型版本 / }

很多人以为 std::is_same 会“忽略”顶层 const 或引用，实际完全不会——它做的是字面类型匹配，连 typedef 或 using 别名都会被展开后比对。

using Int = int; 后，std::is_same_v 是 true（别名在类型系统中无独立身份）
const int& 和 int& 不同，std::is_same_v → false；若想忽略 cv，需先用 std::remove_cv_t 处理
传入 decltype(expr) 时务必注意表达式值类别：对变量取 decltype(x) 得到的是带引用的类型（如 int&），而 decltype((x)) 总是产生引用类型；这直接影响比对结果
数组类型长度参与比较：std::is_same_v 是 false，哪怕元素类型一样