c++ - 使用基对象和派生对象的虚函数

Question

我已经阅读了有关 vtable 的内容，并理解了指向基类和派生类对象的基类指针的概念。有人可以解释当基类和派生类都是对象并且派生类对象被分配给基类对象时如何创建 vtable 的情况。以下示例中的情况 3

#include <iostream>
#include <exception>
using namespace std;


class Base
{
public:
    virtual void function1() { cout<<"Base - func1"<<endl; }
    virtual void function2() { cout<<"Base - func2"<<endl; }
};

class Derived1: public Base
{
public:
    virtual void function1() { cout<<"Derived1 - func1"<<endl; }
};

class Derived2: public Base
{
public:
    virtual void function2() { cout<<"Derived2 - func2"<<endl; }
};

int main () 
{
    // Case 1
    Base* B1 = new Derived1();
    B1->function1();
    B1->function2();

    // Case 2
    cout<<endl;
    Base* B2 = new Derived2();
    B2->function1();
    B2->function2(); 

    // Case 3
    cout<<endl;
    Base B3;
    Derived1 D1;
    B3=D1;
    B3.function1();
    B3.function2(); 
}

输出:

Derived1 - func1
Base - func2

Base - func1
Derived2 - func2

Base - func1
Base - func2

Answer 1

B3=Derived; 是对象切片的一个例子...只分配给基类数据成员，vtable指针继续指向基类类函数。

你应该避免切片 - 它可能很危险(参见 this answer 的解释)。现在你知道这个术语了，你会很容易找到大量关于对象切片的读物....