子类到基类的转换问题[重复]

Question

我已经声明了一个具有虚拟打印功能的超类，而子类继承了超类。我创建了一个子类实例并以两种不同的方式分配给超类。

#include <iostream>

using namespace std;

class Super
{
public:
    Super(){}
    virtual void print()
    {
    cout << "Super class is printing " << endl;
    }
};

class Child: public Super
{
public:
    Child(){}
    void print()
    {
        cout << "Child class printing" << endl;
    }
};

int main()
{
    Child c;
    Super s = c;
    Super &ss = c;
    s.print(); //prints "Super Class is printing
    ss.print(); //prints "Child Class is printing
    return 0;
}

为什么我们没有从这两个打印调用中得到相同的输出？添加引用如何改变行为？

Answer 1

s 的动态和静态类型是Super，但来自c 的赋值从c 和s 内部复制了Super 子对象作为Super。

但是，ss 有一个静态类型 Super，但它的动态类型取决于它的初始化，在本例中为 Child，因此虚拟调度会相应地运行。

这种现象称为"object slicing"

Answer 2

对象切片问题：

如果你获取一个超类并为其分配子类的值，则只有属于超类的成员会被复制（默认赋值运算符行为）。

考虑以下几点：

#include <iostream>

using namespace std;

class Super {
public:
   int a;
   Super(): a(0) { }
   Super(int _a): a(_a) { }
   virtual void dump() {
        cout << "A is : " << a << std::endl;
   }
};

class Child: public Super {
public: 
   int b;

   Child(int _a, int _b): b(_b), Super(_a) { } 
   virtual void dump() {
        Super::dump();
        cout << "B is : " << b << std::endl;
   }

};

int main() {
    Child c(5, 10);
    Super s;
    s.dump();  // A is 0
    s = c;
    s.dump();  // A is 5 (but there is no B in s 
               // so calling Child::dump would be nonsensical
}

所以你可以看到，当子值被分配给父值时，调用子dump 是没有意义的；因为父上下文中没有“b”。

请注意以下语句： c = s;

是没有意义的，因为虽然父系是确定性的（Child 是 Super 的类型，所以隐式运算符 Super& Super::operator=(const Super&) 适用于派生的 Child 类，反之则不正确；即 Child& Child::operator=(const Child&) 在Super的上下文

参考问题

好的，所以混淆来自于理解什么是引用变量。引用变量是任何它初始化的同义词。您可以像使用原始变量一样使用引用变量。

在你的情况下：

   ss.print(); 

和

一样

   c.print();

" 要更清楚地看到这一点，请考虑以下 sn-p：

int foo;
int& bar = foo;

// bar is now a reference to foo so the following will sets foo to 67
bar = 67;
std::cout << foo <<std::endl;