通过解引用将值移出Box及其语法糖展开机制

开发者阿泽

2026-7-1

关于Rust中Box拆箱操作*bx的疑问

代码示例

let x = String::from("123");

let bx = Box::new(x);

let dbx = *bx;

println!("{}", dbx);
//println!("{}", bx); // 因所有权转移报错

先创建x，随后将其装箱为bx，再通过表达式*bx对bx进行拆箱。

我理解数据的所有权从x转移到bx再到dbx，数据本身（至少是struct String占用的内存）从栈（x）复制到堆（bx指向的区域）再回到栈（dbx）。

编译器如何解释*bx？

这看起来不像Box的Deref实现，因为这意味着要通过值的引用（&String）获取所有权。看起来编译器会将其语法糖展开为into_inner，但我不清楚原因。这到底是怎么回事？

有没有办法查看代码的语法糖展开过程？或者一般来说，如何揭秘Rust的“魔法”？我目前对涉及各种智能指针的自动解引用特别感兴趣。我尝试过cargo-inspect，但似乎没什么帮助。

*bx在这里的行为确实不是普通的Deref解引用，而是Rust编译器对Box类型的特殊处理——当你对Box<T>执行按值解引用（即把Box<T>赋值给T类型变量时的*bx），编译器会直接将其等价于调用Box::into_inner(bx)。

这是因为Box是Rust中最基础的智能指针，它本质上是堆内存的唯一所有者，编译器对它做了语法层面的优化：

从所有权角度看，*bx会消耗掉bx这个Box实例，把内部的T值（这里是String）转移到dbx中，这和into_inner的行为完全一致——into_inner的定义就是获取Box内部的值并销毁空的Box结构体。

要查看Rust语法糖的展开或揭秘编译器“魔法”，可以用以下几种方式：

使用rustc的-Z unstable-options --pretty expanded参数：这会输出编译器展开所有语法糖（包括宏、自动解引用、Box的特殊处理等）后的代码。比如在项目目录下执行：
```
rustc -Z unstable-options --pretty expanded src/main.rs
```
注意这个需要使用nightly版本的Rust，可以通过rustup default nightly切换。
使用cargo expand工具：这是一个更友好的替代rustc --pretty expanded的工具，专门用于展开宏和语法糖，安装后执行cargo expand即可看到展开后的代码。
查阅Rust官方参考文档：官方文档会明确标注哪些是编译器的特殊处理逻辑，比如Box的按值解引用被归类为“解引用转换”的特殊场景。
阅读Rust编译器源码：如果想深入底层逻辑，可以查看rustc中处理Box解引用的相关模块，不过门槛较高。

cargo-inspect更多用于查看编译后的中间表示（IR）或汇编代码，对语法糖展开的支持不如上述工具。

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