# 메소드 디스패치

[yoogail105]

메소드 디스패치

• 메소드를 실행할 때 어떤 operation(연산, 명령어)을 실행해야하는지 결정하도록 돕는 메커니즘
• 어떤 메소드 구현이 사용되어야 하는지 결정하는 것

Basics

• 정적 디스패치static dispatch: 값 타입(value types), 참조 타입(reference types) 모두 지원
• 동적 디스패치dynamic dispatch: 참조 타입(reference types)만 지원
• 이유? 동적 디스패치를 위해서는 상속이 필요
  • ↑ 상속은 참조 타입(class)만 지원

디스패치의 종류

더 세분화해서 바라본다면, 디스패치는 정적/동적을 넘어 4가지로 분류할 수 있다.

• Inline 가장 빠름
• Static
• Virtual
• Dynamic 가장 느림

이 중 어떤 것을 사용할지는 컴파일러가 필요에 따라 결정한다.

🍯 동적 디스패치와 정적 디스패치

동적 디스패치

• 런타임 오버헤드를 들여, 언어 표현력(Expressivity) 향상 ?
• 동적 디스패치에서 모든 메소드 호출은 컴파일러가 witness table or virtual table을 들여다보고, 특정 메소드의 구현을 체크한 후에 이루어진다.
• 🙋왜? 컴파일러는 메소드 호출이 슈퍼클래스의 구현 을 가리키는지, 서브클래스의 구현 을 가리키는지 판단해야 하기 때문
• 모든 오브젝트는 런타임에 메모리에 올라가게 되므로, 컴파일러는 이러한 과정을 런타임에 해야한다.

정적 디스패치

• 컴파일러는 컴파일 타임에 어떤 메소드 구현이 호출되어야 할지 알고 있음
• → 컴파일러는 여러 최적화 기법을 적용 가능
• → 코드를 inline으로 변환 가능
• ⇒ 전체적인 프로그램이 속도 향상 가능
  

🍯Object-C와 Swift에서의 사용

Object-C

• default: 동적 디스패치 지원
• 장점 다형성의 형태로 프로그래머에게 상당한 유연성 제공
  • 다형성: 같은 메서드가 상황에 따라 다르게 동작
  • 이미 존재하는 메서드 등을 서브클래싱, 재정의 가능
• 단점 비용이 든다

Swift

동적디스패치

• swift에서는 동적디스패치를 위해 상속 을 사용
• 기본 클래스를 서브 클래싱하고(상속), 기본 클래스에 존재하는 메서드를 재정의(override)
• dynamic, @objc 키워드를 통해 런타임에 메소드를 노출시키기도 한다.

정적디스패치

• final, static 키워드를 통해 클래스의 경우 추가적인 상속이나 재정의 불가능하도록 통제