std::common_type用于静态推导多个类型的公共可转换类型，如int与double混合运算时推导为double；它只接受类型而非值，需用typename t::type或c++14的std::common_type_t获取结果，不依赖运行时计算且不考虑自定义转换。
std::common_type 是干啥的？
它解决的是“多个类型一起运算时，结果该是什么类型”这个问题。比如你写了个模板函数，想支持 int 和 double 混合加法，编译器没法自己猜出你希望返回 double 而不是报错——std::common_type 就是来明确告诉编译器这个“公共类型”该是啥。
怎么用？常见错误在哪？
最常错的是直接传值或没展开参数包。它只接受类型（不是值），而且 C++11 起支持变参，但得用 typename 和 ::type 取出结果类型：
- 错：
std::common_type(1, 3.14)—— 这是调用函数，但它是个类模板，不是函数 - 错：
std::common_type<int double>::value</int>—— 没这成员，正确是::type - 对：
using T = typename std::common_type<int double>::type;</int>→T是double - 对（C++14+）：
using T = std::common_type_t<int double>;</int>—— 更简洁
和 auto、decltype 有啥区别？
auto 看的是表达式实际计算后的类型（比如 1 + 3.14 算出来是 double），而 std::common_type 是纯静态推导，不依赖具体值，也不执行运算。它更接近“如果真要算，按标准转换规则该升成啥”。
- 场景差异：
std::common_type适合写泛型容器接口、类型擦除前的类型协商；decltype更适合封装已有表达式逻辑 - 坑点：它不考虑用户自定义转换操作符，只走内置整型提升、浮点升级、类类型派生关系这些标准隐式转换路径
- 举个例子：
std::common_type<:String const char>::type</:string>不是std::string，而是未定义（因为无内置转换），会编译失败
兼容性和替代方案要注意什么？
C++11 就有，但早期实现（如 GCC 4.7）对类类型支持不全；C++17 开始要求必须处理所有标准转换组合。如果你发现推导失败，大概率是两个类型之间没有单向隐式转换链。
立即学习“C++免费学习笔记（深入）”；
- 替代思路：用
std::declval+decltype模拟二元运算（比如decltype(std::declval<t>() + std::declval<u>())</u></t>），但这依赖运算符重载是否存在 - 性能无关：它纯编译期计算，零开销
- 真正容易被忽略的是：它不保证可构造性——就算推导出
double，也不能假设T{}能默认构造，别把它当std::common_type_t<t>{}</t>的安全兜底