Function std::ptr::read_unaligned1.17.0 (const: unstable)[−][src]

pub unsafe fn read_unaligned<T>(src: *const T) -> T
Expand description

从 src 读取值而不移动它。这将使 src 中的内存保持不变。

与 read 不同，read_unaligned 使用未对齐的指针。

Safety

如果违反以下任一条件，则行为是未定义的：

  • src 必须是 有效的 才能读取。

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

与 read 一样，无论 T 是否为 Copy，read_unaligned 都会创建 T 的按位副本。 如果 T 不是 Copy，则同时使用返回值和 *src 处的值都可以 违反内存安全。

请注意，即使 T 的大小为 0，指针也必须非空。

在 packed 结构体上

尝试使用诸如 &packed.unaligned as *const FieldType 的表达式创建指向 unaligned 结构体字段的裸指针，然后再将其转换为裸指针，这会产生一个中间未对齐的引用。

引用是临时的并且立即强制转换是无关紧要的，因为编译器始终希望引用正确对齐。 结果，使用 &packed.unaligned as *const FieldType 会在程序中立即导致* undefined 行为 *。

相反，您必须使用 ptr::addr_of! 宏来创建指针。您可以将返回的指针与此函数一起使用。

一个不执行的操作以及它与 read_unaligned 的关系的示例是：

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

let packed = Packed {
    _padding: 0x00,
    unaligned: 0x01020304,
};

// 取一个未对齐的 32 位整数的地址。
// 与 `&packed.unaligned as *const _` 相比，它没有未定义的行为。
let unaligned = std::ptr::addr_of!(packed.unaligned);

let v = unsafe { std::ptr::read_unaligned(unaligned) };
assert_eq!(v, 0x01020304);
Run

但是，例如使用 packed.unaligned 直接访问未对齐的字段是安全的。

Examples

从字节缓冲区读取 usize 值：

use std::mem;

fn read_usize(x: &[u8]) -> usize {
    assert!(x.len() >= mem::size_of::<usize>());

    let ptr = x.as_ptr() as *const usize;

    unsafe { ptr.read_unaligned() }
}
Run