为何C++中使用Dog &rD = d而非直接Dog rD = d？

核心差异在于对象拷贝（切片）和引用绑定（保留多态），直接用代码例子说清楚：

假设你的类结构是这样的：

#include <iostream>
using namespace std;

class Animal {
public:
    virtual void speak() { cout << "Animal speaks" << endl; }
    int age = 5;
};

class Dog : public Animal {
public:
    void speak() override { cout << "Woof!" << endl; }
    string breed = "Labrador"; // Dog独有的成员
};

1. Dog rD = d：对象拷贝会触发切片 #

如果d是基类类型的对象（已被切片）（比如Animal d = Dog();），执行Dog rD = d时：

• 编译器只会拷贝d中属于Animal的部分（比如age），Dog独有的breed会被忽略——因为d的静态类型是Animal，编译器只识别基类成员。
• 哪怕rD是Dog类型，它的派生类成员要么被默认初始化，要么完全丢失，根本不是原Dog对象的完整副本。

如果场景是处理基类引用/指针指向的派生类对象（比如void func(Animal& animal)），用值拷贝还会直接切断多态链路——你拿到的只是一个新的Dog对象，和传入的原对象毫无关系。

2. Dog &rD = d：引用绑定保留原对象特性 #

当d是基类引用指向的Dog对象时，Dog &rD = d只是给原Dog对象起了个别名：

• 不会创建新对象，rD完全等同于原Dog对象，所有派生类成员（比如breed）都能正常访问。
• 调用虚函数时会触发多态，比如rD.speak()会执行Dog::speak()，这正是你学习virtual时要用到的核心场景。
• 还能避免错误的类型转换：如果原对象是其他派生类（比如Cat），这行代码会直接编译报错，不会产生残缺的拷贝对象。

题目用引用的核心原因 #

• 保留多态特性：这是virtual关键字的核心作用场景，确保基类引用/指针指向派生类对象时，能正确调用派生类的虚函数实现。
• 避免数据丢失：彻底杜绝切片问题，保证操作的是原对象的完整内容。
• 效率更高：不需要额外的对象拷贝，节省内存和运行开销。

内容的提问来源于stack exchange，提问作者user19552329