PhantomData-параметры

Параметры фантомного типа - единственное, что не отображается во время выполнения, но проверяется статически (и только статически) во время компиляции.

Типы данных могут использовать дополнительные обобщённые типы в качестве параметров-маркеров или для выполнения проверки типов во время компиляции. Эти дополнительные параметры не сохраняют значения и не имеют поведения во время выполнения.

В следующем примере мы совместили 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 и кортежные структуры

Загрузка...