Rust教程：How to Rust-变量

本文为第1篇

专栏简介

本专栏是优质Rust技术专栏，推荐精通一门技术栈的蟹友，不建议完全无计算机基础的同学

感谢Rust圣经开源社区的同学，为后来者提供了非常优秀的Rust学习资源

本文使用：

• 操作系统macOS Sonoma 14 / Apple M1
• 编译器：Rustc & Cargo

感谢一路相伴的朋友们，感谢你们的支持 ^ _ ^

Rust教程：How to Rust-变量

更新记录

2024.03.10 发布文章

前言

变量怎么命名？关键字有哪些？命名个和关键字名字一样的变量或者函数行不？变量绑定是啥？变量为啥还要可变？声明完不想用行不行？变量可以起一样的名字吗？

变量命名

在命名方面，Rust与其他编程语言并无显著区别，但当我们为变量、函数或类型等构造命名时，需要遵循一些既定的命名规则。这些规则有助于增强代码的可读性和一致性，具体规则可以看这里，一般来说，对于类型级别的构造（如结构体、枚举和特征），Rust倾向于使用驼峰命名法（CamelCase），即每个单词的首字母大写，且没有下划线分隔。而对于值级别的构造（如变量和函数参数），则推荐使用蛇形命名法（snake_case），即所有字母小写，单词之间用下划线分隔。

Rust语言包含一些保留关键字，这些关键字具有特殊的语法意义，因此不能被用作变量名或函数名。以下是一些常见的Rust关键字及其用途：

• as - 强制类型转换，或use 和 extern crate包和模块引入语句中的重命名
• break - 立刻退出循环
• const - 定义常量或原生常量指针（constant raw pointer）
• continue - 继续进入下一次循环迭代
• crate - 链接外部包
• dyn - 动态分发特征对象
• else - 作为 if 和 if let 控制流结构的 fallback
• enum - 定义一个枚举类型
• extern - 链接一个外部包,或者一个宏变量(该变量定义在另外一个包中)
• false - 布尔值 false
• fn - 定义一个函数或 函数指针类型 (function pointer type)
• for - 遍历一个迭代器或实现一个 trait 或者指定一个更高级的生命周期
• if - 基于条件表达式的结果来执行相应的分支
• impl - 为结构体或者特征实现具体功能
• in - for 循环语法的一部分
• let - 绑定一个变量
• loop - 无条件循环
• match - 模式匹配
• mod - 定义一个模块
• move - 使闭包获取其所捕获项的所有权
• mut - 在引用、裸指针或模式绑定中使用，表明变量是可变的
• pub - 表示结构体字段、impl 块或模块的公共可见性
• ref - 通过引用绑定
• return - 从函数中返回
• Self - 实现特征类型的类型别名
• self - 表示方法本身或当前模块
• static - 表示全局变量或在整个程序执行期间保持其生命周期
• struct - 定义一个结构体
• super - 表示当前模块的父模块
• trait - 定义一个特征
• true - 布尔值 true
• type - 定义一个类型别名或关联类型
• unsafe - 表示不安全的代码、函数、特征或实现
• use - 在当前代码范围内(模块或者花括号对)引入外部的包、模块等
• where - 表示一个约束类型的从句
• while - 基于一个表达式的结果判断是否继续循环

以下关键字无任何功能，但仍然由 Rust 保留以备将来的应用

• abstract
• async
• await
• become
• box
• do
• final
• macro
• override
• priv
• try
• typeof
• unsized
• virtual
• yield

原生标识符

原生标识符是Rust语言提供的一种机制，它允许开发者使用通常无法直接作为变量名、函数名或类型名等标识符的关键字。通过在关键字前加上

r#

前缀，开发者就可以“借用”这些关键字作为自定义的标识符，从而避免命名冲突和限制

例如，

match

是Rust中的一个关键字，用于实现模式匹配。如果我们尝试将

match

用作一个函数的名字，如下所示：

fn match(needle: &str, haystack: &str) -> bool
{
    haystack.contains(needle)
}

编译器提示：

error: expected identifier, found keyword `match`
 --> src/main.rs:4:4
  |
