Параметры фантомного типа - единственное, что не отображается во время выполнения, но проверяется статически (и только статически) во время компиляции.
Типы данных могут использовать дополнительные обобщённые типы в качестве параметров-маркеров или для выполнения проверки типов во время компиляции. Эти дополнительные параметры не сохраняют значения и не имеют поведения во время выполнения.
В следующем примере мы совместили std::marker::PhantomData и концепцию параметров фантомных типов для создания кортежей разных типов.
use std::marker::PhantomData;
// Фантомная кортежная структура, которая имеет обобщение `A` со скрытым параметром `B`.
#[derive(PartialEq)] // Разрешаем для данного типа сравнения.
struct PhantomTuple(A,PhantomData);
// Фантомная структура, которая имеет обобщение `A` со скрытым параметром `B`.
#[derive(PartialEq)] // Разрешаем для данного типа сравнения.
struct PhantomStruct { first: A, phantom: PhantomData }
// Заметьте: память выделена для обобщённого типа `A`, но не для `B`.
// Следовательно, `B` не может быть использована в вычислениях.
fn main() {
// Здесь `f32` и `f64` - скрытые параметры.
// Тип PhantomTuple объявлен с ``.
let _tuple1: PhantomTuple = PhantomTuple('Q', PhantomData);
// Тип PhantomTuple объявлен с ``.
let _tuple2: PhantomTuple = PhantomTuple('Q', PhantomData);
// Тип определён как ``.
let _struct1: PhantomStruct = PhantomStruct {
first: 'Q',
phantom: PhantomData,
};
// Тип определён как ``.
let _struct2: PhantomStruct = PhantomStruct {
first: 'Q',
phantom: PhantomData,
};
// Ошибка времени компиляции! Типы не совпадают, так что сравнение не может быть произведено:
//println!("_tuple1 == _tuple2 даёт в результате: {}",
// _tuple1 == _tuple2);
// Ошибка времени компиляции! Типы не совпадают, так что сравнение не может быть произведено:
//println!("_struct1 == _struct2 даёт в результате: {}",
// _struct1 == _struct2);
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
derive, struct и кортежные структуры