对象切片(object slicing)和多态

在函数传参处理多态性时,如果一个派生类对象在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++中只有虚函数、纯虚函数可以被子类重写


评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值