4 | fn match(needle: &str, haystack: &str) -> bool {
  |    ^^^^^ expected identifier, found keyword

编译器会直接报错，因为

match

是保留关键字，不能被用作普通函数名。此时，原生标识符就派上了用场。我们可以使用

r#

前缀来将

match

作为函数名称使用，如下所示：

fn r#match() -> i64
{
    let variable = 1;
    variable
}

fn main()
{
    let variable_output = r#match();
    println!("{}", variable_output)
}

通过这种方式，我们成功地规避了关键字带来的命名限制，实现了使用

match

作为函数名的目的。然而，需要注意的是，过度依赖原生标识符可能会导致代码可读性下降，因此在实践中应谨慎使用，并尽量使用更符合Rust命名习惯的替代方案

变量绑定

在JavaScript中，我们通常使用类似以下的方式为变量

variable

赋值：

var variable = "Hello World"

在上述代码中，计算机将等式右侧的字符串

"hello world"

赋值给变量

variable

。然而，在Rust中，我们采用了一种不同的方式来达到类似的效果：

let variable = "Hello World"

这个过程在Rust中被称为变量绑定，而不是赋值。那么，为什么Rust选择使用“绑定”这一术语而不是“赋值”呢？这背后涉及到Rust语言的核心原则——所有权。

简而言之，在Rust中，任何内存中的对象都有其特定的所有者，这个所有者完全掌控着该对象。当我们使用

let

关键字时，实际上是将一个内存对象绑定到一个变量上，这个变量随即成为该对象的所有者。与此同时，该对象之前的所有者（如果有的话）将失去对其的拥有权。这意味着在Rust中，一个对象在任何时刻只能有一个明确的拥有者。

这种所有权模型是Rust内存安全性的基石，它有助于防止诸如内存泄漏和悬挂指针等常见问题。通过明确绑定关系，Rust编译器能够跟踪哪些内存正在被使用，从而安全地进行清理和回收，确保程序的稳定运行。

可变变量

这个标题初听似乎有些出人意料，因为在大多数编程语言中，变量默认就是可变的。然而，在Rust中，情况恰恰相反。Rust中的变量默认是不可变的，包括我们之前提到的

variable

变量，其值一旦被绑定就不可再变。若需让变量可变，则需明确加上

mut

声明，类似下面这样

let mut variable = "Hello World"

这种语法可能初看起来有些多余，既然已经是变量了，为何还要额外声明它的可变性呢？

实际上，这种做法在大型项目中尤为重要。当一个变量被多处代码所引用时，有些代码可能期望该变量保持其原始值不变，而另一些代码则可能想要修改它。如果不加以明确声明，这种潜在的修改很难被及时发现，尤其是在多线程编程环境中，这种错误往往更为隐蔽和难以调试。因此，在Rust中通过

mut

关键字来明确变量的可变性，有助于提高代码的稳定性和可维护性。

这种规则让我们的代码逻辑变得非常清晰。当看到

let

关键字后面没有

mut

时，读者就能立即明白这个变量的值在后续代码中不会发生改变。而一旦看到

mut

，就像是给阅读代码的人打了“预防针”，提醒他们这个变量的值在后续可能会被更改

下划线开头的变量

如果你创建了一个变量却不在任何地方使用它，Rust通常会给你一个警告，因为这可能会是个 bug。但是有时创建一个不会被使用的变量是有用的，你希望能保留它，那么就可以在变量开头加上下划线（在C或C++中，下划线开头的变量是不被允许的，因为这可能是编译器使用的变量，但在Rust中，这是可以的）例如

fn main()
{
    let _variable_a = 5;
    let variable_b = 10;
}

在编译它时，Rust会提示

warning: unused variable: `variable_b`
 --> variable.rs:4:9
  |
4 |     let variable_b = 10;
  |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_variable_b`
  |
  = note: `#[warn(unused_variables)]` on by default

warning: 1 warning emitted

可以看到，两个变量都是只有声明，没有使用，但是编译器却独独给出了variable_b未被使用的警告，充分说明了

_

变量名前缀在这里发挥的作用

值得注意的是，这里编译器还很善意的给出了提示( Rust的编译器非常强大，这里的提示只是小意思 ): 将

variable_b

修改成

_variable_b

即可

变量遮蔽

Rust 允许声明相同的变量名，在后面声明的变量会遮蔽掉前面声明的，例如

fn main()
{
    let variable = 5;
    let variable = variable + 1;

    {
        let variable = variable * 2;
        println!("{}", variable);
    }

    println!("{}", variable);
}

首先，数值 5 被绑定到变量variable。然后，通过使用let variable =重新声明并遮蔽了前面的variable，将其值更新为原值加 1，因此variable的值变为了 6。第三个

let

语句再次遮蔽了前面的variable，取用之前的值并乘以 2，最终variable的值变为 12。当运行此程序时，将输出以下内容：

$ ./shadowing
12
6

这种遮蔽机制与mut变量的使用有着显著的不同。mut允许我们在同一内存地址上修改变量的值，而不会发生内存对象的再分配，因此在性能上通常更优。而使用遮蔽时，每次let声明都会生成一个全新的变量，尽管它们恰好拥有相同的名称，但这实际上涉及到了内存对象的重新分配

变量遮蔽的用处在于，当我们在某个作用域内不再需要之前的变量（一旦被遮蔽，我们将无法再访问到之前的同名变量）时，可以重复使用变量名，这有助于避免绞尽脑汁去构思新的变量名，使代码更为简洁和清晰

结语

如果本文有任何问题欢迎在评论去指出，如果喜欢这篇文章，希望能点赞评论关注

如果你们身边有像你提起过这个领域的，或者希望可以和ta一起进步的，把这篇文章分享给ta吧

本文共4360字

快捷翻页

Rust教程：How to Rust-从开始之前到Hello World

本文参考文献

Rust圣经

文心一言