C++ 的行为对象参考

Question

考虑以下代码段：

class Window // Base class for C++ virtual function example
     {
       public:
          virtual void Create() // virtual function for C++ virtual function example
          {
               cout <<"Base class Window"<<endl;
          }
     };

     class CommandButton : public Window
     {
       public:
          void Create()
          {
              cout<<"Derived class Command Button - Overridden C++ virtual function"<<endl;
          }
     };

     int main()
     {
        Window *button = new   CommandButton;
        Window& aRef = *button;
        aRef.Create(); // Output: Derived class Command Button - Overridden C++ virtual function
        Window bRef=*button;
        bRef.Create(); // Output: Base class Window

        return 0;
     }

aRef和bRef都被分配了*button，但是为什么两个输出不同。 分配给引用类型和非引用类型有什么区别？

Answer 1

您遇到了切片问题。

Window bRef   =*button;

这里bRef不是引用而是对象。当您将派生类型分配给 bRef 时，您将切掉派生部分，只留下一个由 CommandButton 构造的 Window 对象。

所发生的情况是，bRef 是在上面的语句中使用编译器为 Window 类生成的复制构造函数创建的。这个构造函数所做的就是将成员元素从 RHS 复制到新构造的对象。由于该类不包含任何成员，所以什么也没有发生。

旁注：具有虚拟成员的类也应该有一个虚拟析构函数。

Answer 2

• aRef 具有 Window static 类型，但 CommandButton dynamic 类型
• bRef 只是一个 Window 类型的对象（CommandButton 'part' 在副本中丢失了

）通常称为对象切片，通常通过使基类抽象（通过提供纯虚函数）或不可复制（例如使用 boost::noncopyable），因为任何一种解决方案都会使代码无法在线编译 Window& 。 aRef = *按钮；。

---

现在，为什么 bRef.Create() 调用 Window::Create ？好吧，bRef 中除了一个 Window 之外什么也没有，所以确实没有太多的选择。这本质上就像声明一个 Window 并在其上调用 Create ：事实上 bRef 是从 CommandButton 复制的实例不相关，因为 CommandButton 部分在副本中丢失。

我将尝试通过引用标准 (10.3/6) 来使这一点更清楚：

[注：调用的解释
虚函数的值取决于
其所属对象的类型
称为（动态类型），而
a 的调用的解释
非虚成员函数取决于
仅取决于指针的类型或
表示该对象的引用（
静态类型）（5.2.2）。 ]

只有通过指针或间接引用，对象的静态类型才能与其动态类型不同。

Answer 3

Window bRef=*button;
bRef.Create(); // Output: Base class Window

bRef 的静态和动态类型仅限于Window。虚拟机制仅适用于引用和指针。 bRef 是一个对象，而不是引用或指针。

Answer 4

 Window bRef=*button;
 bRef.Create(); // Output: Base class Window

这里的 bRef 不是对 button 的引用（您只是这样命名的）。 bRef 仅获取基本子对象，即Window。