Struct std::mem::Assume

source ·
pub struct Assume {
    pub alignment: bool,
    pub lifetimes: bool,
    pub safety: bool,
    pub validity: bool,
}
🔬This is a nightly-only experimental API. (transmutability #99571)
Expand description

编译器应假定 正在检查哪些转换安全条件?

Fields§

§alignment: bool
🔬This is a nightly-only experimental API. (transmutability #99571)

true 时,编译器假定 确保 (动态或静态) 目标引用对象没有比源引用对象更严格的对齐要求。

§lifetimes: bool
🔬This is a nightly-only experimental API. (transmutability #99571)

true 时,编译器假设 确保生命周期不会以违反 Rust 内存模型的方式扩展。

§safety: bool
🔬This is a nightly-only experimental API. (transmutability #99571)

true 时,编译器假定 已确保您可以安全地违反目标类型 (有时也是源类型) 的类型和字段隐私。

§validity: bool
🔬This is a nightly-only experimental API. (transmutability #99571)

true 时,编译器假定 确保源类型实际上是目标类型的有效实例。

Implementations§

source§

impl Assume

source

pub const NOTHING: Assume = Self{ alignment: false, lifetimes: false, safety: false, validity: false,}

🔬This is a nightly-only experimental API. (transmutability #99571)

不要假设已确保满足任何安全属性。

source

pub const ALIGNMENT: Assume = Self{ alignment: true, ..Self::NOTHING}

🔬This is a nightly-only experimental API. (transmutability #99571)

仅假设满足对齐条件。

source

pub const LIFETIMES: Assume = Self{ lifetimes: true, ..Self::NOTHING}

🔬This is a nightly-only experimental API. (transmutability #99571)

假设仅满足生命周期条件。

source

pub const SAFETY: Assume = Self{ safety: true, ..Self::NOTHING}

🔬This is a nightly-only experimental API. (transmutability #99571)

仅假设满足安全条件。

source

pub const VALIDITY: Assume = Self{ validity: true, ..Self::NOTHING}

🔬This is a nightly-only experimental API. (transmutability #99571)

仅假设满足动态可满足的有效性条件。

source

pub const fn and(self, other_assumptions: Assume) -> Assume

🔬This is a nightly-only experimental API. (transmutability #99571)

假设 selfother_assumptions

source

pub const fn but_not(self, other_assumptions: Assume) -> Assume

🔬This is a nightly-only experimental API. (transmutability #99571)

假设 selfother_assumptions 除外。

Trait Implementations§

source§

impl Add<Assume> for Assume

§

type Output = Assume

应用 + 运算符后的结果类型。
source§

fn add(self, other_assumptions: Assume) -> Assume

执行 + 操作。 Read more
source§

impl Clone for Assume

source§

fn clone(&self) -> Assume

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

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

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

impl Debug for Assume

source§

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

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

impl PartialEq<Assume> for Assume

source§

fn eq(&self, other: &Assume) -> bool

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

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

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

impl Sub<Assume> for Assume

§

type Output = Assume

应用 - 运算符后的结果类型。
source§

fn sub(self, other_assumptions: Assume) -> Assume

执行 - 操作。 Read more
source§

impl Copy for Assume

source§

impl Eq for Assume

source§

impl StructuralEq for Assume

source§

impl StructuralPartialEq for Assume

Auto Trait Implementations§

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> ToOwned for Twhere T: Clone,

§

type Owned = T

获得所有权后的结果类型。
source§

fn to_owned(&self) -> T

从借用的数据创建拥有的数据,通常是通过克隆。 Read more
source§

fn clone_into(&self, target: &mut T)

使用借来的数据来替换拥有的数据,通常是通过克隆。 Read more
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>

执行转换。