3. Reducing Dynamic Dispatch.md

3. Reducing Dynamic Dispatch

• Swift에서는 필요할 때 런타임 성능을 향상시킬 수 있는 기능을 제공하고 있다.

1. Method Dispatch

   • Dispatch: 프로그램이 어떤 연산을 통해 어떻게 해당 메서드를 실행할 지 정하는 메커니즘
   • 코드 실행에 대한 결정: 컴파일타임 OR 런티임 ?

2. Static Dispatch(정적, Direct Call)

   • 이미 정해져 있음.

   • 컴파일 타임에 호출되는 함수가 무엇인지 결정, 런타임에는 그 함수가 그대로 실행

     👉 런타임에서 판단할 필요 없기 때문에 성능 상 이점 O

   • 값 타입(struct, enum), 참조 타입(class) 모두 지원

   • struct, enum: 기본적으로 Static Dispatch

     ✔︎ 값 타입(Value type)이기 때문에 상속을 할 수 X ☞ 오버라이딩 가능성 X 👉 Static Dispatch

     ✔︎ extension: 여전히 상속의 가능성 X ☞ 오버라이딩 가능성 X 👉 Static Dispatch

3. Dynamic Dispatch(동적, Indirect Call)

   • 런타임 시점에 결정

     👉 런타임에서 어떤 메서드가 실행되는 지 결정되기 때문에 성능 상 오버헤드 발생

   • 클래스를 상속받아 부모 클래스의 메서드를 재정의 하여 사용할 때, 어떤 메서드가 실행되는지 런타임에서 결정된다.

     ☞ 각각의 메모리 주소를 가지고 있는 함수 포인터들의 배열인 vTable(Virtual Dispatch Table)을 참조하여 실제 호출할 함수를 결정

     👉 컴파일 타임에 어떤 메서드가 실행되는 지 결정하지 못하는 이유는 오버라이딩 때문

     ​ 하위 클래스에서 오버라이딩이 될 수 있는 가능성 O ☞ 실제 확인 작업을 런타임에서 진행

     ​ 실제 오버라이딩의 여부는 확인하지 않고, 항상 vTable을 참조하여 실제 호출할 함수 결정

     ​ ✔︎ 런타임 시점에, 클래스의 vTable 참조 ☞ 실제 불릴 함수의 포인터의 메모리 주소 읽기 ☞ 해당 주소로 이동 👉 성능 상 손해 O

     ​ 🙋 오버라이딩 여부를 확인하지 않고, 항상 vTable 참조하는 것 이상한거 아닌가?

     ​ final

   • 참조 타입(class)만 지원

   • class: 기본적으로 Dynamic Dispatch

     ✔︎ 참조 타입(Reference type)이기 때문에 상속의 가능성 O ☞ 오버라이딩 가능성 O 👉 Dynamic Dispatch

     ✔︎ extension: class를 확장extension하여 메서드를 추가한 경우, 서브클래스에서 오버라이딩 불가!

     ​ 👉 class extension: 상속의 가능성 X ☞ 오버라이딩 가능성 X 👉 Static Dispatch

     ​ (@objc를 붙여주면 오버라이딩 가능)

🔖 참고

• SeSAC iOS 개발자 데뷔 과정 강의 자료
• https://babbab2.tistory.com/143
• https://babbab2.tistory.com/144
• https://brunch.co.kr/@joonwonlee/14
• https://babbab2.tistory.com/145