编译C++重载函数时，有符号与无符号整数提升行为为何不同？属预期行为吗？

先看你给出的示例代码：

unsigned int fail(unsigned int a) { return a; }
unsigned int fail(unsigned short a) { return a; }
int pass(int a) { return a; }
int pass(short a) { return a; }
int main(){
    unsigned char a;
    char b;
    fail(a); // 歧义错误
    pass(b); // 正常匹配
    return 0;
}

这是个非常典型的C++重载决议问题，核心在于整数提升规则和重载匹配优先级的细节，完全是标准规定的预期行为，咱们一步步拆解：

先明确核心逻辑：整数提升是重载匹配的前置步骤 #

C++标准规定，在进行重载函数匹配之前，所有整数类型的实参都会先执行整数提升——这是优先级最高的隐式转换，没有任何其他转换能跳过这一步。

有符号小整数的提升（对应pass(b)的无歧义情况） #

对于char、signed char、short这类有符号小整数：
只要int类型能容纳该类型的所有取值（在绝大多数现代系统里，int是32位，char是8位，肯定满足这个条件），就会直接提升为int。

所以你调用pass(b)时，char b先被提升为int，此时看pass的两个重载：

• pass(int)：实参类型就是int，属于精确匹配，优先级最高
• pass(short)：需要把int再转换成short，属于“积分转换”，优先级远低于精确匹配

编译器自然会直接选中pass(int)，完全没有歧义。

无符号小整数的提升（对应fail(a)的歧义情况） #

这就是问题的关键！对于unsigned char、unsigned short这类无符号小整数，提升规则分两种情况：

1. 如果int能容纳该无符号类型的所有取值（还是拿常见的32位int+8位unsigned char来说，unsigned char最大值255远小于int的最大值2^31-1），那么会提升为int（注意，是int，不是unsigned int！）
2. 只有当int无法容纳该无符号类型的所有值时（比如某个奇葩系统里int是8位），才会提升为unsigned int

现在看fail(a)的情况：unsigned char a先被提升为int，此时要匹配fail的两个重载：

• fail(unsigned int)：需要把int转换成unsigned int，属于“积分转换”
• fail(unsigned short)：需要把int转换成unsigned short，同样属于“积分转换”

这两个转换的优先级是完全相同的！编译器无法判断哪个重载更“合适”，所以就会抛出歧义错误。

总结：这确实是预期行为 #

这种差异完全符合C++标准的规定，本质是有符号/无符号小整数的提升结果不同，导致后续重载匹配的转换优先级出现差异：

• 有符号小整数提升后直接命中int重载，无歧义
• 无符号小整数提升为int后，到两个无符号重载的转换等级相同，引发歧义

如果想解决fail(a)的歧义，你可以：

• 新增一个unsigned char版本的fail（精确匹配，优先级最高）
• 或者显式转换实参类型，比如fail(static_cast<unsigned int>(a))

内容的提问来源于stack exchange，提问作者Matthew Milford