Rust write_unaligned用法及代碼示例

本文簡要介紹rust語言中 Function core::ptr::write_unaligned 的用法。

用法

pub unsafe fn write_unaligned<T>(dst: *mut T, src: T)

用給定值覆蓋內存位置，而不讀取或刪除舊值。

與 write() 不同，指針可能未對齊。

write_unaligned 不會刪除 dst 的內容。這是安全的，但它可能會泄漏分配或資源，因此應注意不要覆蓋應刪除的對象。

此外，它不會刪除 src 。從語義上講，src 被移動到 dst 指向的位置。

這適用於初始化未初始化的內存，或覆蓋以前使用 read_unaligned 讀取的內存。

安全性

如果違反以下任何條件，則行為未定義：

對於寫入，dst 必須是 valid。

請注意，即使 T 的大小為 0 ，指針也必須為非空。

在 `packed` 結構上

嘗試創建一個指向unaligned具有如下表達式的結構體字段&packed.unaligned as *const FieldType在將其轉換為原始指針之前創建一個中間未對齊引用。該引用是臨時的並且立即強製轉換是無關緊要的，因為編譯器始終期望引用正確對齊。結果，使用&packed.unaligned as *const FieldType立即引起未定義的行為在你的程序中。

相反，您必須使用 ptr::addr_of_mut! 宏來創建指針。您可以將返回的指針與此函數一起使用。

如何做到這一點以及這與 write_unaligned 的關係的一個例子是：

#[repr(packed, C)]
struct Packed {
    _padding: u8,
    unaligned: u32,
}

let mut packed: Packed = unsafe { std::mem::zeroed() };

// Take the address of a 32-bit integer which is not aligned.
// In contrast to `&packed.unaligned as *mut _`, this has no undefined behavior.
let unaligned = std::ptr::addr_of_mut!(packed.unaligned);

unsafe { std::ptr::write_unaligned(unaligned, 42) };

assert_eq!({packed.unaligned}, 42); // `{...}` forces copying the field instead of creating a reference.

直接使用例如訪問未對齊的字段但是packed.unaligned 是安全的(如上麵的assert_eq! 所示)。

例子

將 usize 值寫入字節緩衝區：

use std::mem;

fn write_usize(x: &mut [u8], val: usize) {
    assert!(x.len() >= mem::size_of::<usize>());

    let ptr = x.as_mut_ptr() as *mut usize;

    unsafe { ptr.write_unaligned(val) }
}

相關用法

注：本文由純淨天空篩選整理自rust-lang.org大神的英文原創作品 Function core::ptr::write_unaligned。非經特殊聲明，原始代碼版權歸原作者所有，本譯文未經允許或授權，請勿轉載或複製。

用法

安全性

在 packed 結構上

例子

在 `packed` 結構上