Rust中如何无拷贝访问未对齐数据？1.78版本兼容问题

问题根源 #

Rust 1.78开始严格执行std::slice::from_raw_parts的前置条件：传入的指针必须满足目标元素类型的内存对齐要求。

你之前的代码依赖未定义行为（UB）：虽然用了unsafe，但unsafe仅允许你手动保证代码的安全性，而非无视Rust的内存规则。Rust中slice的核心不变量之一就是其起始指针必须对齐到元素类型的对齐值，之前的版本未做运行时检查，但这不代表代码合法——UB的表现是不可预测的，版本更新后触发检查完全符合语言规范。

对比C++：虽然C++同样将未对齐访问定义为UB，但GCC/Clang等编译器在x86_64/arm64架构上通常会生成兼容未对齐访问的指令，不过这属于编译器扩展行为，并非标准保证的特性。

零拷贝解决方案 #

方案1：使用ptr::read_unaligned逐个读取 #

直接通过未对齐指针读取单个值，无需分配额外内存，完全零拷贝：

fn main() {
    let arr: &[u8] = &[100, 110, 120, 130, 140, 150, 160, 170, 180, 190];
    
    // 对齐指针可正常创建slice
    let f1 = unsafe { std::slice::from_raw_parts(arr.as_ptr() as *const f32, 2) };
    
    // 未对齐指针逐个读取
    let f2_base = arr[1..].as_ptr() as *const f32;
    let f2_0 = unsafe { std::ptr::read_unaligned(f2_base) };
    let f2_1 = unsafe { std::ptr::read_unaligned(f2_base.add(1)) };
    
    println!("F1: {}, {} F2: {}, {}", f1[0], f1[1], f2_0, f2_1);
}

方案2：使用bytemuck库批量转换 #

bytemuck是专门处理字节与强类型转换的库，提供cast_slice_unaligned函数支持未对齐的零拷贝转换，代码更简洁：

首先在Cargo.toml添加依赖：

[dependencies]
bytemuck = "1.14"

然后编写代码：

use bytemuck::cast_slice_unaligned;

fn main() {
    let arr: &[u8] = &[100, 110, 120, 130, 140, 150, 160, 170, 180, 190];
    
    // 转换对齐的字节片段
    let f1 = cast_slice_unaligned::<u8, f32>(&arr[0..8]);
    // 转换未对齐的字节片段
    let f2 = cast_slice_unaligned::<u8, f32>(&arr[1..9]);
    
    println!("F1: {}, {} F2: {}, {}", f1[0], f1[1], f2[0], f2[1]);
}

该库内部已经处理了未对齐访问的安全性，避免了手动编写大量unsafe代码的风险。

注意事项 #

• 未对齐访问在部分架构（如部分嵌入式ARM）上可能直接触发硬件错误，即使代码在x86_64/arm64上能运行，也需确保你的目标架构支持未对齐内存访问。
• 零拷贝方案仅避免了内存分配，但未对齐访问本身可能带来性能损耗，若对性能要求极高，可考虑提前在文件打包时保证数据对齐。

内容的提问来源于stack exchange，提问作者gabry