有C++基础的Rust学习者关于结构体构造器所有权机制的疑问

先给你明确结论：你的代码完全安全，c绝对不会成为悬垂指针，所有权机制和栈帧回收逻辑是互相配合的，不是独立运行的两套规则。

你会有这个疑问，大概率是搞混了「返回值本身」和「返回指向栈内存的引用/指针」两种情况，结合你已有的C++基础很好理解：

1. 按值返回根本不会产生悬垂问题 #

你示例里的构造器返回的是A类型本身，不是&A或者裸指针，对应C++里的「按值返回对象」，运行的时候分两种情况：

• 编译器触发返回值优化（RVO/NRVO）：这是Rust和C++都支持的常规优化，这个A对象根本不会被创建在构造器的栈帧上，直接在main函数里c对应的内存位置构造，构造器跑完栈帧回收的时候根本碰不到这块内存，完全不存在失效的可能。
• 没触发优化的时候：Rust会走移动语义，把构造器栈上obj的内容按位拷贝到main里c的内存空间，同时标记obj的所有权已经被转移走了。等构造器作用域结束回收栈帧的时候，只会清理当前作用域里还持有所有权的值，已经没了所有权的obj不会被析构，你拿到的c是完整独立的有效对象，和原来的构造器栈帧半毛钱关系都没有。

2. 所有权和栈回收的关系 #

真不是两套独立逻辑，栈帧回收其实就是所有权规则的落地实现之一：
Rust的核心所有权规则很简单：一个值同一时间只能有一个所有者，所有者离开作用域的时候，对应的值会被自动清理。栈帧回收本质就是函数作用域结束后的清理流程，只会处理当前作用域里还拿着所有权的值，已经转移走的不会管，自然不可能影响到外面的新所有者。

补充说明 #

要是你把构造器的返回值改成&A类型的引用，Rust的借用检查器直接就给你报错编不过，就是因为这种情况才会出现你担心的：引用指向马上要被回收的构造器栈内存，生命周期不满足安全要求。

内容的提问来源于stack exchange，提问作者Emre Uğur