对象切片发生在派生类对象赋值给基类对象时,导致派生部分丢失;应使用引用或指针避免值传递,如函数参数用const Base&或Base*,容器用std::unique_ptr等智能指针存储,同时删除基类拷贝构造函数并声明虚析构函数以确保多态安全。

在C++中,对象切片(Object Slicing)通常发生在派生类对象被赋值或传递给基类对象时,由于值拷贝导致派生类特有的数据成员被“切掉”,只保留基类部分。这会引发数据丢失和多态行为失效。要避免对象切片,关键在于避免使用值传递或值存储的方式处理多态类型。
使用指针或引用代替值传递
对象切片最常出现在函数参数传递或容器存储中使用了基类的值类型。解决方法是改用指针或引用:
- 函数参数应使用基类的const Base&或Base*,而不是Base
- 这样可以保留原始对象的完整类型信息,避免复制时发生切片
void process(const Shape& shape) { // 使用引用
shape.draw();
}
使用智能指针管理多态对象
当需要在容器中存储不同类型的派生类对象时,应使用指针而非对象值:
- 使用std::unique_ptr
或std::shared_ptr 来保存对象 - 这样既能避免切片,又能自动管理内存
std::vector<:unique_ptr>> shapes;
shapes.push_back(std::make_unique
禁止拷贝基类(可选策略)
如果基类本就不该被复制(常见于多态类),可以通过删除拷贝构造函数和赋值操作符来防止误用:
立即学习“C++免费学习笔记(深入)”;
- 将基类的拷贝操作设为delete
- 强制用户使用指针或引用
public:
virtual ~Shape() = default;
Shape(const Shape&) = delete;
Shape& operator=(const Shape&) = delete;
};
虚函数与多态设计配合使用
确保基类析构函数为virtual,否则通过基类指针删除派生类对象会导致未定义行为:
- 多态类必须有虚析构函数
- 结合指针使用才能安全释放资源
基本上就这些。只要记住:涉及多态时,别用值传递、别存值到容器、用指针或引用,就能有效避免对象切片问题。











