C++ Object slice

第一次遇到这个名词（Object slice）在meyers的Effective STL中。有一条忠告：
不要尝试使用STL容器，管理多态的类对象。类似：

class Base{public:virtual void fun(){cout << "Base" << endl;}};class Derived1 : public Base {public:virtual void fun(){cout << "Derived1" << endl;}};class Derived2 : public Base {public:virtual void fun(){cout << "Derived2" << endl;}};void main(){    vector<Base> vb;    Derived1 d1;    Derived2 d2;    vb.push_back(d1);    vb.push_back(d2);    vb[0].fun();    vb[1].fun();}

以上两次调用fun()，输出结果均为”Base”。原因就是在vb.push_back时发生了“object slice“。
换句话说，如果向基类对象建立一个容器中插入派生类对象，那么当对象放入容器的时候对象的派生部分不会被复制进容器。

注：可以看出STL管理对象的方式，无论是将对象放入容器，还是从容器中拿出对象(当然不包括operator[])，都是以复制的方式。即，如果insert或push_back(obj)，放入容器的不是obj自己，而是obj的一个拷贝。

再说回Object slice，《Inside the C++ Object Model》中介绍是为什么会产生Object slice。简单的说就是，当你将一个派生类对象复制给基类对象时，为了保证内存空间的正确性，编译器只能将派生类对象切割，填充到基类对象的内存空间中(同时，虚表不会被重新赋值)。派生部分就是被切割的那部分。

相同道理，以下代码也会发生object slice：

void main(){    Base bs;    Derived1 dv1;    bs = dv1; // dv1会被slice    bs.fun(); // 会输出 Base}