c++ - 混淆是指针和虚函数的内存分配

Question

我阅读了有关虚函数的内容，但我无法弄清楚这个概念。在下面提到的示例中。我们正在创建一个基指针并首先分配基对象，调用函数是基类，然后分配派生对象并调用其函数。既然我们已经提到将分配哪些对象，编译器是否知道在编译期间调用哪个对象函数？我不明白为什么决定会延迟到运行时。我在这里遗漏了什么吗？

#include <iostream>
using std::cout;
using std::endl;

// Virtual function selection
class Base
{
public:
   virtual void print() const
   { 
      cout << "Inside Base" << endl; 
   }
};

class Derived : public Base
{
public:
   // virtual as well
   void print() const
   { 
      cout << "Inside Derived" << endl; 
   }
};

int main()
{
   Base b;
   Derived f;

   Base* pb = &b;  // points at a Base object
   pb->print();    // call Base::print()

   pb = &f;        // points at Derived object
   pb->print();    // call Derived::print()
}

Answer 1

在您的特定情况下，编译器可能会找出基类指针指向的对象的类型。但是虚拟调度机制是为你在编译时没有这些信息的情况而设计的。例如，

int n;
std::cin >> n;

Base b;
Derived d;

Base* pb = n == 42 ? &b : &d;

在这里，选择是根据用户输入做出的。编译器不知道 pb 将指向什么。