PhantomInvariantLifetime
PhantomInvariantLifetime (불변 라이프타임 마커)
라이프타임을 불변(invariant)으로 표시하는 데 쓰는 zero-sized 타입이에요.
출처: Rust 공식 문서
본문
불변 라이프타임은 선언된 정확한 길이만큼만 살아있어야 해요. 더 짧지도, 더 길지도 않아야 해요. 자세한 내용은 레퍼런스를 참고하세요.
pub struct PhantomInvariantLifetime<'a>(/* private fields */);
레이아웃
모든 'a에 대해 다음이 보장돼요.
size_of::<PhantomInvariantLifetime<'a>>() == 0align_of::<PhantomInvariantLifetime<'a>>() == 1