[Rust] 트레잇

예전에 썼던게 너무 허접해서 다시 정리한다.
트레잇은 일종의 인터페이스로, 정의되지 않은 메서드의 선언들을 가질 수 있다.

트레잇의 선언은 아래의 구조를 가진다.
trait** 트레잇명**
{ ...선언들... }

그리고 트레잇들은 impl 키워드를 통해서 구조체(클래스)에 구현된다.
impl** 트레잇명 for 구조체명**
{ ...구현들... }

아래 코드는 정적메서드만을 가지는 간단한 트레잇을 만들어놓은 것이다.

당연히 동적메서드도 사용 가능하다.

트레잇 매개변수
트레잇도 타입이므로, 트레잇을 매개변수의 타입으로 지정할 수 있다.
대신, 타입명 앞에 impl 등을 붙여줘야 한다.

참조형으로 바꾸면 이렇게 된다. impl도 타입표기의 표현으로 취급되기 때문에, 그 앞에 & 등을 붙인다.

그리고 impl이 붙은 매개변수는 거의 항상 정적 디스패치의 대상이 된다. 런타임이 아니라, 컴파일타임에 변환이 이뤄진다는 것이다.

때문에 이런 상황에는 에러를 던진다.
트레잇 타입인 &Foo로 업캐스팅해서 보냈으니, 함수 입장에선 이걸 vtable 접근 없이 실제 객체를 추적할 수가 없는 것이다.

이럴때는 그냥 런타임 추론을 써야한다.

런타임 추론이 필요한 참조형이나 포인터인 경우에는, impl 대신 dyn을 쓸 수 있다.
그럼 vtable을 추적해서 알아서 처리해준다.

impl 트레잇은 정적 디스패치, dyn 트레잇은 동적 디스패치용으로 구분된 것이다.

참고로, 트레잇명만 써놓는건 dyn과 동일하게 동작한다.

권장되진 않는다. dyn을 꼬박꼬박 붙여주자

트레잇 상속
트레잇은 상속도 된다.
그냥 트레잇명 옆에 콜론 쓰고 상속할 트레잇을 지정하면 된다.

근데 생각보다 편리하진 않다. Bar가 Foo를 상속받았음에도, Bar impl 구문에 Foo 구현을 집어넣을 수가 없다...

그래서 위의 코드에서도 Foo를 따로 구현했다. 저렇게 할 경우의 이점은, Foo를 impl하지 않으면 에러를 던져서 체크를 해주는것 뿐이다.

트레잇 컴포지션
다중상속도 된다. +로 트레잇을 이어붙이면 된다.

이외에도 2개 이상의 트레잇을 조건으로 부여할 때는 +로 붙여서 표기한다.
아래 코드는 매개변수 타입에 트레잇을 2개 이상 겹쳐놓은 것이다.

그렇다.