🧩

Trait과 제네릭 — Rust의 다형성

인터페이스 + 제네릭이 합쳐진 Rust의 추상화 도구

Trait은 "이 타입은 이런 동작을 할 수 있다"를 정의한다. Java의 interface와 비슷하지만, 기존 타입에 나중에 trait을 구현(impl)할 수 있다는 점이 다르다.

trait Summary {
    fn summarize(&self) -> String;
}

impl Summary for Article {
    fn summarize(&self) -> String {
        format!("{}: {}", self.title, self.content[..20])
    }
}

제네릭 함수에서 where T: Summary 같은 trait bound를 쓰면, T가 Summary를 구현한 타입이라는 걸 보장한다. 컴파일러가 각 구체 타입별로 함수를 별도 생성(monomorphization)하기 때문에 런타임에 가상 함수 테이블(vtable) 비용이 없다.

dyn Trait을 쓰면 런타임 다형성(동적 디스패치)도 가능하다. 이 경우 vtable을 통한 간접 호출이 발생한다.