对象切片（Object Slicing）

王成长

已于 2024-08-13 17:37:30 修改

阅读量343

点赞数 5

分类专栏： C++ 学习文章标签：开发语言 c++

于 2024-08-13 17:37:03 首次发布

本文链接：https://blog.csdn.net/weixin_45355799/article/details/141169438

版权

C++ 学习专栏收录该内容

34 篇文章 0 订阅

订阅专栏

对象切片（Object Slicing）是C++中一个重要且需要注意的问题，它发生在将派生类对象赋值给基类对象时。切片问题会导致派生类对象中特有的数据成员和方法被丢弃，只保留基类部分，从而造成信息丢失。

对象切片的基本概念

对象切片发生在以下两种情况中：

赋值：将派生类对象赋值给基类对象。
值传递：将派生类对象按值传递给一个期望基类对象的函数参数或返回值。

在这些情况下，派生类的特有部分（即派生类新增的数据成员和方法）会被切掉，导致只剩下基类的部分。

示例代码

#include <iostream>

class Base {
public:
    int baseValue;

    Base(int v = 0) : baseValue(v) {}
    
    virtual void display() const {
        std::cout << "Base value: " << baseValue << std::endl;
    }
};

class Derived : public Base {
public:
    int derivedValue;

    Derived(int b, int d) : Base(b), derivedValue(d) {}

    void display() const override {
        std::cout << "Base value: " << baseValue << ", Derived value: " << derivedValue << std::endl;
    }
};

int main() {
    Derived d(1, 2);
    Base b = d;  // 对象切片发生
    
    b.display();  // 只能显示Base部分，Derived部分丢失

    return 0;
}

运行结果

Base value: 1

在上述代码中：

Derived 类继承了 Base 类，并增加了一个数据成员 derivedValue。
在 main() 函数中，将一个 Derived 对象 d 赋值给 Base 对象 b。此时发生了对象切片，b 只包含 Base
类的部分，即 baseValue，而 derivedValue 被切掉。
调用 b.display() 只显示 Base value: 1，而 Derived 类特有的 derivedValue
没有显示，因为它在切片过程中丢失了。

为什么会发生切片

C++中，对象是按值进行复制的。当派生类对象赋值给基类对象时，编译器只复制基类部分，因为基类对象不知道派生类的存在。基类对象只能包含基类自己的数据成员和方法，而不会保存派生类中新增的内容。

避免对象切片的方法

1. 使用引用或指针：

使用基类的引用或指针来指向派生类对象，可以避免对象切片，因为引用和指针不会创建新的对象副本，而是引用或指向原来的派生类对象。

Base& ref = d;
ref.display();  // 会调用Derived::display()，因为ref实际引用的是Derived对象

Base* ptr = &d;
ptr->display();  // 同样会调用Derived::display()

使用智能指针：

在现代C++中，使用智能指针（如std::shared_ptr或std::unique_ptr）来管理动态分配的对象，避免切片问题的同时，简化内存管理。

std::shared_ptr<Base> ptr = std::make_shared<Derived>(1, 2);
ptr->display();  // 调用Derived::display()

按值传递时使用虚拟拷贝（Clone Pattern）：

在需要按值传递派生类对象时，可以使用虚拟拷贝（克隆）模式，通过在基类中定义一个虚函数来进行深拷贝，返回派生类的完整副本。

class Base {
public:
    virtual Base* clone() const {
        return new Base(*this);
    }
    //...
};

class Derived : public Base {
public:
    Base* clone() const override {
        return new Derived(*this);
    }
    //...
};