本文简要介绍rust语言中 Function core::ptr::read_volatile
的用法。
用法
pub unsafe fn read_volatile<T>(src: *const T) -> T
对 src
中的值执行易失性读取而不移动它。这使src
中的内存保持不变。
易失性操作旨在作用于 I/O 内存,并保证编译器不会在其他易失性操作中忽略或重新排序。
注意
Rust 目前没有严格且正式定义的内存模型,因此 “volatile” 的精确语义可能会随着时间的推移而发生变化。话虽这么说,语义几乎总是最终与 C11's definition of volatile 非常相似。
编译器不应更改易失性内存操作的相对顺序或数量。但是,对零大小类型的易失性内存操作(例如,如果将零大小类型传递给 read_volatile
)是无操作的,可能会被忽略。
安全性
如果违反以下任何条件,则行为未定义:
-
src
必须是 valid 才能读取。 -
src
必须正确对齐。 -
src
必须指向T
类型的正确初始化值。
与 read
一样,read_volatile
创建 T
的按位副本,无论 T
是否为 Copy
。如果 T
不是 Copy
,则同时使用返回值和 *src
处的值可以 violate memory safety 。但是,将非 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 read_to_string用法及代码示例
- Rust read_link用法及代码示例
- Rust read_unaligned用法及代码示例
- Rust read_dir用法及代码示例
- Rust read用法及代码示例
- Rust ready用法及代码示例
- Rust rename用法及代码示例
- Rust remove_dir_all用法及代码示例
- Rust remove_file用法及代码示例
- Rust resume_unwind用法及代码示例
- Rust repeat用法及代码示例
- Rust remove_dir用法及代码示例
- Rust remove_var用法及代码示例
- Rust repeat_with用法及代码示例
- Rust replace用法及代码示例
- Rust range用法及代码示例
- Rust UdpSocket.set_multicast_loop_v6用法及代码示例
- Rust i64.overflowing_add_unsigned用法及代码示例
- Rust Box.downcast用法及代码示例
- Rust BTreeMap.last_key_value用法及代码示例
- Rust str.make_ascii_uppercase用法及代码示例
- Rust u128.checked_pow用法及代码示例
- Rust usize.wrapping_mul用法及代码示例
- Rust AtomicU8.fetch_sub用法及代码示例
- Rust PanicInfo.payload用法及代码示例
注:本文由纯净天空筛选整理自rust-lang.org大神的英文原创作品 Function core::ptr::read_volatile。非经特殊声明,原始代码版权归原作者所有,本译文未经允许或授权,请勿转载或复制。