C++ Object slice

最新推荐文章于 2025-05-20 11:55:12 发布

原创最新推荐文章于 2025-05-20 11:55:12 发布 · 966 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#对象 #c++ #slice

C++ 专栏收录该内容

3 篇文章

订阅专栏

本文深入探讨了C++中对象切片（Object Slicing）的概念及其潜在问题。通过具体示例展示了如何在使用STL容器时避免对象切片，特别是在涉及多态类的情况下。解释了为何直接将派生类对象复制给基类对象会导致派生部分丢失，并提供了代码实例加以说明。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

第一次遇到这个名词（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
}