对象切片，有利吗？

Question

对象切片是当一个子类被分配给基类时，对象失去其某些属性或函数的一些东西。 有些东西一样

Class A{ 

} 
Class B extends A{ 

} 

Class SomeClass{ 
A a = new A(); 
B b = new B(); 

// Some where if might happen like this */ 
a = b; (Object slicing happens) 

} 

我们说对象切片在任何方面任何有益？ 如果是的话，任何人都可以告诉我，对象切片是如何在开发中有帮助的，以及它可能有帮助吗？

Answer 1

在C++中，您应该将对象片段视为从派生类型到基类型[*]的转换。一个全新的物体被创造出来，它“受到真实故事的启发”。

有时候，这是你想要做的事情，但结果与原来的东西没有任何意义上的相同。当对象切片出错时，人们不注意，并认为它是同一个对象或它的副本。

这通常是不利的。事实上，当人们通过参考传递有价值信息时，通常会意外地发生。

很难想出什么时候切片确实是正确的事情的例子，因为很难（特别是在C++中）想出一个非抽象基类明确是正确的例子要做的事。这是一个重要的设计要点，而不是轻描淡写的 - 如果你发现自己有意或无意地切片了一个对象，很可能你的对象层次结构在开始时是错误的。基类不应该被用作基类，否则它应该至少有一个纯虚函数，因此不能被分片或按值传递。所以，我给出的任何一个对象转换为其基类对象的例子，都会引起异议，“等一下，你从一个具体的类继承了什么？” 。如果切片是偶然的，那么它可能是一个错误，如果它是故意的，那么它可能是“代码味道”。

但答案可能是“是的，OK，这不应真正的东西是如何结构化的，但考虑到他们被结构这种方式，我需要从派生类转换为基类，而且根据定义是一个切片“。本着这一精神，这里有一个例子：现在

struct Soldier { 
    string name; 
    string rank; 
    string serialNumber; 
}; 

struct ActiveSoldier : Soldier { 
    string currentUnit; 
    ActiveSoldier *commandingOfficer; // the design errors multiply! 
    int yearsService; 
}; 

template <typename InputIterator> 
void takePrisoners(InputIterator first, InputIterator last) { 
    while (first != last) { 
     Soldier s(*first); 
     // do some stuff with name, rank and serialNumber 
     ++first; 
    } 
} 

，该takePrisoners函数模板的要求是，它的参数是一个类型，可转换到士兵的迭代器。它不必是一个派生类，我们也不直接访问成员的“名称”等，所以takePrisoners试图提供最简单的可能接口来实现给定的限制（一）应该与士兵一起工作，并且（b）应该可以编写其他类型的工作。

ActiveSoldier就是这样一种其他类型。由于只有该类作者才知道的原因，它选择公开从士兵继承而不是提供重载转换操作符。我们可以争论这是否是一个好主意，但我们假设我们一直坚持它。因为它是派生类，所以可以转换成士兵。该转换被称为切片。因此，如果我们将takePrisoners传入begin()和end()迭代器中以获得ActiveSoldiers矢量，那么我们将对它们进行切片。

您可能会想到OutputIterator的类似示例，其中接收者只关心正在传递的对象的基类部分，因此可以在写入迭代器时对它们进行切片。

它是“代码味道”的原因是我们应该考虑（a）重写ActiveSoldier，和（b）改变士兵，使其可以使用函数而不是成员访问来访问，以便我们可以抽象该函数集作为其他类型可以独立实施的接口，以便takePrisoners不必转换为士兵。这两者中的任何一个都不需要分片，并且对于将来可以扩展我们的代码的容易程度将具有潜在的益处。

[*]因为它是一个。下面的最后两行正在做同样的事情：

struct A { 
    int value; 
    A(int v) : value(v) {} 
}; 

struct B : A { 
    int quantity; 
    B(int v, int q) : A(v), quantity(q) {} 
}; 

int main() { 
    int i = 12; // an integer 
    B b(12, 3); // an instance of B 
    A a1 = b; // (1) convert B to A, also known as "slicing" 
    A a2 = i; // (2) convert int to A, not known as "slicing" 
} 

唯一的区别是：（1）调用A的拷贝构造函数（编译器提供即使代码没有），而（2）调用A的int构造函数。

正如别人所说，Java不会做对象切片。如果您提供的代码转换为Java，则不会发生任何类型的对象切片。 Java变量是引用，而不是对象，所以a = b的后置条件就是变量“a”与变量“b”引用同一个对象 - 通过一个引用进行更改可以通过其他引用进行查看，依此类推。他们只是用不同的类型来引用它，这是多态的一部分。一个典型的比喻是，我可能会认为一个人是“我的兄弟”[**]，而其他人可能会认为同一个人是“我的代理人”。同一个对象，不同的界面。

你可以得到类似Java的效果在C++中使用指针或引用：

B b(24,7); 
A *a3 = &b; // No slicing - a3 is a pointer to the object b 
A &a4 = b; // No slicing - a4 is a reference to (pseudonym for) the object b 

[**]就事实而言，我的弟弟是不是一个牧师。