Rust의 존재적 타입, 어떻게 다뤄야 할까?

저자는 연관 타입(Associated Types)과 `PhantomData`를 사용하여 존재적 타입을 '지우는(Erasing)' 시도를 보여준다. `PhantomData`를 통해 런타임에 영향을 주지 않으면서 타입 정보를 추가할 수 있다. 하지만, `Box`에 넣는 과정에서 연관 타입의 구체적인 타입을 지정해야 하는 문제가 발생한다. 이는 Rust의 타입 시스템이 단일 존재적 바운드(Single Existential Bound)만 지원하기 때문이다.

Rust의 제약으로 인해, 저자는 여러 존재적 바운드를 완전히 자동적으로 지우는 것이 불가능하다고 결론 내린다. 대신, `Erased` 트레이트를 정의하여 각 함수 시그니처를 수동으로 수정하는 '수동적인 지우기(Manual Erasing)' 방법을 제시한다. 이 방법은 `dyn` 호환성(dyn-compatibility)을 확보하지만, 각 함수를 일일이 수정해야 하는 번거로움이 있다. 또한, `std::any::Any`를 사용하여 런타임에 타입을 처리해야 하는 단점이 존재한다.