Rust中将u8指针转换为[bool;8]指针为何无法逐位对应位值？

Rust bool 的存储基础规则 #

Rust 中的bool类型不是1位的位域类型，固定占用1个字节（8位）的内存空间，不存在按位紧凑存储的默认设计。

• 语言规范中定义的合法bool位表示仅有两种：字节值为0x00对应false，字节值为0x01对应true。
• 一旦把非0非1的字节内容解释为bool，就属于未定义行为，编译器不会做合法性校验。

代码中的指针操作实际逻辑 #

你将仅指向单个u8变量（占1字节内存）的地址，强转为*mut [bool; 8]类型的指针，这个转换的实际效果和你的预期存在根本偏差：

• 按照Rust默认布局，[bool; 8]是8个连续存放的1字节大小的bool元素，总内存占用达8字节。当你执行*x解引用时，操作逻辑是从t的栈地址开始，连续读取8个字节的内存，把每个字节单独解释为一个bool值，而非把1个u8的8个比特拆成8个、每个占1位的布尔值。
• 读到的第一个字节就是t本身，值为0b10101010（十进制170）。由于该值非0，当前Debug构建环境直接将其判定为true。
• 剩下的7个字节是t相邻位置的栈内存，这些内容来自栈上的临时变量、调用栈帧遗留值，恰好大部分为非0值，因此被解释为true；只有最后读取的那个内存位置恰好是全0值，被解释为false，最终拼出了你观察到的[true, true, true, true, true, true, true, false]的输出。

为什么预期逻辑无法成立 #

你所期待的“bool数组逐位紧凑存储”，本质是C/C++中特定位域的存储逻辑，这并不属于Rust默认类型布局的范畴：

• Rust的数组布局严格按照单个元素的类型尺寸计算内存占用，不会对元素做按位压缩。
• 如果需要实现单比特存储布尔值的效果，需要手动通过位运算封装（比如用整数类型的单个比特位存储布尔值，通过位掩码读写每一位），或使用专门提供位域布局的库，无法通过裸指针强转的方式直接实现。

额外的内存安全提醒 #

这段代码本身存在明确的未定义行为：

• 对一个仅指向1字节内存的地址，强行解引用为需要8字节空间的数组类型，属于越界内存访问。哪怕当前环境下碰巧跑出了输出，这个行为也不符合Rust的内存安全约束，在不同优化等级、不同运行环境下可能出现随机输出、程序崩溃等问题。

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