std::is_same_v是C++17变量模板，编译期严格判断T与U是否为完全相同类型（含cv限定符和引用性），不退化、不转换；常用于static_assert约束模板参数，需配字符串消息；对cv/引用敏感，可配合std::remove_cvref_t标准化后比较。
std::is_same_v 的基本用法和判断逻辑
std::is_same_v 是 C++17 引入的变量模板，本质是 std::is_same<t u>::value</t> 的简写。它在编译期返回 true 当且仅当 T 和 U 是完全相同的类型（包括 cv 限定符和引用性）。
注意：它不进行类型退化或隐式转换判断，比如 int 和 const int 不等价，int& 和 int 也不等价。
-
std::is_same_v<int int></int>→true -
std::is_same_v<int const int></int>→false -
std::is_same_v<int int></int>→false -
std::is_same_v<const int const></const>→true
配合 static_assert 做静态断言的典型写法
最常见用途是在模板中约束参数类型，编译失败时给出明确提示。关键在于把 std::is_same_v 放进 static_assert 的条件表达式里，并提供可读的字符串消息。
示例：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
void process(T value) {
static_assert(std::is_same_v<T, std::string>, "T must be std::string");
// ...
}
调用 process(42) 会触发编译错误，消息包含你写的字符串。如果省略字符串，错误信息可能只显示 “static assertion failed”，不利于调试。
- 字符串字面量必须是编译期常量，不能拼接或计算
- 若需支持多个合法类型，改用
std::disjunction_v<:is_same_v a>, std::is_same_v<t b>></t></:is_same_v> - 不要写成
static_assert(std::is_same_v<t u> == true)</t>—— 多余，且== true在某些旧编译器上可能干扰 SFINAE
容易被忽略的 cv 和引用细节
很多人误以为 std::is_same_v 会“忽略 const” 或 “退化引用”，实际它极其严格。这在模板推导中尤其容易出错：
- 函数参数为
const T&时，T推导为int，但实参类型是const int&—— 这两者不等价 -
auto&&推导出的类型可能是int&&，与int或int&都不匹配 - 使用
std::decay_t<t></t>或std::remove_cvref_t<t></t>可先标准化类型再比较
例如检查“是否为整数类型（忽略 const/volatile/引用）”：
static_assert(std::is_same_v<std::remove_cvref_t<T>, int>);
替代方案与性能无关性
std::is_same_v 是纯编译期运算，无运行时开销，所有主流编译器都能在 SFINAE 和 constexpr if 中可靠工作。但它不是万能的：
- 要判断“能否隐式转为某类型”，该用
std::is_convertible_v<t u></t> - 要判断“是否为同一类模板实例”，如
vector<int></int>和vector<double></double>，std::is_same_v会返回false—— 此时需自定义 trait 或用std::is_base_of等 - 在 C++20 概念中，更推荐用
std::same_as<t u></t>替代，语义更清晰且支持约束语法
真正容易翻车的地方，往往不是语法写错，而是没意识到类型推导后带上的引用、const 或 volatile 修饰符已经让两个“看起来一样”的类型在元编程层面彻底不同了。
