std::common_type 是 C++11 引入的类型特征，用于编译期推导多个类型可隐式转换到的最窄公共类型，解决泛型中返回类型统一、容器元素类型判断等问题。
std::common_type 是什么，它能解决什么问题
std::common_type 是 C++11 引入的类型特征（type trait），用于在编译期推导一组类型的“公共类型”——即所有参数都能隐式转换到的那个最窄、最自然的类型。它不等价于“最大类型”，而是模拟 ?:（三目运算符）的类型推导规则：比如 int 和 unsigned int 的 common_type 是 unsigned int（因为 int 可隐式转为 unsigned int，但反之不行；且 ?: 在这两者间也选 unsigned int）。
它常用于泛型函数返回类型推导、容器元素统一类型判断、或避免手动写 decltype(a + b) 这类易出错的表达式。
怎么用 std::common_type 获取多个类型的公共类型
std::common_type 是一个模板类，不是函数，必须显式指定模板参数（C++11 起支持变参）。它的成员类型 type 就是推导结果：
std::common_type 是一个模板类，不是函数，必须显式指定模板参数（C++11 起支持变参）。它的成员类型 type 就是推导结果：
正确写法：
using T = std::common_type_t<int, double, long long>; // C++14 起推荐用 _t 别名 static_assert(std::is_same_v<T, double>); // ✅ 成立：int → double，long long → double
注意点：
-
std::common_type要求所有类型两两之间存在**至少一个公共可转换目标**；否则type未定义（SFINAE 失败），编译报错 - 不能传入引用、cv 限定符或函数类型（如
int&、const char*需先 decay） - 若想处理带引用的参数，先用
std::decay_t去除引用和 cv 限定：std::common_type_t<:decay_t>, std::decay_t<t2>></t2></:decay_t> - C++17 起支持空参数列表：
std::common_type_t等价于void（极少用）
常见错误：为什么 std::common_type 编译失败
这其实是个经典陷阱：bool 和 int 之间**没有唯一的公共类型**。原因在于：
标准规定：bool → int 是提升（promotion），但 int → bool 是缩小转换（narrowing），且不可隐式进行（C++11 起禁止隐式 int→bool）。而 std::common_type 要求所有类型都可**隐式转换到结果类型**，所以两者无交集。
典型错误信息（Clang）：
立即学习“C++免费学习笔记（深入）”；
error: no type named 'type' in 'std::common_type<int, bool>'
解决办法：
- 显式 cast 其中一个值（如
static_cast<int>(b)</int>），再参与计算
- 改用
std::common_type_t<int std::decay_t>></int>（+b 把 bool 提升为 int）
- 更稳妥的做法：在泛型代码中提前约束输入类型，或用
if constexpr 分支处理
和 decltype(a + b) 比较：什么时候该用哪个
std::common_type 和 decltype(a + b) 推导逻辑不同：
decltype(a + b) 依赖具体表达式语义（如 int + unsigned → unsigned，但 int + long → long），而 std::common_type 更“保守”，只看隐式转换关系，不考虑算术运算规则。
例如：
int i = 1;
unsigned u = 2;
// decltype(i + u) → unsigned（因为算术转换规则）
// std::common_type_t<int, unsigned> → unsigned（一致）
char c = 'a';
short s = 10;
// decltype(c + s) → int（整型提升）
// std::common_type_t<char, short> → 未定义！因为 char 和 short 互不可隐式转换（都需先升为 int）
所以：
- 若你关心的是“两个变量能否安全存进同一个容器”，用
std::common_type
- 若你关心的是“它们相加后的真实类型”，用
decltype + 实际表达式
- 不要假设二者结果总是一致——尤其涉及小整型、枚举、自定义类型时
真正容易被忽略的是：common_type 不做整型提升，也不模拟运算符重载行为；它只回答“有没有一个类型，能让所有参数都安静地站进去”。一旦其中任意一对类型无法单向隐式转换，整个推导就崩了——这时候别硬扛，换思路才是正解。
bool 和 int 之间**没有唯一的公共类型**。原因在于：
标准规定：bool → int 是提升（promotion），但 int → bool 是缩小转换（narrowing），且不可隐式进行（C++11 起禁止隐式 int→bool）。而 std::common_type 要求所有类型都可**隐式转换到结果类型**，所以两者无交集。
典型错误信息（Clang）：
立即学习“C++免费学习笔记（深入）”；
error: no type named 'type' in 'std::common_type<int, bool>'
解决办法：
- 显式 cast 其中一个值（如
static_cast<int>(b)</int>），再参与计算 - 改用
std::common_type_t<int std::decay_t>></int>（+b把bool提升为int） - 更稳妥的做法：在泛型代码中提前约束输入类型，或用
if constexpr分支处理
和 decltype(a + b) 比较：什么时候该用哪个
std::common_type 和 decltype(a + b) 推导逻辑不同：
decltype(a + b) 依赖具体表达式语义（如 int + unsigned → unsigned，但 int + long → long），而 std::common_type 更“保守”，只看隐式转换关系，不考虑算术运算规则。
例如：
int i = 1; unsigned u = 2; // decltype(i + u) → unsigned（因为算术转换规则） // std::common_type_t<int, unsigned> → unsigned（一致） char c = 'a'; short s = 10; // decltype(c + s) → int（整型提升） // std::common_type_t<char, short> → 未定义！因为 char 和 short 互不可隐式转换（都需先升为 int）
所以：
- 若你关心的是“两个变量能否安全存进同一个容器”，用
std::common_type - 若你关心的是“它们相加后的真实类型”，用
decltype+ 实际表达式 - 不要假设二者结果总是一致——尤其涉及小整型、枚举、自定义类型时
