Rust write_unaligned用法及代码示例

本文简要介绍rust语言中 Function std::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 std::ptr::write_unaligned。非经特殊声明，原始代码版权归原作者所有，本译文未经允许或授权，请勿转载或复制。

用法

安全性

在 packed 结构上

例子

在 `packed` 结构上