Struct core::marker::PhantomData

1.0.0 · source ·
pub struct PhantomData<T: ?Sized>;
Expand description

零大小的类型用来标记那些行为像它们拥有一个 T 的东西。

向您的类型添加 PhantomData<T> 字段将告诉编译器,您的类型的行为就像它存储了 T 类型的值一样,即使实际上并非如此。 在计算某些安全属性时会使用此信息。

有关如何使用 PhantomData<T> 的更深入的说明,请参见 the Nomicon

一个可怕的笔记 👻👻👻

尽管它们都有可怕的名称,但 PhantomData 和 phantom 类型是相关的,但并不完全相同。phantom 类型参数只是从未使用过的类型参数。 在 Rust 中,这通常会导致编译器抱怨,而解决方案是通过 PhantomData 添加 “dummy” 用途。

Examples

未使用的生命周期参数

PhantomData 的最常见用例也许是具有未使用的生命周期参数的结构体,通常将其用作某些不安全代码的一部分。 例如,这是一个结构体 Slice,它具有两个 *const T 类型的指针,大概指向某个地方的数组:

struct Slice<'a, T> {
    start: *const T,
    end: *const T,
}
Run

目的是底层数据仅在生命周期 'a 内有效,因此 Slice 不应超过 'a。 但是,此意图未在代码中表达,因为没有使用生命周期 'a,因此尚不清楚它适用于什么数据。 我们可以通过告诉编译器如果 Slice 结构体包含引用 &'a T 来执行 *as 来纠正此问题:

use std::marker::PhantomData;

struct Slice<'a, T> {
    start: *const T,
    end: *const T,
    phantom: PhantomData<&'a T>,
}
Run

这也反过来推断生命周期绑定 T: 'a,表明 T 中的任何引用在生命周期 'a 内有效。

初始化 Slice 时,只需为字段 phantom 提供值 PhantomData

fn borrow_vec<T>(vec: &Vec<T>) -> Slice<'_, T> {
    let ptr = vec.as_ptr();
    Slice {
        start: ptr,
        end: unsafe { ptr.add(vec.len()) },
        phantom: PhantomData,
    }
}
Run

未使用的类型参数

有时可能会发生未使用的类型参数,这些参数指示 “tied” 将结构体数据类型化的数据,即使该数据实际上不是在结构体本身中找到的也是如此。

这是 FFI 出现此情况的示例。 外部接口使用 *mut () 类型的句柄来引用不同类型的 Rust 值。 我们使用包裹句柄的结构体 ExternalResource 上的 phantom 类型参数来跟踪 Rust 类型。

use std::marker::PhantomData;
use std::mem;

struct ExternalResource<R> {
   resource_handle: *mut (),
   resource_type: PhantomData<R>,
}

impl<R: ResType> ExternalResource<R> {
    fn new() -> Self {
        let size_of_res = mem::size_of::<R>();
        Self {
            resource_handle: foreign_lib::new(size_of_res),
            resource_type: PhantomData,
        }
    }

    fn do_stuff(&self, param: ParamType) {
        let foreign_params = convert_params(param);
        foreign_lib::do_stuff(self.resource_handle, foreign_params);
    }
}
Run

所有权和 drop 检测

PhantomData 与丢弃检查的确切交互可能会在 future中发生变化。

目前,添加 PhantomData<T> 类型的字段表示在极少数情况下您的类型拥有T 类型的数据。 这反过来又会影响 Rust 编译器的 drop check 分析。 有关确切规则,请参见 drop check 文档。

Layout

对于所有 T,保证以下内容:

  • size_of::<PhantomData<T>>() == 0
  • align_of::<PhantomData<T>>() == 1

Trait Implementations§

source§

impl<T: ?Sized> Clone for PhantomData<T>

source§

fn clone(&self) -> Self

返回值的副本。 Read more
source§

fn clone_from(&mut self, source: &Self)

source 执行复制分配。 Read more
source§

impl<T: ?Sized> Debug for PhantomData<T>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

使用给定的格式化程序格式化该值。 Read more
source§

impl<T: ?Sized> Default for PhantomData<T>

source§

fn default() -> Self

返回类型的 “默认值”。 Read more
source§

impl<T: ?Sized> Hash for PhantomData<T>

source§

fn hash<H: Hasher>(&self, _: &mut H)

将该值输入给定的 HasherRead more
1.3.0 · source§

fn hash_slice<H: Hasher>(data: &[Self], state: &mut H)where Self: Sized,

将这种类型的切片送入给定的 Hasher 中。 Read more
source§

impl<T: ?Sized> Ord for PhantomData<T>

source§

fn cmp(&self, _other: &PhantomData<T>) -> Ordering

此方法返回 selfother 之间的 OrderingRead more
1.21.0 · source§

fn max(self, other: Self) -> Selfwhere Self: Sized,

比较并返回两个值中的最大值。 Read more
1.21.0 · source§

fn min(self, other: Self) -> Selfwhere Self: Sized,

比较并返回两个值中的最小值。 Read more
1.50.0 · source§

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd,

将值限制在某个时间间隔内。 Read more
source§

impl<T: ?Sized> PartialEq<PhantomData<T>> for PhantomData<T>

source§

fn eq(&self, _other: &PhantomData<T>) -> bool

此方法测试 selfother 值是否相等,并由 == 使用。
source§

fn ne(&self, other: &Rhs) -> bool

此方法测试 !=。 默认实现几乎总是足够的,并且不应在没有充分理由的情况下被覆盖。
source§

impl<T: ?Sized> PartialOrd<PhantomData<T>> for PhantomData<T>

source§

fn partial_cmp(&self, _other: &PhantomData<T>) -> Option<Ordering>

如果存在,则此方法返回 selfother 值之间的顺序。 Read more
source§

fn lt(&self, other: &Rhs) -> bool

此方法测试的内容少于 (对于 selfother),并且由 < 操作员使用。 Read more
source§

fn le(&self, other: &Rhs) -> bool

此方法测试小于或等于 (对于 selfother),并且由 <= 运算符使用。 Read more
source§

fn gt(&self, other: &Rhs) -> bool

此方法测试大于 (对于 selfother),并且由 > 操作员使用。 Read more
source§

fn ge(&self, other: &Rhs) -> bool

此方法测试是否大于或等于 (对于 selfother),并且由 >= 运算符使用。 Read more
source§

impl<T: ?Sized> Copy for PhantomData<T>

source§

impl<T: ?Sized> Eq for PhantomData<T>

source§

impl<T: ?Sized> StructuralEq for PhantomData<T>

source§

impl<T: ?Sized> StructuralPartialEq for PhantomData<T>

Auto Trait Implementations§

§

impl<T: ?Sized> RefUnwindSafe for PhantomData<T>where T: RefUnwindSafe,

§

impl<T: ?Sized> Send for PhantomData<T>where T: Send,

§

impl<T: ?Sized> Sync for PhantomData<T>where T: Sync,

§

impl<T: ?Sized> Unpin for PhantomData<T>where T: Unpin,

§

impl<T: ?Sized> UnwindSafe for PhantomData<T>where T: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

获取 selfTypeIdRead more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

从拥有的值中一成不变地借用。 Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

从拥有的值中借用。 Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

返回未更改的参数。

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

调用 U::from(self)

也就是说,这种转换是 From<T> for U 实现选择执行的任何操作。

source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

发生转换错误时返回的类型。
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

执行转换。
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

发生转换错误时返回的类型。
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

执行转换。