什么是多态性（polymorphism）？

Question

Accepted Answer

**Polymorphism**（"多种形式"）允许单个接口与不同的底层类型一起工作。*同一个调用*运行*不同的代码*，具体取决于实际对象——在运行时选择。这是**子类型多态性**。

## 一个调用，多种行为

```java
class Animal { String speak() { return "..."; } }
class Dog extends Animal { String speak() { return "Woof"; } }
class Cat extends Animal { String speak() { return "Meow"; } }

Animal[] zoo = { new Dog(), new Cat() };
for (Animal a : zoo) {
    System.out.println(a.speak());   // Woof, then Meow
}                                    // same call, different result per type
```

循环调用 `a.speak()` 而不用关心它是哪种动物——运行时会分派到正确的重写。

## 为什么这很强大

你可以稍后添加一个新的 `Animal` 子类型，上面的循环将**零改动**地继续工作。代码依赖于抽象类型，而不是具体类。

```text
caller → Animal.speak()  ──dispatch──▶  Dog.speak()  OR  Cat.speak()
            (one interface)                  (many implementations)
```

## 陷阱

不要将其与重载（overloading）混淆——相同的方法名，不同的*参数*，在编译时解析。真正的（子类型）多态性在*运行时*根据对象进行解析。

## 为什么这很重要

多态性是使 OOP 具有可扩展性的关键：新行为作为新类出现，而不是分散在 `if/else` 链中的编辑。

这是 Open/Closed 原则和大多数设计模式背后的机制——你针对接口编程，让运行时分派选择实现。