c++ - 为什么没有指针/引用就不能工作多态？

Question

我确实在 StackOverflow 上发现了一些标题相似的问题，但是当我阅读答案时，他们关注的是问题的不同部分，这些部分非常具体(例如 STL/容器)。

有人可以告诉我，为什么必须使用指针/引用来实现多态性？我可以理解指针可能会有所帮助，但肯定引用只能区分按值传递和按引用传递？

当然，只要您在堆上分配内存，以便您可以进行动态绑定(bind)，那么这就足够了。显然不是。

Answer 1

“当然，只要您在堆上分配内存” - 分配内存的位置与它无关。这都是关于语义的。举个例子:

Derived d;
Base* b = &d;

d 在堆栈上(自动内存)，但多态性仍然适用于 b。

如果您没有基类指针或对派生类的引用，则多态性不起作用，因为您不再拥有派生类。采取

Base c = Derived();

c 对象不是 Derived，而是 Base，因为 slicing。所以，从技术上讲，多态仍然有效，只是你不再有 Derived 对象可谈。

现在拍

Base* c = new Derived();

c 只是指向内存中的某个位置，您并不真正关心它实际上是 Base 还是 Derived，但是对 virtual 方法的调用将被动态解析。