为什么Rust中解引用指向已drop值的裸指针仍能读取到有效内容？

你遇到的是Rust unsafe代码中典型的未定义行为（Undefined Behavior, UB），未定义行为的核心特点是执行结果没有任何保障，「能正常运行输出预期结果」只是未定义行为的一种可能表现，不代表代码是合法安全的。

具体为什么这段代码能正常输出 #

• drop(s1)确实已经执行了String类型的析构逻辑：s1持有的堆上字符缓冲区已经被交还给内存分配器，栈上存储String元数据（堆指针、长度、容量）的空间也被标记为废弃可用。
• 内存分配器回收内存后，不会立刻擦除内存内容，也不会立刻将内存归还给操作系统，只会标记该内存块为空闲可分配。只要这段内存还没有被新的内存分配请求占用、覆写，原本存储的内容就会暂时保留。
• 这段代码逻辑非常简单，drop(s1)之后没有任何新的内存分配操作，不管是栈上的String元数据空间，还是已经被释放的堆缓冲区内容都没有被修改，所以解引用裸指针时依然能读到原来的内容。

注意事项 #

• 这种「正常运行」完全是巧合，没有任何可靠性。你可以尝试在drop(s1)之后新增一段内存分配逻辑，比如创建一个新的长度不小于2的String/Vec，大概率就会看到输出乱码，甚至直接触发段错误崩溃。
• Rust的安全检查只会作用于非unsafe代码块，使用unsafe时需要开发者自行保证内存访问的合法性，不要以「运行没报错」作为代码安全的判断标准，这段代码是典型的内存违规访问，绝对不能在生产环境使用。

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