当前位置: 首页>>代码示例 >>用法及示例精选 >>正文


Rust core::ptr::read_volatile用法及代码示例


用法

pub unsafe fn read_volatile<T>(src:*const T) -> T

src 中的值执行易失性读取而不移动它。这使src 中的内存保持不变。

易失性操作旨在作用于 I/O 内存,并保证编译器不会在其他易失性操作中忽略或重新排序。

注意

Rust 目前没有严格和正式定义的内存模型,因此“volatile” 在这里所指的精确语义会随着时间而改变。话虽如此,语义最终几乎总是与 C11 对 volatile 的定义非常相似。

编译器不应更改易失性内存操作的相对顺序或数量。但是,对零大小类型的易失性内存操作(例如,如果将零大小类型传递给 read_volatile )是无操作的,可能会被忽略。

安全性

如果违反以下任何条件,则行为未定义:

  • src 必须对读取有效。

  • src 必须正确对齐。

  • src 必须指向 T 类型的正确初始化值。

read 一样,read_volatile 创建 T 的按位副本,无论 T 是否为 Copy 。如果 T 不是 Copy ,则同时使用返回值和 *src 处的值可能会违反内存安全。但是,将非 Copy 类型存储在易失性内存中几乎肯定是不正确的。

请注意,即使 T 的大小为 0 ,指针也必须非空且正确对齐。

就像在 C 中一样,一个操作是否是 volatile 与涉及来自多个线程的并发访问的问题没有任何关系。在这方面,易失性访问的行为与非原子访问完全相同。特别是,read_volatile 和对同一位置的任何写入操作之间的竞争是未定义的行为。

例子

基本用法:

let x = 12;
let y = &x as *const i32;

unsafe {
    assert_eq!(std::ptr::read_volatile(y), 12);
}

相关用法


注:本文由纯净天空筛选整理自rust-lang.org大神的英文原创作品 Function core::ptr::read_volatile。非经特殊声明,原始代码版权归原作者所有,本译文未经允许或授权,请勿转载或复制。