정적 디스패치와 동적 디스패치
장단점 비교
정적 디스패치와 동적 디스패치은(는) CoddyKit의 무료 Learn Rust Coding 강의입니다. 이것은 4개 중 3번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 Learn Rust Coding 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. Learn Rust Coding 강의에는 총 4개의 강의가 포함되어 있습니다.
디스패치의 두 가지 방식
트레이트 메서드를 호출하면 Rust는 어떤 구체적인 구현을 실행할지 결정해야 합니다. 전략은 두 가지입니다. 정적 디스패치(컴파일 시간에 결정)와 동적 디스패치(실행 시간에 결정)입니다.
제네릭을 사용한 정적 디스패치
제네릭 함수는 정적 디스패치를 사용합니다. 컴파일러는 각 구체적인 타입에 맞는 특수화된 복사본을 생성합니다. 이 과정을 단형화라고 합니다.
trait Area { fn area(&self) -> f64; }
struct Square { s: f64 }
impl Area for Square { fn area(&self) -> f64 { self.s * self.s } }
fn print_area<T: Area>(shape: &T) {
println!("{}", shape.area());
}
fn main() {
print_area(&Square { s: 4.0 });
}단형화
호출에 사용하는 각 타입마다 컴파일러는 해당 함수의 전용 버전을 만들어 냅니다. 메서드 호출은 조회 없이 직접 호출로 바뀌므로 직접 작성한 코드만큼 빠릅니다.
dyn을 사용한 동적 디스패치
트레이트 객체는 동적 디스패치를 사용합니다. 하나의 함수가 모든 타입을 처리하고, 메서드 주소는 실행 시간에 가상 함수 테이블을 통해 찾습니다.
trait Area { fn area(&self) -> f64; }
struct Square { s: f64 }
impl Area for Square { fn area(&self) -> f64 { self.s * self.s } }
fn print_area(shape: &dyn Area) {
println!("{}", shape.area());
}
fn main() {
print_area(&Square { s: 4.0 });
}가상 함수 테이블
트레이트 객체는 팻 포인터입니다. 한 부분은 데이터를 가리키고 다른 부분은 메서드 주소가 나열된 가상 함수 테이블을 가리킵니다. 호출할 때마다 이 테이블의 해당 항목을 조회합니다.
이 추가적인 간접 참조가 실행 시간에 발생하는 비용입니다.
속도 절충
정적 디스패치는 호출당 더 빠르고 인라인화할 수 있지만 기계어 코드가 더 많이 생성됩니다. 동적 디스패치는 아주 작은 간접 참조 비용을 추가하는 대신 코드 크기를 작게 유지합니다.
대부분의 앱에서는 차이가 무시할 수 있을 정도이므로 유연성을 기준으로 선택하십시오.
코드 크기 절충
제네릭 함수를 여러 타입으로 호출하면 복사본이 여러 개 생성되어 바이너리가 부풀 수 있습니다. 하나의 dyn 함수는 이러한 중복을 피합니다.
그래서 라이브러리는 내부적으로 트레이트 객체를 선호하기도 합니다.
유연성 절충
제네릭은 호출 위치마다 하나의 구체적인 타입을 사용하도록 하므로 컬렉션에 서로 다른 타입을 섞어 담을 수 없습니다. 트레이트 객체는 가능합니다. 서로 다른 타입을 담는 목록이 필요하다면 동적 디스패치를 사용하면 됩니다.
trait Area { fn area(&self) -> f64; }
struct Square { s: f64 }
struct Rect { w: f64, h: f64 }
impl Area for Square { fn area(&self) -> f64 { self.s * self.s } }
impl Area for Rect { fn area(&self) -> f64 { self.w * self.h } }
fn main() {
let shapes: Vec<Box<dyn Area>> = vec![Box::new(Square { s: 2.0 }), Box::new(Rect { w: 3.0, h: 4.0 })];
let total: f64 = shapes.iter().map(|s| s.area()).sum();
println!("{}", total);
}두 방식 함께 사용하기
두 방식을 조합할 수도 있습니다. 제네릭 함수가 경계에서는 impl Trait을 받고 내부에서는 값을 Box<dyn Trait>로 저장할 수 있습니다. 각각 적합한 곳에 사용하십시오.
선택 가이드
간단한 규칙은 다음과 같습니다.
- 호출마다 타입 하나이고 자주 실행되는 경로인가요? 제네릭(정적)을 사용하십시오.
- 컬렉션에 서로 다른 타입이 섞여 있나요?
dyn(동적)을 사용하십시오. - 바이너리 크기가 걱정되나요?
dyn쪽을 고려하십시오.
중요한 곳에서는 둘 다 비용이 없습니다
Rust는 요청하지 않은 오버헤드를 추가하지 않습니다. 제네릭은 실행 시간 비용이 없고, 트레이트 객체는 포인터 간접 참조 한 번의 비용만 발생합니다. 어떤 절충을 할지 직접 선택할 수 있습니다.
빠른 확인
디스패치에 대한 지식을 확인해 보십시오.
복습
두 디스패치 방식을 비교했습니다.
- 정적(제네릭): 단형화됨, 빠름, 더 큰 바이너리, 호출마다 하나의 타입
- 동적(
dyn): 가상 함수 테이블 조회, 유연함, 더 작은 코드, 서로 다른 타입을 함께 담는 컬렉션 지원 - 유연성, 성능, 바이너리 크기 요구 사항을 기준으로 선택하십시오.
자주 묻는 질문
“정적 디스패치와 동적 디스패치” 강의는 무료인가요?
네 — “정적 디스패치와 동적 디스패치” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 Learn Rust Coding 강의 전체를 잠금 해제할 수 있습니다. Learn Rust Coding 강의에는 총 4개의 강의가 포함되어 있습니다.
“정적 디스패치와 동적 디스패치”에서 뭘 배우나요?
장단점 비교 브라우저에서 직접 실행하는 실습 코드로 Learn Rust Coding을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
Learn Rust Coding을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 Learn Rust Coding은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 3번째 강의입니다.
“정적 디스패치와 동적 디스패치” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 Learn Rust Coding 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 Learn Rust Coding 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.
이 강의의 모든 강의
- 트레이트 정의하기
- 트레이트 객체와 dyn
- 정적 디스패치와 동적 디스패치
- 기본 메서드