std::common_type用于推导多个类型的公共可隐式转换类型，即所有参数能无损转换成的最窄共同类型；它基于C++标准转换规则递归推导，不考虑用户定义转换，适用于泛型函数返回值类型约束。
std::common_type 是做什么的？
它用来求多个类型的「公共可隐式转换类型」，也就是所有参数类型都能无损转成的那个最窄的共同类型。不是取最大类型，也不是简单选 long long，而是按 C++ 标准转换规则（如整型提升、算术转换）推导出那个能容纳所有输入且不丢失精度的类型。
什么时候必须用 std::common_type？
常见于泛型函数返回值类型推导，尤其是需要对不同数值类型做统一运算并返回合理结果时。比如写一个通用的 minmax 或加法包装器，输入可能是 int 和 unsigned int，直接用 auto 可能推成 int 导致负数截断——这时就得靠 std::common_type 显式约束返回类型。
- 不能依赖
decltype(a + b)：它受运算符重载影响，且对用户自定义类型可能不适用 - 不能硬写
long long：浪费空间，且对浮点/自定义类型无效 -
std::common_type_t<t u></t>是 C++14 起推荐写法，比typename std::common_type<t u>::type</t>更简洁
std::common_type 的实际行为和陷阱
它的推导基于内置转换规则，但容易被忽略的是：它只考虑「标准转换序列」，不触发用户定义的转换构造函数或转换运算符。也就是说，哪怕你写了 operator double()，std::common_type<mytype double></mytype> 也不会自动用它。
-
std::common_type<int unsigned int>::type</int>→unsigned int（因为int可隐式转为unsigned int，反之不行） -
std::common_type<float double>::type</float>→double -
std::common_type<:string const char>::type</:string>→ 无定义（没有公共类型，编译失败） - 传入三个及以上类型时，会两两递归求公共类型：
std::common_type<a>::type</a>等价于std::common_type<:common_type_t>, C>::type</:common_type_t>
一个安全的泛型加法示例
下面这个函数模板避免了隐式转换导致的截断问题，同时支持自定义类型（只要它们之间有标准转换）：
立即学习“C++免费学习笔记（深入）”；
template <typename T, typename U>
std::common_type_t<T, U> safe_add(T a, U b) {
return static_cast<std::common_type_t<T, U>>(a) +
static_cast<std::common_type_t<T, U>>(b);
}
调用 safe_add(42, 42u) 返回 unsigned int；调用 safe_add(1.5f, 2) 返回 float。但如果传入无法转换的类型（比如 std::vector<int></int> 和 int），编译就直接报错，而不是静默降级。
真正难处理的是混合有符号/无符号整型边界情况，比如 int 和 size_t 在 32 位系统上可能推成 unsigned long，但开发者往往没意识到这会让负数变成极大正数——这种隐含语义风险，std::common_type 不会帮你规避，只能靠测试和类型约束文档来补足。
