5

我已经阅读了关于 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
4

2 回答 2

2

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

您应该避免切片 - 这可能很危险（请参阅此答案以获取解释）。现在你知道了这个术语，你会很容易找到大量关于对象切片的阅读......

于 2015-06-30T09:12:19.280 回答
0 
Base B3;
D1 Derived;
B3=Derived;  //There is called default assignment operator

它是这样定义的：

Base& operator=(const Base &objectToCopy) {...}

运算符接受类型的参数Base，因此类型的对象D1被视为类型的对象Base。这意味着赋值运算符只能看到Derived属于 class的字段Base。然而，指针vtable（从技术上讲是一个隐藏字段）仍然没有被复制，因为它总是在构造函数中创建并且它与真实的对象类型永久关联。

于 2015-06-30T09:19:03.050 回答