第一章：所有权初探——理解栈与堆、所有权规则、变量作用域

说实话，很多 Rust 初学者第一次碰到所有权时，都会有点懵。我当年也一样。明明在其他语言里写得好好的代码，到了 Rust 这里，编译器突然就开始跟你「抢」变量了。嗯，别急，今天我们就来把这事彻底说清楚。

1.1 栈与堆：两种内存的「脾气」不一样

要理解所有权，得先搞清楚程序运行时，数据到底待在哪。说白了，就两个地方：栈和堆。

栈（Stack） 就像食堂排队——先进后出，规矩得很。数据大小在编译时就得确定，不能变。比如整数、布尔值、固定长度的数组，这些都在栈上。

堆（Heap） 就随意多了。你可以在运行时申请一块内存，大小随便。但代价是：你得手动（或者靠语言机制）告诉系统「这块内存我不用了」。

我在项目中遇到过一个问题：一个团队用 C++ 写服务，堆上分配了一个大对象，忘了释放，结果内存泄漏跑了一周才被发现。Rust 的所有权机制，说白了就是帮你自动管理堆内存，而且是在编译期就搞定，没有运行时开销。

为什么会这样？因为栈上的数据，函数调用结束就自动弹出。堆上的数据，你得告诉系统「我走了，你收回去吧」。Rust 的所有权，就是替你做这件事的。

1.2 所有权规则：三条铁律

Rust 的所有权规则其实就三条。我建议你把它贴在显示器旁边：

1. 每个值都有一个所有者（owner）
2. 同一时间只能有一个所有者
3. 所有者离开作用域，值就被丢弃

听起来简单吧？但实际写起来，编译器会不断提醒你「这个变量已经移走了」「那个引用已经失效了」。我第一次写 Rust 时，被这些错误刷屏刷到怀疑人生。但后来我发现，这三条规则其实非常符合直觉——你想想看，现实世界里，一件东西同时只能有一个人拥有，对吧？

1.3 变量作用域：从哪开始，到哪结束

作用域，说白了就是变量「活着」的范围。在 Rust 里，作用域用花括号 {} 表示。

fn main() {
    let x = 5;          // x 从这里开始生效
    {                   // 内部作用域开始
        let y = 10;     // y 在这里生效
        println!("{}", y);
    }                   // y 在这里被丢弃
    println!("{}", x);  // x 仍然可用
}                       // x 在这里被丢弃

嗯，这里要注意：y 在内部花括号结束后就没了。你如果在外面访问 y，编译器会直接报错。我曾经在重构代码时，把一个变量定义在了循环外面，结果后面改逻辑时忘了更新它的值，查了半天 bug。后来我养成了习惯：变量尽量在最小作用域内定义。

1.4 所有权转移：Move 与 Copy

这是初学者最容易踩坑的地方。先看代码：

let s1 = String::from("hello");
let s2 = s1;  // s1 的所有权转移给了 s2
// println!("{}", s1);  // 这行会报错！s1 已经失效了

为什么？因为 String 是堆上的数据。当 s2 = s1 时，Rust 不会复制堆上的数据，而是把所有权从 s1 移到了 s2。这样 s1 就变成了「无效状态」。这叫 Move。

但如果是栈上的数据呢？

let x = 5;
let y = x;  // 这里不会转移，而是复制
println!("{}", x);  // 没问题，x 仍然有效

因为整数实现了 Copy trait。Rust 会直接复制一份栈上的数据。说白了，就是「你拿一份，我拿一份，互不干扰」。

1.5 函数与所有权：传参和返回值

函数调用时，参数的所有权也会转移。看这个例子：

fn take_ownership(s: String) {
    println!("{}", s);
}  // 这里 s 被丢弃

fn main() {
    let s = String::from("hello");
    take_ownership(s);
    // println!("{}", s);  // 报错！s 的所有权已经移走了
}

如果你想在函数调用后继续使用变量，有两个办法：

• 返回值：函数把所有权再还回来
• 引用：只借用，不转移（下一章会细讲）

我个人习惯是：能用引用就用引用，除非你真的需要转移所有权。这样代码更清晰，也少了很多「所有权飞来飞去」的烦恼。

1.6 知识体系总览

下面这张图，是我自己总结的所有权核心逻辑。你看一遍，应该就能把今天的内容串起来了。

这张图从左到右，就是今天讲的逻辑链条：先搞清楚栈和堆的区别，然后理解所有权的三条规则，再结合作用域来看变量什么时候生、什么时候死。最后，Move 和 Copy 决定了数据在传递时的行为。

1.7 小结

所有权是 Rust 最核心的概念，没有之一。今天的内容虽然基础，但非常重要。我建议你亲手敲一遍代码，感受一下编译器的「唠叨」。被报错教育几次，你就记住了。

记住三条规则，理解栈和堆的区别，搞清楚 Move 和 Copy。剩下的，就是多写多练了。