虚函数查找的规则是什么？

Question

#include <iostream>
class base
{
    public:
    virtual void print (int a)
    {   
        std::cout << "a: " << a << " base\n";
    }   
    virtual void print (int a, int b)
    {   
        std::cout << "base\n";
    }   
};

class derived : public base
{
    public:
    virtual void print (double d)
    {   
        std::cout << "derived\n";
    }   
};

int main ()
{
    int i = 10; 
    double d = 10000.0;
    base *b = new derived (); 
    b->print (i, i); 
    b->print (d);

    return 0;
}

该函数的输出是：

base
a: 10000 base

• Why b->print (d) don't invoke the导出类实现并且 对 'd' 执行静态转换以提供与基类的匹配 执行 ？
• 在虚函数查找期间应用什么规则？

Answer 1

衍生::打印不会覆盖base中的任何成员函数。它被声明为具有 double 类型的单个参数，但 base 中名为 print 的两个虚拟成员函数被声明为具有一个和两个参数int 类型。

当您使用b->print(d)时，在重载解析期间仅考虑base中的成员函数，因此仅void base::print(int)考虑 和 void base::print(int, int) 。无法找到 void衍生::print(double)，因为编译器不知道b指向衍生对象。

如果衍生要重写在base中声明为虚拟成员函数的两个print函数之一，则该重写将在运行时调用。

（在某种程度上相关的说明中，派生::print 隐藏了两个基类::print 成员函数，因此如果您尝试使用基类之一print 函数，例如 衍生().print(1, 1)，它会失败。您需要使用 using 声明来使这些成员函数在名称查找期间可用。 ）

Answer 2

重载解析发生在编译时。覆盖发生在运行时。

因此，b->print(d); 的重载决策首先发生。这会选择Base::print(int)，因为它是唯一的一个参数print。

在运行时，b 指向一个 Derived 对象，该对象没有覆盖 Base::print(int)。因此，Base::print(int) 仍然被调用。

Answer 3

因为 double 可以在它看到的第一个定义（在基类中）中自动转换为 int

请参阅 explicit 关键字或 这个问题