Rust read_volatile用法及代碼示例

對 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);
}