[Rust] trait: Associated types

#Rust

Associated types은 트레잇 단위에 내부 타입을 정의하게 해주는 일종의 제너릭 기능이다.
사실 기능적으로 대단한걸 하는건 아니고, 그냥 가독성을 향상시켜주는 정도의 역할만 한다.

만약, 트레잇을 사용해서 배열의 인터페이스를 정의한다면 이렇게 할 수 있을 것이다.

구현에도 문제는 없다.

저기서 T라는 제너릭 타입은 전반적으로 꽤 큰 의미를 가지고 있다. 각각의 배열 요소에 대한 타입을 가리키기 때문이다.

이러한 의미에서 이런건 Associated types으로 정의하면 좀더 직관적으로 보일 수 있다.
제너릭 파라미터를 제거하고, 그걸 Associated type 정의로 대치했다.

저러면 이제 type Item이라는 타입 정의는 반드시 구현자가 재정의를 해야하는 타입이 된다. 사실 제너릭으로 초기하던 것과 별로 다르지는 않다.

그럼 이제 구현자 측에서는 이런식으로 덮어쓸 수 있다.

좀더 괜찮아 보이나?
취향이 조금 갈릴 수도 있긴 한데, 보통 이러한 구조로 사용을 많이 하는 편이다.

그리고 저런것 외에도 내부에서 반복적으로 쓰일 수 있는 타입을 alias해서 사용하기에도 괜찮다.
적합한 예시라고 할 수는 없지만, 인덱스에 사용하는 usize 타입을 일반화해서 표현할 수도 있을 것이다.