在这种情况下会有对象切片吗？

Question

给定下一个代码：

class A {
      // ...
};

class B : public A {
      // ...
};

还有：

A a;   
B b;    
A& ab = b;   
ab = a; 

会在这段代码的最后一行进行切片吗？为什么？

Answer 1

不会有切片。但是由于引用ab的静态类型，会调用类A的复制赋值运算符。

考虑以下程序

#include <iostream>

struct A 
{
    A & operator =( const A & )
    {
        std::cout << "A::operator = is called" << std::endl;
        return *this;    
    }
};

struct B : A 
{
    B & operator =( const B & )
    {
        std::cout << "B::operator = is called" << std::endl;
        return *this;
    }
};

int main() 
{
    A a;   
    B b;    
    A &ab = b;   
    ab = a; 

    return 0;
}

它的输出是

A::operator = is called

您不能以引用另一个对象的方式重新分配引用。