Struct core::mem::ManuallyDrop

1.20.0 · source ·
#[repr(transparent)]
pub struct ManuallyDrop<T: ?Sized> { /* private fields */ }
Expand description

包装器,用于禁止编译器自动调用 T 的析构函数。 该包装器的成本为 0。

ManuallyDrop<T> 保证与 T 具有相同的布局,并受到与 T 相同的布局优化的约束。因此,它在编译器对其内容进行假设的前提下具有 no 效果

例如,用 mem::zeroed 初始化 ManuallyDrop<&mut T> 是未定义的行为。如果需要处理未初始化的数据,请改用 MaybeUninit<T>

请注意,访问 ManuallyDrop<T> 内部的值是安全的。 这意味着其内容已被丢弃的 ManuallyDrop<T> 一定不能通过公共安全 API 公开。 相应地,ManuallyDrop::drop 是不安全的。

ManuallyDrop 和丢弃顺序。

Rust 具有定义明确的 丢弃顺序 值。为确保按特定顺序丢弃字段或局部变量,请对声明重新排序,以使隐式丢弃顺序正确。

可以使用 ManuallyDrop 来控制丢弃顺序,但这需要不安全的代码,并且在展开状态下很难正确执行。

例如,如果您想要确保一个特定的字段在其他字段之后被丢弃,将它作为结构的最后一个字段:

struct Context;

struct Widget {
    children: Vec<Widget>,
    // `context` 将在 `children` 之后被丢弃。
    // Rust 保证按声明顺序丢弃字段。
    context: Context,
}
Run

Implementations§

source§

impl<T> ManuallyDrop<T>

const: 1.32.0 · source

pub const fn new(value: T) -> ManuallyDrop<T>

包装一个要手动丢弃的值。

Examples
use std::mem::ManuallyDrop;
let mut x = ManuallyDrop::new(String::from("Hello World!"));
x.truncate(5); // 您仍然可以安全地操作值
assert_eq!(*x, "Hello");
// 但是 `Drop` 不会在这里运行
Run
const: 1.32.0 · source

pub const fn into_inner(slot: ManuallyDrop<T>) -> T

ManuallyDrop 容器中提取值。

这样可以再次丢弃该值。

Examples
use std::mem::ManuallyDrop;
let x = ManuallyDrop::new(Box::new(()));
let _: Box<()> = ManuallyDrop::into_inner(x); // 这将使 `Box` 丢弃。
Run
1.42.0 · source

pub unsafe fn take(slot: &mut ManuallyDrop<T>) -> T

ManuallyDrop<T> 容器中取出值。

此方法主要用于在 drop 中移出值。 您可以使用此方法获取值并根据需要使用它,而不是使用 ManuallyDrop::drop 手动删除该值。

只要有可能,最好改用 into_inner,这样可以防止重复 ManuallyDrop<T> 的内容。

Safety

该函数从语义上移出所包含的值,而不会阻止进一步使用,从而使该容器的状态保持不变。 您有责任确保不再使用此 ManuallyDrop

source§

impl<T: ?Sized> ManuallyDrop<T>

source

pub unsafe fn drop(slot: &mut ManuallyDrop<T>)

手动丢弃包含的值。这完全等同于使用指向所包含值的指针来调用 ptr::drop_in_place。 这样,除非所包含的值是包装的结构体,否则析构函数将在不移动值的情况下就地调用,因此可用于安全地丢弃 固定 数据。

如果您拥有该值的所有权,则可以改用 ManuallyDrop::into_inner

Safety

此函数运行包含值的析构函数。 除了析构函数本身所做的更改之外,内存保持不变,因此就编译器而言,仍然保留一种对于 T 类型有效的位模式。

但是,此 “zombie” 值不应暴露给安全代码,并且不应多次调用此函数。 在丢弃值或多次丢弃值后使用该值可能会导致未定义行为 (取决于 drop 的作用)。 类型系统通常会阻止这种情况,但是 ManuallyDrop 的用户必须在没有编译器帮助的情况下遵守这些保证。

Trait Implementations§

source§

impl<T: Clone + ?Sized> Clone for ManuallyDrop<T>

source§

fn clone(&self) -> ManuallyDrop<T>

返回值的副本。 Read more
1.0.0 · source§

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

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

impl<T: Debug + ?Sized> Debug for ManuallyDrop<T>

source§

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

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

impl<T: Default + ?Sized> Default for ManuallyDrop<T>

source§

fn default() -> ManuallyDrop<T>

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

impl<T: ?Sized> Deref for ManuallyDrop<T>

§

type Target = T

解引用后的结果类型。
source§

fn deref(&self) -> &T

解引用值。
source§

impl<T: ?Sized> DerefMut for ManuallyDrop<T>

source§

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

可变地解引用该值。
source§

impl<T: Hash + ?Sized> Hash for ManuallyDrop<T>

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

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

impl<T: Ord + ?Sized> Ord for ManuallyDrop<T>

source§

fn cmp(&self, other: &ManuallyDrop<T>) -> Ordering

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

impl<T: PartialEq + ?Sized> PartialEq<ManuallyDrop<T>> for ManuallyDrop<T>

source§

fn eq(&self, other: &ManuallyDrop<T>) -> bool

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

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

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

impl<T: PartialOrd + ?Sized> PartialOrd<ManuallyDrop<T>> for ManuallyDrop<T>

source§

fn partial_cmp(&self, other: &ManuallyDrop<T>) -> Option<Ordering>

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

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

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

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

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

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

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

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

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

impl<T: Copy + ?Sized> Copy for ManuallyDrop<T>

source§

impl<T: Eq + ?Sized> Eq for ManuallyDrop<T>

source§

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

source§

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

Auto Trait Implementations§

§

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

§

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

§

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

§

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

§

impl<T: ?Sized> UnwindSafe for ManuallyDrop<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>

执行转换。