c++中的对象切片(slicing)问题是什么？ (多态陷阱)

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

什么是对象切片（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 时会警告：

warning: object of type 'Derived' will be sliced when initializing an object of type 'Base'

• Clang 默认启用该警告；GCC 需显式加 -Wslicing
• 注意：仅对直接初始化/赋值生效，函数传参中的隐式转换可能逃逸检测
• 更可靠的方式是把基类的拷贝构造函数和 operator= 设为 delete（尤其当基类设计为多态接口时）

切片问题常在接口设计初期被忽略，等逻辑变复杂、虚函数行为异常时才暴露——它不崩溃，只是悄悄返回错误结果。