关于java：继承不能做什么多态？

What can polymorphism do that inheritance can't?

本问题已经有最佳答案，请猛点这里访问。

假设我们有一个类Animal，扩展到另外三个类：Dog、Cat、Bird。

这类动物具有talk()和move()功能。对话功能输出"动物对话"，移动功能输出"动物移动"。

对于一只狗来说，这是"狗动"和"狗吃"。对于Cat和Bird类，这种差异是平行的"猫移动"等。

现在，因为多态性，如果我这样做的话

1	Animal charlietheBird = new Bird()

然后打电话进来

1	charlietheBird.talk()

它将输出

Bird talking

因为输出是在运行时确定的，因为编译器知道charlie是类Bird的Animal类型。

然而！！

我可以简单地做

1	Bird charlietheBird = new Bird();

然后调用charlietheBird.poop();将给出相同的输出，因为方法将被重写。

相关讨论

多态性是一个概念。继承(连同虚拟函数)是实现该概念的技术手段。所以标题中的问题有点无关紧要。
stackoverflow.com/questions/6308178/&hellip；-这将有帮助
你基本上是对的。当你的程序中有234只猫、一只狗和5000只鸟时，如果你有时想让其中一只鸟说话或移动，而不关心你正在处理的确切类型的动物，那么宣布某只鸟为Animal的好处就来了。
@沉默生命我相信你的问题大致可以解释为，如果我们有遗传，为什么我们需要多态性。关于多态性可以做什么的详细解释，请参阅我的答案。
@Barakmanos继承不是一个像多态性一样的概念吗？或者更确切地说，是否在技术上实现了多态性？多态性和继承都需要以特定的方式构造代码，对吗？
@克：继承是一个技术术语。我会更进一步说，它是一个关键字，但这并不是完全准确的，因为继承是通过关键字组合实现的(更准确地说，通过3种不同的关键字组合——class / public、class / protected和class / private)。但它仍然是一种技术手段(与虚拟功能一起)允许您实现不同的设计模式和其他概念性想法，多态性是主要(也是最一般)概念。
@巴拉克曼诺斯，我不跟随也不同意。继承和多态一样是一个概念。就像有一种实现继承的标准方法一样，也有一种实现多态性的标准方法。这些是面向对象语言的构建块。两者都要求使用特定语言的关键字以特定方式排列代码。
@他说："我不能超过我在最初的评论中所说的，并且在你的问题之后的一篇文章中有更多的细节，以便说服你……在我看来，多态性是将对象归纳为特定目的的概念，并将其专门化(如"归纳的相反")用于其他目的。继承和虚拟函数只是实现工具。我认为它可以被看作是一个术语问题，所以这就是我的术语(我们不必在这个问题上达成一致)。
@巴拉克曼诺很公平。我不反对任何人对事物有自己的看法。也就是说，一般的共识认为多态性和继承性都是OOP语言的概念/特性。我们自己的OOP标签明确地将多态性和继承作为特性并排地提到。你的评论没有回答被问的问题。OP只是想知道当我们有继承时为什么需要多态性，而不是它们之间的区别。
如果您对多态性和继承之间的区别感兴趣，那么您将希望看到没有继承多态性是可能的吗？也是。
@根据我的观点(正如最初的评论中所解释的那样)，标题中的问题是不相关的。现在，如果你不反对我的观点，那么我不认为这是"没有回答被问的问题"的观点。顺便说一句，我相信在上面的评论中，ole v.v给出的帖子支持我最初的论点(多态性是一个概念，继承是一个"工具")。
@Barakmanos我不明白链接的帖子是如何谈论多态性是一个概念的。对我来说，OOP是一个范例，内在性和多态性都是这个范例中定义的概念。但我也看到你的观点，所以归根结底就是同意不同意。我的错误是，当讨论已经在之前的同一个注释上结束时，重新开始讨论：)我建议在这个评论中结束它。

What can polymorphism do that inheritance can't?

多态性的真正优点可以在运行时看到，而不是在编译时看到。多态性允许您用一个实现替换另一个实现，而不需要更改使用它的代码。让我们以Animal层次结构为例。假设你有一个Vet知道如何对任何动物进行健康检查(是的，他是一个超级兽医)。

1
2
3
4
5
6
7
8
9
10
11

class Vet {
private Animal animal;
public Vet(Animal animal) {
this.animal = animal;
}

public void perfromCheckup() {
animal.talk();
animal.poop();
}
}

你现在可以说：

1
2
3
4

Vet vetWithBird = new Vet(new Bird());
Vet vetWithDog = new Vet(new Dog());
vetWithBird.performCheckup();
vetWithDog.performCheckup();

请注意，您可以告诉Vet在不需要更改Vet类的情况下，对Bird或Dog或任何其他动物进行检查。在运行时，Dog在进行检查时会发出吠声，而Bird在进行检查时会发出tweet。想象一下，如果Vet不是Animal，而是Vet有一个Bird引用：

1
2
3
4
5
6
7
8
9
10
11

class Vet {
private Bird bird;
public Vet(Bird bird) {
this.bird = bird;
}

public void perfromCheckup() {
bird.talk();
bird.poop();
}
}

可怜的Vet现在只能和Bird一起工作了。告诉你的Vet和一个Dog合作，他会立刻拒绝。

1 2	Vet vetWithBird = new Vet(new Bird()); //Works fine. Vet likes birds. Vet vet = new Vet(new Dog())// compilation error. Sorry I don't like dogs.

总之，多态性允许您替换使用超级类引用的子类实例。继承允许您从父类继承代码，并可能在子类中重新定义该行为，以便您的代码可以在运行时通过多态性利用它。

继承支持多态性，但多态性不依赖于继承。

您给出了一个如何通过继承实现多态性的示例。

但你可以用不同的眼光看待它：

移动概念有一个接口：

1
2
3

interface Movable{
void move();
}

动物可以实现这个接口：

1
2
3
4
5
6

class Dog implements Movable {
@Override
public void move(){
// move the animal
}
}

但是一些真菌也可以移动：

1
2
3
4
5
6

class SlimeMold implements Movable {
@Override
public void move(){
// move the animal
}
}

很难在这两者之间找到可以通过继承来表达的"is a"关系，但是当两者实现相同的接口时，我们仍然可以对它们应用多态性：

1
2
3
4
5

Collection<Movable> movables = new HashSet<>();
movables.add(new Dog());
movables.add(new SlimeMold());
for(Movable movable : movables)
movable.move();