对象切片是指派生类对象以值传递或赋值方式转为基类对象时,其独有成员和虚函数表信息被丢弃,仅保留基类部分;这虽非编译错误,但会破坏多态,导致虚函数调用永远无法进入派生类实现。

什么是对象切片(Object Slicing)
对象切片发生在用值传递(或赋值)方式将派生类对象传给基类对象时,派生类中**独有的成员变量和虚函数表信息被直接丢弃**,只保留基类部分。这不是编译错误,但会彻底破坏多态行为——你拿到的只是一个“削平了”的基类副本。
为什么 Base b = Derived{}; 会导致切片
这行代码触发的是基类 Base 的拷贝构造函数(或默认构造 + 赋值),编译器只按 Base 的大小和布局复制内存。派生类新增的字段、重写的虚函数指针,全部不在拷贝范围内。
- 即使
Base有虚函数,b的虚表指针也指向Base的实现,不是Derived的 - 如果
Derived新增了int extra_data;,它在b中根本不存在 - 切片后调用
b.func()永远不会进入Derived::func(),哪怕它是virtual
如何避免切片:只用引用或指针
多态的正确载体是 Base& 或 Base*,它们不复制对象,只保存地址,从而维持完整的运行时类型信息。
Derived d; Base& ref = d; // 安全:ref 绑定到 d,虚调用走 d 的虚表 Base* ptr = &d; // 安全:ptr 指向 d,动态绑定有效 Base b = d; // 危险:发生切片,b 是独立的 Base 对象
- 函数参数必须声明为
const Base&或Base*,而非Base - 容器若需存多态对象,不能用
std::vector,应改用std::vector<:unique_ptr>>或std::vector - 返回局部派生类对象?别返回
Base值,改用std::unique_ptr
编译器能帮你发现切片吗
大多数编译器默认不报错,但 Clang 和 GCC 在开启 -Wslicing 时会警告:
立即学习“C++免费学习笔记(深入)”;
warning: object of type 'Derived' will be sliced when initializing an object of type 'Base'
- Clang 默认启用该警告;GCC 需显式加
-Wslicing - 注意:仅对直接初始化/赋值生效,函数传参中的隐式转换可能逃逸检测
- 更可靠的方式是把基类的拷贝构造函数和
operator=设为delete(尤其当基类设计为多态接口时)
切片问题常在接口设计初期被忽略,等逻辑变复杂、虚函数行为异常时才暴露——它不崩溃,只是悄悄返回错误结果。











