什么是对象切片？

Question

有人在IRC中提到它作为切片问题。

Answer 1

“切片”是指将派生类的对象分配给基类实例的位置，从而丢失部分信息 - 其中一些信息被“切片”掉。

例如，

class A {

   int foo;

};

class B : public A {

   int bar;

};

所以类型的对象B有两个数据成员，foo和bar。

然后，如果你写这个：

B b;

A a = b;

然后b关于成员的信息bar丢失了a。

Answer 2

如果您有基类A和派生类B，则可以执行以下操作。

void wantAnA(A myA)

{

   // work with myA

}

B derived;

// work with the object "derived"

wantAnA(derived);

现在该方法wantAnA需要一份副本derived。但是，该对象derived无法完全复制，因为该类B可能会发明不在其基类中的其他成员变量A。

因此，要调用wantAnA，编译器将“切掉”派生类的所有其他成员。结果可能是您不想创建的对象，因为

它可能不完整，

它的行为就像一个对象A（该类的所有特殊行为B都会丢失）。

Answer 3

切片问题很严重，因为它可能导致内存损坏，并且很难保证程序不会受到影响。要使用该语言进行设计，支持继承的类应该只能通过引用访问（而不是通过值）。D编程语言具有此属性。

考虑A类，从B派生B类。如果A部分有一个指针p，则会发生内存损坏，而B实例将p指向B的附加数据。然后，当附加数据被切掉时，p指向垃圾。