PhantomInvariant

PhantomInvariant (불변 타입 파라미터 마커)

타입 파라미터를 불변(invariant)으로 표시하는 데 쓰는 zero-sized 타입이에요.

출처: Rust 공식 문서

본문

함수의 인자로 전달되면서 그리고 반환값의 일부로도 사용되는 타입은 불변(invariant)이에요. 자세한 내용은 레퍼런스를 참고하세요.

pub struct PhantomInvariant<T>(/* private fields */)
where
    T: ?Sized;

레이아웃

모든 T에 대해 다음이 보장돼요.

  • size_of::<PhantomInvariant<T>>() == 0
  • align_of::<PhantomInvariant<T>>() == 1

더 알아보기 (Learn more)

Rust 공식 문서