使用`& mut *`从Box获取裸指针的行为异常问题求助

1. 调试/Release模式的行为差异 #

调试模式下编译器禁用了大部分优化，内存布局更“直观”，但Release模式的优化会触发未定义行为（UB）：

• 未告知编译器内存已修改，引发缓存不一致
• 指令重排导致指针更新顺序不符合预期

2. 指针更新逻辑遗漏 #

push_2大概率存在指针操作不完整的问题：

• 仅更新尾节点的next指针，但未同步更新队列的tail指针
• 空队列场景下，未同时更新head和tail（push_1可能正确处理了这个边界）

3. 悬空指针或生命周期问题 #

• push_2中可能误用了栈上变量的指针（而非堆分配的Box::into_raw结果），调试时内存未被覆盖，测试时内存被复用导致指针悬空
• 节点内存未正确保留，生命周期结束后被提前释放

4. 断言或计数逻辑错误 #

• 测试中的断言可能对应队列长度，但push_2未正确递增长度计数器
• 取断言值时错误访问了旧节点，而非最新插入的节点

具体排查步骤 #

• 对比push_1和push_2的代码，找出指针操作的差异
• 打印push_2执行前后的head、tail指针地址，以及节点next指针，验证是否符合预期
• 用cargo miri test检测未定义行为（MIRI能捕捉绝大多数unsafe代码的UB问题）
• 检查测试是否涉及多线程：unsafe代码多线程场景下必须手动做同步（比如用UnsafeCell或原子操作）

常见错误示例 #

比如push_2未处理空队列的head更新：

unsafe fn push_2(&mut self, val: i32) {
    let new_node = Box::into_raw(Box::new(Node { val, next: std::ptr::null_mut() }));
    if !self.tail.is_null() {
        (*self.tail).next = new_node;
    }
    // 错误：空队列时未同步更新head
    self.tail = new_node;
}

这种情况下第一次调用push_2后，head仍为空，后续取元素会读到错误值，触发断言失败。

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