C++如何推导重载函数？C++98下pow(4,3)为何能正常编译？

问题1：为什么pow(4, 3)在C++98模式下编译无歧义？ #

你列举的5个重载其实包含了C11才正式标准化的整数指数版本，纯C98标准的pow只有3个同参数类型的重载：

double pow (double base, double exponent);
float pow (float base, float exponent);
long double pow (long double base, long double exponent);

你编译时看到的额外两个带int指数的重载，是编译器为了性能做的C98扩展实现。
之所以没有歧义，核心是符合C重载决议的两个规则：

1. 优先选择转换代价更低的候选：带int指数的重载，第二个参数3是int类型，属于精确匹配，转换代价远低于把int转为浮点类型的代价，所以首先淘汰掉3个同参数类型的重载。
2. 同转换代价的候选优先匹配默认浮点类型：剩下的double pow(double, int)和long double pow(long double, int)两个候选，第一个参数int转double和转long double属于同等级的整数转浮点转换，但double是C++的默认浮点类型，标准规定这种场景下优先选择double版本的重载，因此不会出现歧义。

问题2：调用pow(4, 3ll)时的重载决议逻辑 #

3ll是long long类型的整数字面量，决议逻辑如下：

1. 首先评估带int指数的重载：第二个参数long long转int属于整数截断转换，和转浮点类型的转换等级相同，没有代价优势。
2. 评估三个同参数类型的重载：
   • float版本需要两个参数都转float，long long转float的精度损失风险更高，优先级低于double版本。
   • long double版本需要两个参数都转long double，不是默认浮点类型，优先级低于double版本。
3. 最终会选择double pow(double, double)这个重载，两个参数分别做int→double和long long→double的标准转换。

如果你的编译器开启了额外的重载扩展，也可能匹配到扩展提供的double pow(double, long long)这类重载，但决议逻辑依然遵循转换代价优先、默认浮点类型优先的规则。

问题3：「pow底层实现不公开就无法分析重载决议」的说法是否正确？ #

完全错误。
重载决议是纯编译期行为，完全由C++标准规定的决议规则、以及头文件中公开的函数重载声明决定，和函数的底层实现（函数体的二进制代码、内部逻辑）没有任何关系。只要能拿到头文件中的重载声明，就可以按照标准规则准确推导出来最终选择的重载版本，不需要知道函数的内部实现。

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