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, 그다음 Meow
}                                    // 같은 호출, 타입마다 다른 결과
```

루프는 어떤 동물인지 신경 쓰지 않고 `a.speak()`를 호출합니다 — 런타임이 올바른 override로 디스패치합니다.

## 강력한 이유

나중에 새 `Animal` 서브타입을 추가해도 위의 루프는 **변경 없이** 계속 작동합니다. 코드는 구체 class가 아니라 추상 타입에 의존합니다.

```text
호출자 → Animal.speak()  ──디스패치──▶  Dog.speak()  또는  Cat.speak()
            (하나의 인터페이스)              (여러 구현)
```

## 함정

오버로딩(같은 메서드 이름, 다른 *매개변수*, 컴파일 타임에 해결)과 혼동하지 마세요. 진정한(서브타입) polymorphism은 객체에 기반하여 *런타임*에 해결됩니다.

## 왜 중요한가

Polymorphism은 OOP를 확장 가능하게 만드는 요소입니다: 새 동작은 `if/else` 체인 곳곳에 흩어진 수정이 아니라 새 class로 도착합니다.

이는 Open/Closed Principle과 대부분의 디자인 패턴 뒤에 있는 메커니즘입니다 — 인터페이스를 대상으로 프로그래밍하고 런타임 디스패치가 구현을 선택하게 합니다.