std::common_type推导所有参数类型两两间可隐式转换到的最窄公共类型，严格遵循c++标准转换规则而非整型提升或“最大类型”直觉；支持1–10个编译期已知类型，含void等毒类型则特化失败。
std::common_type 是什么，它到底推导出什么
它不是“取最大类型”或“自动转成 double”，而是严格按 C++ 标准的 operator, 和隐式转换规则，算出所有参数类型两两之间能共同隐式转换到的最窄类型。比如 std::common_type<int long>::type</int> 是 long，但 std::common_type<int unsigned int>::type</int> 在 ILP32 下可能是 unsigned int（因为 int 能隐式转成 unsigned int，反过来不行），这和直觉可能相反。
常见错误现象：std::common_type<char short>::type</char> 不是 int —— 它是 short（因为 char 可无损转为 short，而标准不强制提升到 int；common_type 不模拟整型提升规则，只看实际可发生的隐式转换）。
怎么用 std::common_type 推导多个模板参数的公共类型
直接传入多个类型作为模板实参，它会递归两两求交集，最终收敛到一个类型。注意：必须是编译期已知类型，不能传变量。
- 正确写法：
using T = std::common_type_t<t1 t2 t3>;</t1> - 错误写法：
std::common_type_t<decltype decltype></decltype>—— 如果a、b是运行时值，没问题；但若它们是模板形参未实例化前的占位符（如函数模板内部未指定具体类型），编译器无法推导，会报no type named 'type' in std::common_type<...></...> - 支持 1~10 个类型（C++11 起），超过需手动拆分或用折叠表达式辅助（C++17+）
为什么有时 std::common_type 编译失败
void 不能参与任何隐式转换，也不能作为 operator, 的操作数（逗号表达式要求左右操作数都有类型），所以只要列表中含 void，std::common_type 就没有合法的公共类型，特化失败。
立即学习“C++免费学习笔记（深入）”；
典型场景：你写了 std::common_type_t<decltype int></decltype>，而 func() 返回 void —— 这里 decltype(func()) 是 void，整个表达式就崩了。
- 规避方式：先用
std::is_void_v分支处理，或改用std::common_type_t<:decay_t>, int></:decay_t>（但std::decay_t<void></void>还是void，没用） - 更稳妥的做法：对可能返回
void的调用，单独判断，不要塞进common_type - 其他类似“毒类型”：
auto（非占位符）、不完整类型、抽象类类型，也会导致特化失败
和 std::common_reference 的关键区别在哪
std::common_type 只看值类别（rvalue）和隐式转换；std::common_reference（C++20）还考虑引用绑定规则，能处理 const T&、T&& 等带引用的类型。比如 std::common_type<const int>::type</const> 是 int（丢掉引用），而 std::common_reference<const int>::type</const> 是 const int&（保留最宽松的引用形式）。
如果你在泛型函数里想统一返回一个能同时绑定两个参数的引用类型（比如实现通用的 min 返回引用），别用 common_type —— 它推不出引用，也推不出 const 限定性。
- 性能影响：两者都是编译期计算，零开销
- 兼容性：`common_reference` 是 C++20 新增，老项目只能靠
common_type+ 手动加&或const修饰 - 容易踩的坑：把
common_type当作“安全的类型合并工具”用在引用场景，结果返回值被意外拷贝，或 const 正确性丢失
真正麻烦的地方在于：它不报错，只是默默给你一个看似合理、实则语义不符的类型。比如你期望返回 const double&，它却给了 double —— 这种问题往往要到运行时才发现逻辑异常。