工商核名在哪个网站,长沙网站seo技术厂家,php企业网站整站源码,免费公众号编辑模板前言
任何一门编程语言几乎都脱离不了#xff1a;变量、基本类型、函数、注释、循环、条件判断#xff0c;这是一门编程语言的语法基础#xff0c;只有当掌握这些基础语法及概念才能更好的学习 Rust。
变量介绍
Rust 是一种强类型语言#xff0c;但在声明变量时#xf…前言
任何一门编程语言几乎都脱离不了变量、基本类型、函数、注释、循环、条件判断这是一门编程语言的语法基础只有当掌握这些基础语法及概念才能更好的学习 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 又返回到 6println!(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 constantsconst CONST_VAL: i32 get_val();
}示例2
fn main() {// let 允许先声明后赋值let x;x 1000; // error: free constant item without bodyconst CONST_VAL: i32; // error[E0070]: invalid left-hand side of assignmentCONST_VAL 1000;
}变量遮蔽
不可变变量可以通过变量遮蔽进行重新赋值常量无法进行变量遮蔽相同常量名重复定义时会报错
示例 let x 1000;// ok!let x str;const CONST_VAL: i32 1000;// // error[E0428]: the name CONST_VAL is defined multiple timesconst 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 强大功能和安全性的体现而且并不复杂。
