Rust中如何对齐结构体成员至特定边界以避免伪共享？

要实现结构体成员的特定内存对齐（比如64字节对齐以避免缓存行伪共享），不能直接在结构体字段上使用#[repr(align(64))]——因为该属性仅支持作用于结构体、枚举、联合体、函数或关联函数，无法直接应用于字段，这也是你遇到E0517错误的原因。

正确的做法是将需要对齐的字段封装到一个单独的结构体中，为这个包装结构体添加对齐属性：

use std::sync::atomic::AtomicBool;

// 定义带64字节对齐属性的包装结构体
#[repr(align(64))]
struct AlignedAtomicBool(AtomicBool);

pub struct Foo {
    id: String,
    read: AtomicBool,
    // 使用包装后的类型替代原字段类型
    write: AlignedAtomicBool,
}

// 实现Deref/DerefMut，让包装类型可以像原AtomicBool一样使用
impl std::ops::Deref for AlignedAtomicBool {
    type Target = AtomicBool;
    fn deref(&self) -> &Self::Target {
        &self.0
    }
}

impl std::ops::DerefMut for AlignedAtomicBool {
    fn deref_mut(&mut self) -> &mut Self::Target {
        &mut self.0
    }
}

原理说明 #

通过将需要对齐的字段放入带有#[repr(align(64))]的包装结构体，Rust会保证这个包装结构体的实例起始地址对齐到64字节边界，从而间接实现原字段的内存对齐，达到避免缓存行伪共享的目的。实现Deref和DerefMut trait后，你可以像直接操作AtomicBool一样操作write字段，无需额外的语法负担。

内容的提问来源于stack exchange，提问作者A. K.