Rust中移动值能否保证数据留存？硬件写入场景的疑问

1. 移动后硬件写入的值是否保留，result能否获取到该值？ #

完全可以保留，result能正常拿到硬件写入的值。

Rust里MaybeUninit<T>没有Drop实现，所以Foo的移动操作就是直接拷贝内存字节：

• do_magic拿到的f是foo的内存副本（栈上数组直接复制）；
• 硬件通过call_device写入的就是f.buffer对应的内存区域；
• 函数返回f时，这份写好数据的内存会被移动到new_foo里，内容一点没丢。
  最后assume_init()读取的就是硬件写入后的内存数据。

2. 是否存在被优化的可能？ #

有潜在的优化风险：
编译器靠分析内存操作的可见性来做优化，但硬件写入属于编译器追踪不到的外部操作，极端情况下可能出现：

• 编译器误以为buffer没被修改，直接按未初始化处理；
• 移动时跳过内存拷贝（不过对栈上的32字节数组来说，这种情况非常少见）。

3. 除固定引用外的优化预防方案 #

可以用这些方法阻止编译器的激进优化：

• Volatile内存访问：在call_device之后对buffer做一次volatile读取，让编译器知道内存已经被修改：

  unsafe {
      std::ptr::read_volatile(f.buffer.as_ptr());
  }
  

• 插入编译器黑箱：用std::hint::black_box包裹变量，强制编译器保留所有内存操作：

  fn do_magic(mut f: Foo) -> Foo {
      call_device(f.buffer.as_mut_ptr());
      std::hint::black_box(&mut f);
      f
  }
  

• 用UnsafeCell包裹缓冲区：UnsafeCell是Rust允许内部可变性的原始类型，编译器会默认认为其内部内存可能被外部修改，不会做过度优化：

  use std::cell::UnsafeCell;
  use std::mem::MaybeUninit;
  
  struct Foo {
      buffer: UnsafeCell<MaybeUninit<[u8; 32]>>,
  }
  

内容的提问来源于stack exchange，提问作者Eugene Sh.