[Rust] Sized 트레잇

Sized는 단어 그대로 사이즈를 관리하는 특수한 트레잇이다.

만약 Sized 트레잇을 만족한다고 하면, 그 타입은 컴파일타임에 크기를 알 수 있는 타입이다!

그래서 일반적인 기본 타입들은 전부 Sized를 구현하고, 타입에 바운드를 걸더라도 전부 Sized가 암시적으로 들어간다.

아래 코드는 T: Sized를 명시적으로 해뒀지만, 생략해도 결과는 같다.

그냥 i32은 괜찮지만 [i32]는 아니라는 것이다.
[i32]은 애초에 길이를 알 수 없기 때문에, 컴파일타임에 그 크기를 알 수 없기 따문이다.
또 참조를 붙이지 않은 트레잇 타입도 마찬가지다. 구현체가 하나가 아니기 때문에 크기를 알 수가 없다.

이런 가변크기의 타입은 Sized가 아닌 ?Sized로 표시를 해야한다. ?Sized는 크기를 알수 있든 없든 다 받아주는 친구다.

대충 이렇다.

Box 같은 놈들이 ?Sized를 받는 친구들이다.

트레잇 오브젝트 생성 금지
그런데 Sized를 트레잇에 상속을 시키면 조금 다른 용법이 된다.

위와 같이 해당 트레잇으론 트레잇 오브젝트를 만들 수가 없게 되는 것이다.

되게 뭐라그런다.

참조
https://stackoverflow.com/questions/30938499/why-is-the-sized-bound-necessary-in-this-trait
http://huonw.github.io/blog/2015/01/the-sized-trait/