TIL89 ✨

🗓️23.08.24

정적 디스패치와 정적 디스패치에 대한 이해

📌 프로세스

• 하나의 프로세스는 실행중인 프로그램의 한 단위

📌 다형성 Polymorphism

• 하나의 이름(또는 기능)으로 여러 가지 일을 할 수 있는 능력
• 하나의 인터페이스(=프로토콜)를 채택한 타입이 다양하게 구현될 수 있음
• OCP(Open/Closed Principle)를 만족함
• 부모 클래스를 상속받아서 자식 클래스에서 메서드를 오버라이드하는 경우도 해당됨

📌 Dispatch

• OS적 관점에서 볼 때 운영체제의 스케줄러가 실행할 프로세스를 선택하고 해당 프로세스를 CPU에 할당하는 과정이라고 볼 수 있음
• "배정 하다" 라는 뜻을 가짐
• 다형성의 관점에서 볼 때 하나의 함수 호출이 서로 다른 함수 구현 중 어떤 것을 실행할지 결정하는 메커니즘

📌 가상 메서드 Virtual Method

• 부모 클래스 또는 슈퍼 클래스에서 정의
• 메서드에 대한 기본 동작이 부모 클래스에서 구현됨
• 자식 클래스 또는 서브 클래스에서는 이 가상 메서드를 재정의할 수 있음

📌 정적 바인딩

• 컴파일 시간에 변수나 함수 호출 대상을 결정하고, 컴파일러가 코드를 생성할 때 해당 바인딩을 고정시킴
• 실행 시간에 바인딩 정보를 변경하지 않으며, 함수나 변수가 호출될 때 항상 동일한 대상을 가리키게 하는것
• 호출대상을 고정하는 것

📌 동적 바인딩

• 런타임 바인딩이라고도 부름
• 실행 시간에 객체의 실제 타입을 기반으로 함수 호출 대상을 결정함

📌 인라인 기법

• 함수 호출을 해당 함수의 본문으로 직접 대체하는 것
• 함수 호출에 따른 오버헤드가 감소
• 정적 바인딩은 호출 대상을 고정하는 것이고 인라인은 본문을 직접 대체하는 것이므로 서로 다른 개념

📌 Static Dispatch

• 컴파일 시간의 어떤 함수를 호출할 것인지 결정
• 컴파일러가 코드를 생성할 때 정적 바인딩을 함
• 컴파일 타임에 결정이 나기 때문에 성능상 이점을 가질 수 있음
• 런타임에 바인딩 정보 변경하지 않음
• 함수 오버로딩은 정적 디스패치 예시

📌 Dynamic Dispatch

• 런타임에 어떤 메서드를 호출 할 지 결정하는 것
• swift에서는 클래스마다 함수 포인터들의 배열인 vTable(Virtual Method Table)이라는 것을 유지
• 런타임 시점에 함수를 결정해서 성능상 손해가 있음