前言
任何一门编程语言几乎都脱离不了:变量、基本类型、函数、注释、循环、条件判断,这是一门编程语言的语法基础,只有当掌握这些基础语法及概念才能更好的学习 Rust。
变量介绍
Rust 是一种强类型语言,但在声明变量时,不总是需要显式声明类型,这是因为 Rust 的编译器有类型推断系统。当声明一个变量而没有指定类型时,Rust 编译器会根据变量的初始值自动推断出它的类型。
在强类型语言中,每个变量和常量都必须有一个明确的类型,而且类型在编译时就已经确定。Rust 编译器非常严格,不允许不同类型的数据隐式转换。如果需要将一个类型转换为另一个类型,必须使用明确的类型转换方法。这一特性使得 Rust 在编译时能够提供类型检查,有助于避免许多常见的运行时错误。
不可变变量 (Immutable)
与其他编程语言(如:Java、Pytho服务器托管网n、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
关键字可以用于全局作用域中声明常量,也可以在局部作用域中使用。
示例:
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 强大功能和安全性的体现,而且并不复杂。
服务器托管,北京服务器托管,服务器租用 http://www.fwqtg.net
相关推荐: 图数据库 之 Neo4j – 应用场景1 – 欺诈检测(6)
Neo4j是一种图数据库,它专注于处理关系数据密集型的问题。由于其图结构的特性,Neo4j能够高效地存储、查询和分析连接数据。 以下是一服务器托管网些常见的Neo4j应用场景: 社交网络分析:通过建模和分析人际关系,可以揭示社交网络中的影响力、社区结构、信息传…