[Rust] lifetime: PhantomData

#Rust

PhantomData은 빡빡한 라이프타임 검사를 회피/보완하기 위해 제공되는 특수한 empty 마커 타입이다.
이걸 쓴다고 딱히 메모리를 더 먹거나 느려지지는 않고, 그냥 힌트만 제공하는 것이다.

다른 포스트들을 보니까 Vec 타입을 예로 들면서 Drop에 필요한 어쩌고저쩌고... 하면서 설명하는데, 이건 2016년쯤 이후로는 유효하지 않은 설명이다.
그런건 필요하지 않다. 그냥 알아서 잘 drop해준다.

이게 필요한 경우는 특정 타입에 대해 임시적으로 소유권을 가지는 프록시 타입을 구현할 때다.
가장 대표적인 것은 iterator 같은 타입이라고 보면 되겠다.

예시

자. 동적배열과 동적배열의 특정 지점을 가리키는 이터레이터를 구현한다고 가정하겠다.

배열은 이렇게 구현했고

이터레이터는 이렇게 구현했다.

혹시 이상한 점이 보이는가?
안보인다고? 그럼 아래 코드를 보면 어떤가?

배열은 내부 스코프에 가둬놔서 그 안에서 살고 죽는데, iterator는 바깥 스코프까지 리턴돼서 살아있는 척을 하고 있다.

이러면 iterator가 이미 죽은 배열 객체를 참조하는 이상한 상황이 발생할 수가 있다.

저 문제를 근본부터 막으려면, 저 iterator의 라이프타임을 생성 시점에 고정해야 한다.

그러려면 우선 Iterator 객체에도 라이프타임을 마킹해야 하는데...

음? 라이프타임을 추가하긴 했는데, 필드에 해당되는게 없으니 에러가 난다.
근데 그렇다고 raw pointer에 라이프타임을 달 수도 없고...

PhantomData가 필요한 경우가 바로 이때다.
그냥 땜빵이다.

그럼 컴파일이 될 것이다.

iterator 생성 함수에도 이런식으로 라이프타임을 넣어주면

짜잔.

이제 잘 검사해준다.

대충 이런식으로 써먹으면 된다.