旧式枚举与整数类型的C++重载决议行为一致性问询

先来看你给出的测试代码：

#include <iostream>
using namespace std;
enum myEnum { a, b, c };
void test(myEnum e) { cout << "myEnum overload" << endl; }
void test(unsigned int i) { cout << "unsigned int overload" << endl; }
int main() {
    test(a);
    test(1);
    test(1u);
    return 0;
}

（注：已知enum class在此场景下更安全，但当前使用的开源代码采用旧式枚举）

用g++ 4.4.7编译运行后，输出如下：

myEnum overload
unsigned int overload
unsigned int overload

你提到的两个核心疑问，咱们逐个拆解：

1. 旧式枚举的隐式转换方向 #

C++标准对旧式枚举（非强类型枚举enum class）的转换规则有明确规定：

• 允许从枚举值隐式转换到整数类型：旧式枚举的枚举成员可以自动转换为其底层整数类型（或更大范围的整数类型），这是标准明确支持的行为。比如代码里的test(a)，a作为枚举值会直接匹配myEnum参数的重载，同时它也能被传递给接受整数的函数。
• 禁止从整数类型隐式转换到旧式枚举：反过来，哪怕整数的值正好对应某个枚举成员的数值，也不能直接隐式转换为枚举类型，必须通过显式强制转换（比如static_cast<myEnum>(1)）才行。这就是你注释掉unsigned int重载后编译器报错的原因——此时没有匹配的重载，编译器尝试把int/unsigned int转成myEnum，但这种隐式转换完全不被标准允许。

2. 重载决议的行为是否有标准保障 #

回到最初的重载场景，为什么test(1)会优先匹配unsigned int重载，而不是尝试转成myEnum？
这完全符合C++重载决议的优先级规则：

• 对于test(1)，参数类型是int：
  1. 首先查找直接匹配的重载——没有test(int)，因此进入隐式转换匹配阶段；
  2. 把int转换为unsigned int属于标准整数转换，是合法且优先级较高的转换选项；
  3. 而把int转换为myEnum的隐式转换本身是被禁止的，编译器根本不会将这个选项纳入考虑范围；
• 因此，唯一可行的匹配就是test(unsigned int)，这就是你看到对应输出的原因。

哪怕旧式枚举的底层类型被编译器选为int，这个结果也不会改变——因为从整数到枚举的隐式转换本身就不被允许，重载决议永远不会考虑这条路。所以你观察到的重载行为是完全受标准保障的，不会因为编译器的底层类型选择而出现差异。

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