`target/debug/variables` The value of x is: 5 The value of x is: 6 通过 mut，允许把绑定到 x 的值从 5 改成 6。是否让变量可变的最终决定权仍然在你，取决于 在某个特定情况下，你是否认为变量可变会让代码更加清晰明了。 常量 类似于不可变变量，常量 (constants) 是绑定到一个名称的不允许改变的值，不过常量与变量 还是有一些区别。 当尝试在调用 takes_ownership 后使用 s 时，Rust 会抛出一个编译时错误。这些静态检查使 我们免于犯错。试试在 main 函数中添加使用 s 和 x 的代码来看看哪里能使用它们，以及所有 权规则会在哪里阻止我们这么做。 返回值与作用域 返回值也可以转移所有权。示例 4-4 展示了一个返回了某些值的示例，与示例 4-3 一样带有类 似的注释。 文件名：src/main.rs fn main() 所以什么也不会发生 变量 s 有效的作用域与函数参数的作用域一样，不过当 s 停止使用时并不丢弃引用指向的数 据，因为 s 并没有所有权。当函数使用引用而不是实际值作为参数，无需返回值来交还所有 权，因为就不曾拥有所有权。 我们将创建一个引用的行为称为 借用（borrowing）。正如现实生活中，如果一个人拥有某样 东西，你可以从他那里借来。当你使用完后，必须还回去。因为我们并不拥有它的所有权。