c++ 中的对象切片

Question

    class Base
    {  
         int iBase;

      public:           
         virtual void display()
         {
            cout<<"I am a Base Class"<<endl;
         }        
    };

    class Derived : public Base
    { 
        int iDerived;

     public:
        Derived()
        {
            cout<<"In Derived Default Constructor"<<endl;
            iDerived=10;
        }   

        void display()
        {
            cout<<"I am in Derived Class"<<endl;
            cout<<"value of iDerived  :"<<iDerived<<endl;
            iDerived=100;
            cout<<"value of iDerived  :"<<iDerived<<endl;
        }                
   };

在主干中：

     Base *varBase;
     Derived varDerived;

     varBase = &varDerived;
     varBase->display();
     varBase->iDerived=10; // Error: iDerived is not a member of Base: ?????

大家好，

我正在尝试理解对象切片并尝试一些 示例程序。

我在某处读到过指针引用 Objcet Slicing 不会 发生。

但在下面的示例中，我注意到 iDerived 无法从 Base 指针(varBase) 访问，但是从 类的虚拟显示方法 我可以即使它不在显示方法的本地范围内也可以访问。

现在我的问题是：

1. 为什么我只能使用虚函数访问 iDerived 变量，这样正确吗？
2. 如何避免对象切片。

Answer 1

您的示例代码根本不涉及切片。您所做的只是调用基本的多态性。通过将 Base::display() 声明为 virtual 并在 Base * 上调用 display()，您要求它动态调用所指向对象的实际类型的成员函数，即Derived。 Derived 的成员变量在 Derived::display() 的范围内，因此这就是它编译和工作的原因。

但是，您只能通过指向Base的指针直接访问在Base中声明的成员变量（或函数）。这就是 varBase->iDerived 无法编译的原因。

切片通常涉及相当于：

Derived d;
Base b = (Base)d;

通过显式分配/初始化Base对象，所有Derived特定的成员都将丢失（即它们已被“切片”掉） 。

这个东西是比较基础的；我建议挑选一本关于 C++ 的不错的书。这里有一个不错的列表：权威的 C++ 书籍指南和列表。

Answer 2

C++有虚函数，但没有虚数据。

您可以添加以下内容来模拟它：

class Base {
  // What you had before
  virtual int getAnInt() const = 0; // =0 means that Derived must implement this
};
class Derived {
  // What you had before
  virtual int getAnInt() const { return iDerived; }
};

对象切片完全不相关，并且在您的示例中不会发生。