Advanced Trait

고급 트레이트 판단 기준

연관 타입, 기본 제네릭 타입 파라미터, 완전 정규화 문법은 트레이트 API가 커질 때 모호성을 줄이는 도구입니다.

계약을 더 정확하게 표현

연관 타입

Iterator::Item처럼 구현당 하나의 타입을 고정합니다.

기본 타입

Add<Rhs=Self>처럼 흔한 경우의 타입 인자를 줄입니다.

동명 메서드

타입 메서드와 트레이트 메서드 이름 충돌을 구분합니다.

슈퍼트레이트

한 트레이트가 다른 트레이트 능력을 요구할 때 씁니다.

고급 트레이트 선택: 구현자가 선택해야 할 출력 타입인지, 기본 타입 인자가 자연스러운지, 같은 이름 메서드의 출처를 명확히 해야 하는지 확인합니다.