C++如何使用std::common_type获取共同类型-C++-PHP中文网

std::common_type 是c++标准库中用于推导多个类型经标准隐式转换后共同类型的别名模板，解决二元操作符操作数类型统一问题；它仅考虑标准转换序列，不支持用户定义转换或运行时擦除，需用::type或_t提取结果。

c++如何使用std::common_type获取共同类型

std::common_type 是什么，它解决什么问题

std::common_type 用来推导多个类型在隐式转换后能共同归属的“最自然”的类型，比如 int 和 unsigned int 的共同类型通常是 unsigned int（因为 int 可隐式转为它，而反向不行）；又比如 short 和 long long 推导出的是 long long。它不是求“最小公倍类型”，而是模拟 C++ 表达式中二元操作符（如 +、?:）左右操作数统一后的结果类型。

注意：它只考虑标准隐式转换序列，不涉及用户定义转换函数或构造函数（除非是 explicit 以外的转换构造函数且满足条件），也不做模板特化干预 —— 这点常被误以为可“自定义”。

怎么正确调用 std::common_type

调用方式只有两种合法形式：

std::common_type<t1 t2></t1>：适用于两个类型
std::common_type<t1 t2 ... tn></t1>：C++14 起支持三个及以上类型（会两两归约，等价于 std::common_type<:common_type>::type, T3>::type</:common_type>）

关键点：

它是一个类型别名模板，不是函数，所以必须用 ::type 或 using 提取结果类型
不能直接写 std::common_type<int double>(x, y)</int> —— 那是误当函数用了
若类型间无法形成公共类型（例如 std::unique_ptr<int></int> 和 int* 无隐式转换关系），则 std::common_type<...>::type</...> 是未定义的，SFINAE 下会导致编译失败

常见写法示例：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

#include <type_traits>
using t1 = std::common_type_t<int unsigned>;        // unsigned int
using t2 = std::common_type_t<char short long>;    // long
using t3 = std::common_type_t<double float>;        // double
</double></char></int></type_traits>

为什么有时候 std::common_type 推不出预期类型

这不是 bug，而是它严格遵循 C++ 标准转换规则。典型意外场景：

std::common_type<int bool>::type</int> 是 int，因为 bool → int 是标准提升，但 int → bool 是窄化转换（不参与 common_type）
std::common_type<signed char unsigned>::type</signed> 在多数平台是 int（整型提升优先于无符号扩展）
涉及自定义类时，仅当存在非 explicit 的单参数构造函数或转换函数，且该路径唯一、无歧义，才可能参与；否则退为 void（C++17 后）或编译错误

容易踩的坑：

把 std::common_type 当作“类型合并工具”来处理 std::variant 或 std::any 场景 —— 它不负责运行时类型擦除
期望它理解数值范围（比如认为 uint8_t 和 int16_t 的共同类型应是 int16_t），但它只看转换可行性，不比较位宽或安全边界
忘记加 _t 后缀或 ::type，导致编译器报错类似 “std::common_type<int double></int> is not a type”