对象切割 和 虚函数

对象切割

简介: 当你将一个派生类对象赋值给一个基类对象时，只会保留基类部分的信息，派生类的特有信息会被丢弃。这就是所谓的对象切割（slicing）
发生时刻: 将派生类对象赋值给父类对象时, 如下

class Father{};
class Son : public Father{};
Son s;
Father f = s; 			// 发生对象切割, 只保留积累信息

与对象切割相对的虚函数表

具体介绍虚函数, 请看虚函数应用和原理
当你通过基类指针或引用调用虚函数时，最终会通过虚表来找到实际要调用的函数。

用例详解

class Base
{
public:
	virtual void f()
	{
		cout << "Base : f" << endl;
	}
};

class Derived : public Base
{
public:
	virtual void f() override
	{
		cout << "Derived : f" << endl;
	}
};

int main()
{
	Base* d = new Derived();
	d->f();							// 通过虚函数表调用了派生类自己的f函数

	Base d2 = *d;					// 发生了对象切割, d2是base对象
	d2.f();

	Base& d3 = *d;					// 基类的引用, 实际上引用的是Derived, 调用的也是派生类的虚函数表
	d3.f();

	Base* d4 = d;					// 基类的指针, 实际上指的是Derived, 调用的也是派生类的虚函数表
	d4->f();

	return 0;
}

执行结果