Краткий ответ

PhantomData<&'a T> — это маркер нулевого размера, который сообщает компилятору: тип логически связан с заимствованием &'a T, хотя физически ссылку не хранит. Поэтому Rust учитывает 'a при проверке допустимости типов, совместимости времён жизни, вывода дисперсии и некоторых автоматических ограничений, но сам маркер не создаёт заимствование и не продлевает жизнь T.

Исторический контекст

В системах владения иногда нужно выразить отношение с типом или временем жизни, которого нет среди реальных полей структуры. Без такого описания компилятор не смог бы учесть логическое заимствование при проверках, потому что анализирует фактические поля типа.

PhantomData решает эту задачу на уровне типов, не добавляя данных в память. Это позволяет библиотекам точно описывать семантику низкоуровневых обёрток, указателей и FFI-типов.

Постановка проблемы

Рассмотрим дескриптор, который физически хранит только адрес или идентификатор, но по смыслу не должен существовать дольше заимствованных данных. Если объявить его обычным типом без связи с 'a, компилятор может не увидеть это ограничение и разрешить использование дескриптора слишком долго.

Обратная ошибка тоже опасна: PhantomData<&'a T> не означает владение объектом T. Если выбрать PhantomData<T> вместо маркера ссылки, тип будет трактоваться как логически владеющий T, что может изменить проверки уничтожения и ограничения Send/Sync.

Подробное решение

В записи PhantomData<&'a T> присутствуют два важных отношения. Во-первых, тип зависит от 'a: экземпляр с такой меткой не должен использоваться там, где логическое заимствование уже недействительно. Во-вторых, &'a T задаёт требования, присущие общей ссылке: это не владение T, а только зависимость от доступности данных.

Маркер не занимает места и не содержит указатель. Он не выполняет проверку во время выполнения, не создаёт фактическое заимствование и не может продлить время жизни объекта. Его роль полностью статическая — повлиять на вывод и проверку типов.

use std::marker::PhantomData;

struct View<'a, T: ?Sized> {
    marker: PhantomData<&'a T>,
}

fn shorten<'long, 'short, T: ?Sized>(
    view: View<'long, T>,
    _borrow: &'short T,
) -> View<'short, T>
where
    'long: 'short,
{
    view
}

View не хранит ссылку, но его параметр 'a связан с моделью общей ссылки. При условии 'long: 'short тип может быть преобразован к более короткой длительности, поскольку такая зависимость ковариантна, как &T. Само преобразование не изменяет данные и не создаёт новое заимствование.

Выбор формы маркера является частью контракта типа. PhantomData<&'a T> обычно выражает логическое чтение заимствованных данных, PhantomData<&'a mut T> — более строгую зависимость от изменяемого заимствования, а PhantomData<T> — логическое владение T. Эти варианты могут по-разному влиять на дисперсию, проверку корректности уничтожения и автоматические реализации Send и Sync.

Ситуация из практики

Допустим, FFI-обёртка хранит только дескриптор буфера, выделенного в Rust, и должна не позволять передать дескриптор после уничтожения буфера. Вариант без PhantomData прост и не требует параметра времени жизни, но теряет важную статическую гарантию: дескриптор выглядит независимым от буфера.

Вариант с PhantomData<&'a [u8]> добавляет логическую связь без изменения ABI и размера структуры. Это хороший выбор, если обёртка лишь обращается к данным и не владеет ими; использование PhantomData<[u8]> было бы слишком сильным, потому что выразило бы владение данными.

Результат — компилятор учитывает срок действия буфера в типе дескриптора, а при этом в памяти остаётся только настоящий FFI-дескриптор. Цена решения — более сложные сигнатуры и необходимость явно выбрать правильную модель владения.

Что кандидаты часто упускают

Создаёт ли PhantomData<&'a T> реальное заимствование?

Нет. Маркер не обращается к T, не блокирует его изменение и не продлевает его существование. Он только сообщает компилятору о логической зависимости, которую нельзя выразить реальными полями.

Чем PhantomData<&'a T> принципиально отличается от PhantomData<T>?

Первый вариант моделирует невладеющее заимствование: тип зависит от доступности T, но не уничтожает его. Второй моделирует владение T, поэтому может усилить требования drop check и повлиять на автоматические свойства типа; подмена одного варианта другим меняет контракт, а не только синтаксис.

Гарантирует ли PhantomData<&'a T>, что обёртка всегда безопасна?

Нет. Она помогает выразить срок действия и свойства типа, но не проверяет корректность вручную полученного указателя, FFI-дескриптора или операции unsafe. Если внутренний дескриптор указывает не на тот объект, маркер не исправит ошибку; он лишь добавит статические ограничения там, где связь действительно описана.