什么是对象切片？

如果您有基类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都会丢失).

这些都是很好的答案.我想在按值和引用传递对象时添加一个执行示例:

#include 

using namespace std;

// Base class
class A {
public:
    A() {}
    A(const A& a) {
        cout << "'A' copy constructor" << endl;
    }
    virtual void run() const { cout << "I am an 'A'" << endl; }
};

// Derived class
class B: public A {
public:
    B():A() {}
    B(const B& a):A(a) {
        cout << "'B' copy constructor" << endl;
    }
    virtual void run() const { cout << "I am a 'B'" << endl; }
};

void g(const A & a) {
    a.run();
}

void h(const A a) {
    a.run();
}

int main() {
    cout << "Call by reference" << endl;
    g(B());
    cout << endl << "Call by copy" << endl;
    h(B());
}

输出是:

Call by reference
I am a 'B'

Call by copy
'A' copy constructor
I am an 'A'

谷歌"C++切片"的第三场比赛给了我这篇维基百科文章http://en.wikipedia.org/wiki/Object_slicing和这个(加热,但前几个帖子定义了问题):http://bytes.com/论坛/ thread163565.html

所以当你将一个子类的对象分配给超类时.超类对子类中的附加信息一无所知,也没有足够的空间来存储它,因此附加信息会被"切掉".

如果这些链接没有为"正确答案"提供足够的信息,请编辑您的问题,让我们知道您还在寻找什么.

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

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

在C++中,派生类对象可以分配给基类对象,但另一种方法是不可能的.

class Base { int x, y; };

class Derived : public Base { int z, w; };

int main() 
{
    Derived d;
    Base b = d; // Object Slicing,  z and w of d are sliced off
}

当派生类对象被分配给基类对象时,会发生对象切片,派生类对象的其他属性将被切除以形成基类对象.

C++中的切片问题源于其对象的值语义,这主要是由于与C结构的兼容性.您需要使用显式引用或指针语法来实现在执行对象的大多数其他语言中找到的"正常"对象行为,即,对象始终通过引用传递.

简短的答案是通过按值将派生对象分配给基础对象来切片对象,即剩余对象只是派生对象的一部分.为了保留价值语义,切片是一种合理的行为,并且具有相对罕见的用途,这在大多数其他语言中是不存在的.有些人认为它是C++的一个特性,而许多人认为它是C++的怪癖/错误特征之一.

那么......为什么丢失衍生信息不好？...因为派生类的作者可能已经更改了表示,因此切掉额外信息会更改对象所表示的值.如果派生类用于缓存对某些操作更有效但对转换回基本表示而言代价高的表示,则会发生这种情况.

还想到有人还应该提到你应该做些什么以避免切片......获取C++编码标准,101规则指南和最佳实践的副本.处理切片是#54.

它提出了一个有点复杂的模式来完全处理这个问题:拥有一个受保护的复制构造函数,一个受保护的纯虚拟DoClone,以及一个带有断言的公共克隆,它将告诉您(某个)派生类是否未能正确实现DoClone.(克隆方法对多态对象进行了适当的深层复制.)

您还可以在基本显式标记复制构造函数,如果需要,可以显式切片.

1.切片问题的定义

如果D是基类B的派生类,则可以将Derived类型的对象分配给Base类型的变量(或参数).

例

class Pet
{
 public:
    string name;
};
class Dog : public Pet
{
public:
    string breed;
};

int main()
{   
    Dog dog;
    Pet pet;

    dog.name = "Tommy";
    dog.breed = "Kangal Dog";
    pet = dog;
    cout << pet.breed; //ERROR

尽管允许上述赋值,但分配给变量pet的值会丢失其品种字段.这称为切片问题.

2.如何修复切片问题

为了解决这个问题,我们使用指向动态变量的指针.

例

Pet *ptrP;
Dog *ptrD;
ptrD = new Dog;         
ptrD->name = "Tommy";
ptrD->breed = "Kangal Dog";
ptrP = ptrD;
cout << ((Dog *)ptrP)->breed; 

在这种情况下,ptrD(后代类对象)指向的动态变量的数据成员或成员函数都不会丢失.另外,如果需要使用函数,该函数必须是虚函数.