前言
任何一门编程语言几乎都脱离不了：变量、基本类型、函数、注释、循环、条件判断，这是一门编程语言的语法基础，只有当掌握这些基础语法及概念才能更好的学习 Rust。
变量介绍
Rust 是一种强类型语言，但在声明变量时，不总是需要显式声明类型，这是因为 Rust 的编译器有类型推断系统。当声明一个变量而没有指定类型时，Rust 编译器会根据变量的初始值自动推断出它的类型。
在强类型语言中，每个变量和常量都必须有一个明确的类型，而且类型在编译时就已经确定。Rust 编译器非常严格，不允许不同类型的数据隐式转换。如果需要将一个类型转换为另一个类型，必须使用明确的类型转换方法。这一特性使得 Rust 在编译时能够提供类型检查，有助于避免许多常见的运行时错误。
不可变变量 (Immutable)
与其他编程语言（如：Java、Python、JS）不同，默认情况下 Rust 中的变量是不可变的 （神奇，变量不可变🤔）。
这一特性意味着变量一旦被赋值后，在变量的整个生命周期内它的值就不能被改变，尝试修改一个不可变变量的值会导致编译时错误。
示例：
let x = 5;
x = 6; // 这会导致编译错误，因为 x 是不可变的
可变变量 (Mutable)
- 通过使用
mut关键字，可以声明一个可变的变量，这样的变量允许其值在后续被修改。 - 但需要注意，rust 作为强类型语言，修改变量时不允许赋值其他类型的值
示例：
let mut x = 5;
x = 6; // 这是允许的，因为 x 是可变的
// error[E0308]: mismatched types
x = 3.1415926; // 3.1415926 是浮点数，x 声明时是整形
变量遮蔽（Shadowing）
变量遮蔽是 Rust 中的一个特性，有些文档或教程将 Shadowing 称为：隐藏、重影，它允许在相同作用域中，使用相同的名称声明一个新变量。这个新声明的变量“遮蔽”了先前声明的同名变量。更准确地说，当新变量被引入时，它会使得与之同名的先前变量不再可见，直到新变量离开作用域前，无法访问被遮蔽的变量。这与变量重新赋值不同，因为它实际上是在创建一个全新的变量。
遮蔽的好处是可以重新使用更有意义或适用于当前上下文的变量名，遮蔽通常用于转换值的类型或给变量一个新值，而这样做并不影响原来变量的不可变性。
示例1：
let x = 5;
let x = x + 1; // 遮蔽前一个 x 变量
let x = "现在 x 是一个字符串"; // 再次遮蔽，改变了值的类型
示例2：
fn main() {
let x = 5;
let x = x + 1;
{
// 在使用花括号创建的内部作用域内，变量 `x` 被遮蔽
let x = x * 2;
println!("x 在当前作用域的值是: {x}"); // 12
}
// 当作用域结束后，内部 shadowing 的作用域也结束了，`x` 又返回到 `6`
println!("x 在当前作用域的值是: {x}"); // 6
}
常量 （Constants）
- 常量使用
const关键字声明，并且它们总是不可变的。 - 常量必须在声明时就赋值，而且它们的类型必须显式声明。
- 常量名应该全部大写，否则会报警告。
示例：
const MAX_POINT: u32 = 100_000;
不可变变量 与 常量的区别
在 Rust 中，虽然不可变变量和常量都不能在声明后被修改，但它们之间存在几个主要区别：
类型标注
- 声明常量时，必须显式给出类型标注
- 不可变变量通常可以依赖 Rust 的类型推断，类型标注是可选的。
示例：
// ok!
let x = 1000;
// error: missing type for `const` item
const CONST_VAL = 1000;
值的赋予时机
- 常量在编译时被赋值，且必须是一个恒定的表达式，不能是运行时的结果。
- 不可变变量可以在运行时被初始化，其中的值可以是在运行时才能确定的表达式的结果。
示例1：
fn get_val() -> i32 {
1000
}
fn main() {
// ok!
let x = get_val();
// const 不能接收运行时的结果
// error[E0015]: cannot call non-const fn `get_val` in constants
const CONST_VAL: i32 = get_val();
}
示例2：
fn main() {
// let 允许先声明，后赋值
let x;
x = 1000;
// error: free constant item without body
const CONST_VAL: i32;
// error[E0070]: invalid left-hand side of assignment
CONST_VAL = 1000;
}
变量遮蔽
- 不可变变量可以通过变量遮蔽进行重新赋值
- 常量无法进行变量遮蔽，相同常量名重复定义时会报错
示例：
let x = 1000;
// ok!
let x = "str";
const CONST_VAL: i32 = 1000;
// // error[E0428]: the name `CONST_VAL` is defined multiple times
const CONST_VAL: &str = "str";
作用域
-
let关键字用于在局部作用域中声明变量，如函数或代码块内部，而不能用于全局作用域。 -
const关键字可以用于全局作用域中声明常量，也可以在局部作用域中使用。
示例：文章来源：https://www.toymoban.com/news/detail-827670.html
const GLOBAL_CONST: i32 = 10; // 全局常量，可以在整个程序中访问
// error: expected item, found keyword `let`
// let x = 1000; // 不允许声明全局变量
fn main() {
let local_var = 5; // 局部变量，只能在 main 函数内访问
println!("常量: {}", GLOBAL_CONST);
println!("局部变量: {}", local_var);
}
fn another_function() {
// local_var 在这里是不可见的，因为它不在作用域内
// GLOBAL_CONST 仍然是可见的
println!("同一个常量: {}", GLOBAL_CONST);
}
结语
本文深入介绍了 Rust 中的变量声明，特别是它独有的不可变变量和变量遮蔽特性。相较于其它编程语言，这些概念初看可能会给变量操作带来复杂性。然而，随着使用的深入，这些概念将变得清晰明了，你将发现它们实际上是 Rust 强大功能和安全性的体现，而且并不复杂。文章来源地址https://www.toymoban.com/news/detail-827670.html
到了这里，关于Rust 学习笔记 - 变量声明与使用的文章就介绍完了。如果您还想了解更多内容，请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章，希望大家以后多多支持TOY模板网！
