对象切片(object slicing)和多态

Posted 2022-05-31 爆米花好美啊

在函数传参处理多态性时，如果一个派生类对象在UpCasting时，用的是传值的方式，而不是指针和引用，那么，这个派生类对象在UpCasting以后，将会被slice成基类对象。https://www.zhihu.com/question/30570897/answer/48574116

https://blog.csdn.net/beckle_ye/article/details/4700612
我的理解是：这个对象将被”分割”成只剩下与目的类型（即：转换以后的类型）相匹配的子对象（即：成员变量和函数）
这句话的意思也就是说：在函数传参处理多态性时，如果一个派生类对象在UpCasting时，用的是传值的方式，而不是指针和引用，那么，这个派生类对象在UpCasting以后，将会被slice（切分）成基类对象，也就是说，派生类中独有的成员变量和方法都被slice掉了，值剩下和基类相同的成员变量和属性。这个派生类对象被切成了一个基类对象。

class Father
public:
    virtual void info()
        cout<<"father"<<endl;
    
;
class Son: public Father
public:
    void info()
        cout<<"son"<<endl;
    
;
int main() 
    Father f1 = Son(); // 栈中分配，由操作系统进行内存的分配和管理
    f1.info();  // cout: father 没有了多态
    Father* f2 = new Son(); // 堆中分配，由管理者进行内存的分配和管理，用完必须delete()，否则可能造成内存泄漏
    f2->info();  // cout: son
    Son s = Son();
    Father& f3 = s;
    f3.info(); // cout: son
	return 0;

解释为什么必须使用指针或者引用来实现多态

• 使用对象时，默认的赋值运算符并不会操作虚函数表，成员函数的调用派遣是由编译器确定后硬编码进程序的，没有经过虚函数表。

纯虚函数存在的一个重要意义：避免对象切片。编译器不允许程序 Father f = Son(); 或者Father f; f = Son(); 带有纯虚函数的类被称为抽象类，抽象类无法被实例化

Java vs C++

https://blog.csdn.net/tham_/article/details/44906571
C++中:

Student student(20) ; //这里student是引用 对象分配在 栈空间中,这里只是我的理解

Student *student = new Student(20); //这里student是指针,new Student(20)是分配在堆内存空间的

但是在Java中
Student student(20) ; //注意:java中没有这样实例化对象的, 要想得到一个对象 必须要new出来.

Student student ; //这个只是定义了一个引用 ,没有指向任何对象

Student student = new Student(20); //定义了一个引用,指向堆内存中的student对象

C++虚函数 == Java普通函数
C++纯虚函数 == Java抽象函数
C++抽象类 == Java抽象类
C++虚基类 == Java接口

C++里面要实现多态，必须使用虚/纯虚函数+指针/引用，因为在C++中只有虚函数、纯虚函数可以被子类重写

---

• C++中为什么要用虚函数、指针或引用才能实现多态？
• 什么是对象切片(Object Slicing)?