函数重载中的隐式转换序列

Question

我不明白编译器是如何选择最好的候选者的。例如，我们有以下代码：

int function(double, int, int){...}
int function(int, double, double){...}

如果第二个函数需要转换两个变量，而第一个函数只能转换一个变量，那么为什么不选择第一个呢？为什么这是一个模棱两可的情况？

Answer 1

为什么这是一个模棱两可的情况？

根据§13.3.3/1，

给定这些定义，如果对于所有参数i，ICS i（F1）不是比ICS i（F2）更差的转换序列，则可行函数F1被定义为比另一个可行函数更好的函数

-对于某些参数j，ICS j（F1）是比ICS j（F2）更好的转换序列，或者，如果不是这样，

— [...]

因此，像函数（0., 0., 0.)这样的调用是不明确的；两个重载都没有比另一个更好的匹配。

考虑从函数调用中扣除模板参数-如果模板参数T用于多个函数参数（如T a， T b， T c）并且对于调用的两个参数，它被推断为int，但对于第三个作为双，这真的应该导致使用T=int进行成功的扣除吗？

超负荷决断不包括更好的比赛，而是决定胜负——这还不够决定性。

想象一下一个拼图游戏——如果一块拼图在两端填充得更好，但在另一端填充得更差，那么它真的更适合填补空白吗？