연관 타입

“연관 타입“을 사용하면 내부 타입을 트레이트 내의 출력 타입으로 지역적으로 이동시켜 코드의 전반적인 가독성을 향상시킬 수 있습니다. trait 정의를 위한 구문은 다음과 같습니다:

#![allow(unused)]
fn main() {
// `A`와 `B`는 `type` 키워드를 통해 트레이트 내에 정의됩니다.
// (참고: 이 문맥에서의 `type`은 별칭(aliases)에 사용되는 `type`과는 다릅니다).
trait Contains {
    type A;
    type B;

    // 이 새로운 타입들을 제네릭하게 참조하기 위해 업데이트된 구문입니다.
    fn contains(&self, _: &Self::A, _: &Self::B) -> bool;
}
}

Contains trait를 사용하는 함수들은 더 이상 A나 B를 표현할 필요가 없다는 점에 유의하세요:

// 연관 타입을 사용하지 않는 경우
fn difference<A, B, C>(container: &C) -> i32 where
    C: Contains<A, B> { ... }

// 연관 타입 사용
fn difference<C: Contains>(container: &C) -> i32 { ... }

이전 섹션의 예제를 연관 타입을 사용하여 다시 작성해 봅시다:

struct Container(i32, i32);

// 컨테이너 안에 2개의 아이템이 저장되어 있는지 확인하는 트레이트입니다.
// 또한 첫 번째 또는 마지막 값을 가져옵니다.
trait Contains {
    // 여기서 제네릭 타입을 정의하여 메서드들이 활용할 수 있게 합니다.
    type A;
    type B;

    fn contains(&self, _: &Self::A, _: &Self::B) -> bool;
    fn first(&self) -> i32;
    fn last(&self) -> i32;
}

impl Contains for Container {
    // `A`와 `B`가 어떤 타입인지 명시합니다. 만약 `input` 타입이
    // `Container(i32, i32)`라면, `output` 타입은 `i32`와 `i32`로
    // 결정됩니다.
    type A = i32;
    type B = i32;

    // `&Self::A`와 `&Self::B` 또한 여기서 유효합니다.
    fn contains(&self, number_1: &i32, number_2: &i32) -> bool {
        (&self.0 == number_1) && (&self.1 == number_2)
    }
    // 첫 번째 숫자를 가져옵니다.
    fn first(&self) -> i32 { self.0 }

    // 마지막 숫자를 가져옵니다.
    fn last(&self) -> i32 { self.1 }
}

fn difference<C: Contains>(container: &C) -> i32 {
    container.last() - container.first()
}

fn main() {
    let number_1 = 3;
    let number_2 = 10;

    let container = Container(number_1, number_2);

    println!("컨테이너가 {}와 {}를 포함합니까: {}",
        &number_1, &number_2,
        container.contains(&number_1, &number_2));
    println!("첫 번째 숫자: {}", container.first());
    println!("마지막 숫자: {}", container.last());

    println!("차이는: {}", difference(&container));
}