Function std::ptr::read_unaligned 1.17.0[−][src]
pub const 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
处的值都可以 violate memory safety。
请注意,即使 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