[Rust 공식문서 한국어 정리] ㉟. Rust 연관 타입(Associated Types) 가이드

[Rust 공식문서 한국어 정리] ㉟. Rust 연관 타입(Associated Types) 가이드

원문 제목: Advanced Traits — The Rust Programming Language
작성자: Steve Klabnik, Carol Nichols

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
📌 1. 서론 — 이 문서가 다루는 내용
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

이 문서는 Rust 트레이트 내에서 연관 타입(Associated Types)을 정의하고 사용하는 고급 기법을 설명합니다.
제네릭 매개변수와 연관 타입의 차이, 출력 타입의 추론, 그리고 연관 상수까지 다룹니다.
연관 타입은 트레이트 구현 시 구체 타입을 한 번만 지정하면 되므로, API 가독성과 사용성을 크게 향상시킵니다.
Iterator 트레이트의 Item이나 Add 트레이트의 Output 같은 핵심 표준 라이브러리 패턴을 이해하는 데 필수적입니다.
표준 라이브러리를 깊이 있게 다루거나 복잡한 트레이트를 설계하려는 개발자에게 필요한 내용입니다.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
🔑 2. 핵심 개념 4가지
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

① Associated Type: 트레이트 내에서 type 키워드로 선언된 타입 별칭으로, 구현체가 결정합니다.
② Generic vs Associated Type: 제네릭은 호출자가 타입을 지정하지만, 연관 타입은 구현체가 한 번 결정합니다.
③ Output 타입: 연산 트레이트의 결과 타입으로, Add나 Mul의 Output이 대표적입니다.
④ Associated Constant: 트레이트 내에서 const로 선언된 값으로, 각 구현체가 고유한 상수를 제공합니다.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
📖 3. 주요 내용 상세
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

연관 타입은 트레이트 정의 내에서 type Item; 형태로 선언합니다.
구현체에서 type Item = i32;처럼 구체 타입을 지정하며, 하나의 구현체당 하나의 연관 타입만 가집니다.
이는 제네릭 트레이트와 달리, 동일한 타입에 대해 여러 구현을 방지하여 모호성을 제거합니다.

Iterator 트레이트가 가장 대표적인 예시입니다.
trait Iterator { type Item; fn next(&mut self) -> Option<Self::Item>; }
Vec<T>에 대한 Iterator 구현은 Item = T이며, 호출자는 next()의 반환 타입을 자동으로 알 수 있습니다.
만약 Iterator가 제네릭이라면 Iterator<T>로 명시해야 하고, 동일한 타입에 대해 여러 Iterator 구현이 가능해져 모호해집니다.

연관 타입은 트레이트 바운드에서도 사용할 수 있습니다.
fn process<T: Iterator>(iter: T) where T::Item: Display { ... }처럼 연관 타입에 추가 제약을 걸 수 있습니다.
이를 통해 복잡한 타입 관계를 선언적으로 표현할 수 있습니다.

기본 연관 타입은 트레이트 정의에서 기본값을 제공할 수 있습니다.
trait Add<Rhs = Self> { type Output = Self; ... }처럼 기본 구현을 제공하면, 대부분의 구현체에서 Output을 재정의하지 않아도 됩니다.

연관 상수(Associated Constants)는 트레이트 내에 const로 선언된 값입니다.
trait Config { const MAX_SIZE: usize; }처럼 사용하며, 각 구현체가 고유한 상수 값을 제공합니다.
연관 상수는 제네릭 상수(generic const)와 함께 사용되어 컴파일 타임 설정을 구현하는 데 유용합니다.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
🛠 4. 실전 활용
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

커스텀 컬렉션에 Iterator 트레이트를 구현할 때 Item 연관 타입을 지정합니다.
연산자 오버로딩(Add, Mul 등)에서 Output 연관 타입으로 연산 결과 타입을 명확히 합니다.
프로토콜/설정 트레이트에서 연관 상수로 최대 버퍼 크기나 타임아웃 값을 구현척별로 지정합니다.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
✅ 5. 정리
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

연관 타입은 제네릭의 유연성과 타입 안전성을 동시에 제공하는 강력한 도구입니다.
구현체가 타입을 한 번 결정하면 호출자는 별도의 명시 없이 이를 사용할 수 있습니다.
표준 라이브러리의 핵심 트레이트를 이해하고 설계할 때 연관 타입 개념은 필수불가결합니다.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
🔗 출처 링크
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

원문: https://doc.rust-lang.org/book/ch19-03-advanced-traits.html
Rust Reference Associated Items: https://doc.rust-lang.org/reference/items/associated-items.html

#Rust #AssociatedTypes #Traits #Generics #Iterator #Advanced #번역