VS 2010：2 个重载有类似的转换

Question

我不明白这里发生了什么

class A{};
class B : A {};

void func(A&, bool){}
void func(B&, double){}

int main(void)
{
    B b;
    A a;
    bool bo;
    double d;

    func(b, bo);
}

编译时，Visual 2010 在func(b, bo); 行给我这个错误

2 overloads have similar conversions
could be 'void func(B &,double)'
or       'void func(A &,bool)'
while trying to match the argument list '(B, bool)'

我不明白为什么 bool 参数不足以解决过载问题。 我见过this question，正如在接受的答案中指出的那样，bool 应该更喜欢 bool 重载。就我而言，我看到第一个参数不足以选择好的功能，但是为什么第二个参数不能解决歧义呢？

Answer 1

重载规则比您想象的要复杂一些。您分别查看每个参数并选择该参数的最佳匹配。然后，如果恰好有一个重载为每个参数提供最佳匹配，那就是被调用的那个。在示例中，第一个参数的最佳匹配是func 的第二个版本，因为它只需要将B 转换为B&； func 的另一个版本需要将B 转换为B&，然后将B& 转换为A&。对于第二个参数，func 的第一个版本是最佳匹配，因为它不需要转换。第一个版本有第二个参数的最佳匹配，但它没有第一个参数的最佳匹配，所以不考虑它。同样，第二个版本对第一个参数有最佳匹配，但对第二个参数没有最佳匹配，因此不予考虑。现在已经没有func的版本了，调用失败了。

Answer 2

重载解决规则比 Pete Becker 写的还要复杂。 对于f的每个重载，编译器不仅会计算需要转换的参数数量，还会计算转换的等级。

排名 1

无需转换

左值到右值的转换

数组到指针的转换

函数到指针的转换

资格转换

排名 2

整体促销

浮点促销

排名 3

积分转换

浮点转换

浮点-积分转换

指针转换

指向成员转化的指针

布尔转换

假设所有候选函数都是非模板函数，一个函数当且仅当它有一个参数，该参数的排名优于其他候选者中相同参数的排名，并且其他参数的排名不差。

现在让我们看看 OP 案例。

• func(A&, bool)：第一个参数的转换 B&->A&（排名 3）， 第二个参数的完全匹配（排名 1）。
• func(B&, double)：第一个参数完全匹配（排名 1），第二个参数转换 bool->double（排名 3）。

结论：没有人获胜。