Rust闭包中为何「按引用捕获」等价于「按值捕获引用」？

按值捕获引用，实际捕获的对象是什么？ #

完全不会触碰引用指向的堆上的目标数据。你捕获的从始至终都是引用本身存储在栈上的指针值。
举个直观的可运行示例：

// s的实际字符串内容存在堆上，栈上仅存放String结构体的胖指针（地址+长度+容量信息）
let s = String::from("存放在堆上的长文本内容");
// r是栈上的&String类型引用，本质就是指向s内部数据的普通指针值
let r = &s;
// 用move按值捕获r，闭包只会把r本身这个占几个字节的栈上指针值拷贝进来
let print_len = move || {
    println!("引用指向的内容长度：{}", r.len());
};

很多人误以为写了move就一定会顺着指针把整个堆数据拷贝进闭包，这是完全错误的认知。move只会按值捕获捕获列表里声明的那些值本身，值是什么类型，就拷对应大小的字节，绝对不会顺着指针去拷贝指针指向的堆内容。

为什么说Rust的按引用捕获和按值捕获没有本质区别？ #

这来自Rust的核心类型设计规则：

• Rust里的引用是完全独立的一等公民类型，它本身就是存放在栈上的指针值，不存在C++中“引用是原变量别名”的特殊语法规则。你按值把这个引用指针拷进闭包，和你让闭包自动按引用抓取原变量的地址，最终在闭包内能获得的操作权限、生命周期约束完全一致。
• 这也是Rust和C的核心差异：C中按值捕获会真实拷贝整个对象的全部内容，哪怕捕获的是指针类型，它的权限边界、内存模型和直接引用原对象的模式是完全割裂的；但Rust的引用没有这种特殊身份，所以两种捕获方式的实际效果几乎没有本质鸿沟。

编译器内置捕获分析的定位 #

Rust编译器自动推导捕获范围的逻辑，本质是体验优化而非底层必需。如果没有自动推导能力，开发者完全可以通过手动写捕获列表、手动按值抓取需要的引用或者所有权值，写出功能完全一致的闭包。自动分析只是帮大家省去手动指定捕获粒度的麻烦，降低上手门槛而已。

内容的提问来源于stack exchange，提问作者Paul Razvan Berg