Rust布尔结构体为何未优化为1字节位掩码？如何实现真位掩码？

问题背景 #

给定如下Rust结构体：

struct Mask {
    field_1: bool,
    field_2: bool,
    field_3: bool,
} // size = 3, align = 1

Rust Analyzer显示其占用3字节内存，针对两个技术疑问逐一解答：

1. 编译器为何不自动优化为1字节位掩码？ #

Rust中bool类型的标准大小是1字节，这是因为语言需要保证每个值都有可寻址的内存位置——如果bool仅占1位，就无法直接对单个bool字段取引用，这会破坏Rust的内存安全模型和指针语义。

结构体的默认布局会按字段顺序为每个成员分配独立内存空间，三个bool字段各自占用1字节，因此总大小为3字节。编译器不会主动将多个bool打包为位掩码，因为这种优化会彻底改变结构体的内存布局，导致原有代码中对字段的直接访问（比如取地址）失效，违背了语言的一致性和可预测性。

2. 不依赖外部crate实现真位掩码（保持API一致） #

可以用单个u8作为底层存储，手动实现字段的读写方法，模拟原生结构体的访问体验，最终结构体仅占用1字节内存。实现代码如下：

struct Mask {
    bits: u8,
}

impl Mask {
    // 初始化所有字段为false
    pub fn new() -> Self {
        Self { bits: 0 }
    }

    // 读取field_1
    pub fn field_1(&self) -> bool {
        (self.bits & 0b001) != 0
    }

    // 写入field_1
    pub fn set_field_1(&mut self, value: bool) {
        match value {
            true => self.bits |= 0b001,
            false => self.bits &= !0b001,
        }
    }

    // 读取field_2
    pub fn field_2(&self) -> bool {
        (self.bits & 0b010) != 0
    }

    // 写入field_2
    pub fn set_field_2(&mut self, value: bool) {
        match value {
            true => self.bits |= 0b010,
            false => self.bits &= !0b010,
        }
    }

    // 读取field_3
    pub fn field_3(&self) -> bool {
        (self.bits & 0b100) != 0
    }

    // 写入field_3
    pub fn set_field_3(&mut self, value: bool) {
        match value {
            true => self.bits |= 0b100,
            false => self.bits &= !0b100,
        }
    }
}

// 可选：实现Default trait，支持默认初始化
impl Default for Mask {
    fn default() -> Self {
        Self::new()
    }
}

位布局说明

底层u8的位分配完全符合需求：

0000_0000
      ^^^ field_1（第0位）
      |L_ field_2（第1位）
      L__ field_3（第2位）

这种实现不需要任何外部依赖，同时保持了与原结构体一致的操作逻辑——通过mask.field_1()读取值，mask.set_field_1(true)写入值，行为和直接访问结构体字段完全对齐。

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