RUST 学习日记 第5课 ——变量和常量

RUST 学习日记 第5课 ——变量和常量


RUST 学习日记 第5课 ——变量和常量_第1张图片

说些题外话,有些同学认为前面那么点内容,啰啰嗦嗦的讲了四节,其实不然。本系列课程也是适合0基础的同学,如果您是Rust大神,那么可以忽略本系列的文章。还有学习一门编程语言要搞明白是为什么,不能只学习表面。基础一旦打好,学习任何语言都会觉得很容易。俗话说,万事开头难,一旦前面做好铺垫,那么后面再难也难不住你。当然本人水平有限,错误和不足之处在所难免,处理问题也有不妥之处,敬请各位大佬,专家批评改正。

0x00 开篇

上一节咱们了解了Rust的常用规范,算是入乡随俗了。那么从今天开始就要正式进入Rust的学习了。该系列课程预计100课左右,大致将分为基础,进阶,算法,实战四大部分,甚至会更多。课程将会由浅入深的非常细致的讲解Rust,带你深入了解Rust。该系列教程所用的Rust版本是1.52.1(截至目前的最新版本)。

0x01 了解变量

Rust语言的变量是一种绑定语义,相当于是把一个变量名和一个值绑定在一起,从而建立起了关联关系,类似于键值对。为了安全性的考虑,Rust的变量默认是不可以改变的,当然Rust也提供了另一种变量——可变变量。如果你了解过其它语言,你会发现Rust变量的设计与其它语言还是不同的。

0x02 命名规范

Rust变量名可以由字母,数字或者下划线组成。同时还有以下3个限制条件

  • 不能以数字开头
  • 字母区分大小写
  • 不能只有下划线

PS:关于下划线,在Rust中式一种标识符,代表“忽略这个变量”,这里仅了解即可,后续章节会详细介绍。

0x03 不可变变量(Immutable)

在Rust中是通过let关键字来声明变量的,变量遵循先声明后使用的原则。确切的说应该是使用let将值绑定到变量。Rust 通过静态类型确保类型安全。变量绑定可以在声明时说明类型,当然也可以不说明类型,编译器则将会从上下文推导出变量的类型。示例代码如下:

fn main() {
    // 每次声明变量时,注意变量命名规范
    // 声明整数
    let a = 5;

    // 布尔值
    let b1= true;

    // 字符串
    let _c = "zhangsan";

    // 浮点数
    let d_1 = 123.3;

    dbg!(a);
    dbg!(b1);
    dbg!(_c);
    dbg!(d_1);
}

0x04 可变变量(Mutable)

使用let关键字声明的变量是不可改变的。如果你试图改变它值,编译器会报错。Cannot assign twice to immutable variable [E0384]

    let x = 5;
// 再次赋值会报错
    x = 15;

这时,如果你想重新对变量赋值,则需要使用mut关键字,告诉编译器这个变量是可以重新赋值的。

// 使用mut关键字声明变量
    let mut y = 5;
// 编译器不会报错
    y = 15;

单从变量赋值这一点,咱们就可以看出Rust的安全性了。增加mut关键字,可以传达该变量允许被更改的意图,使得代码可读性增强,也容易维护。

0x05 变量遮蔽 (Shadowing)

在Rust中,允许在同一代码块中使用let关键字多次声明同名变量,如果多次声明同一变量,则后者会覆盖前者的值,因此前者的值将无法再去访问,多次覆盖则以最后一次的值为准——这就是变量遮蔽,有时也叫做变量重定义

// 变量遮蔽
    let m = 1;
    let m = 2.3;
    let m = "张三";
    let mut m = 4;
    let m = 5;
    dbg!(m);

最后输出结果是:

[src\main.rs:37] m = 5

变量遮蔽的实质是同let声明了一个新的变量,但是巧合的是与之前声明的变量重名了。变量遮蔽有以下几个特点:

  • 它们是完全不相同的变量
  • 它们所处的内存空间不相同
  • 它们的值的类型可以不相同
  • 它们的值可以不相同
  • 可以作用于不可变变量,也可以作用于可变变量
  • 不可以作用于 static变量
  • 不可以作用于 const常量

CC++Java等常见的语言中是不存在变量遮蔽的,因此变量遮蔽常用于一些特殊场景,将会在后续章节介绍。

0x06 常量(Const)

常量是指绑定到一个标识符且不允许改变的值,其一旦定义后将没有任何方法能够改变它。它还有一个非常重要的特点——常量会在编译时被复制到使用的地方(类似于C语言的#define。 当然,这种复制也会发生在外部包被编译的场合。其声明语法如下:

// 命名规则:变量名全部大写
// 多单词组合使用下划线分割,如:MIN_VALUE
// 必须指定变量的数据类型
// const PI = 3.141592653; [X] 错误写法
const PI : f64 = 3.141592653;

声明规则:

  • 使用const关键字声明
  • 常量的名称通常都是全部采用大写字母,如遇到多单词组合,则使用下划线分割,如:MIN_VALUE
  • 必须指定变量的数据类型(关于数据类型将在下节介绍)

看到这里,心中是否存在疑问——前面说的不可变变量的值不能被更改,常量的值也不能被更改,那么它们有什么区别呢?当然上面也提到了部分区别,下面整理下完整答案。

  • 常量必须使用const关键字声明,且必须注明值的类型,不可变变量使用let关键字声明。
  • 不可变变量可以通过变量遮蔽的方式,让其值改变。实质上是新的变量,只是同名而已。然而常量则没有变量遮蔽的概念,无法重复定义。常量一旦定义,就永远不能变更和重新赋值。
  • 可以在任何作用域中声明常量。在声明它的作用域中,常量在整个生命周期(关于生命周期将在后续章节介绍)中都是有效的。
  • 常量智能被赋值为常量表达式或者数学表达式。不能是函数的返回值,或者是其他在运行时才能确定的值。然而不可变变量则不受限制。

0x07 静态变量——又称全局变量(Static)

静态变量和常量很相似,但是在一个程序中,静态变量拥有精确固定的内存地址,对于静态变量的所有引用都指向相同的内存地址。静态变量也存在生命周期,但是其生命周期在程序中是最长的。静态变量不会在程序结束时调用drop函数。官方文档是这样说的:

A static item is similar to a constant, except that it represents a precise memory location in the program. All references to the static refer to the same memory location. Static items have the lifetime, which outlives all other lifetimes in a Rust program. Static items do not call drop at the end of the program.

静态变量是可以用mut来修饰的,一旦静态变量可变,就会出现多线程同时访问的场景,从而引发内存不安全的问题,因此对于static mut声明的变量必须在unsafe块中进行定义(有关unsafe的内容将在后续章节介绍)。

静态变量和常量的应用场景:

  • 数据占有内存比较大的场合,推荐使用静态变量。
  • 程序需要变量的地址属性的情况下,推荐使用静态变量。
  • 变量需要是可变的情况下,推荐使用静态变量。
  • 其它场景常量优于静态变量。
fn main (){
    static IP: &str = "111.111.111.111";
    static mut NAME : &str = "zhangsan";

    dbg!(IP);

    unsafe {
        dbg!(NAME);
    }
}

0x08 本节源码

005 · StudyRust - 码云 - 开源中国 (gitee.com)

下节预告——了解下Rust的常见基本数据类型

你可能感兴趣的:(RUST 学习日记 第5课 ——变量和常量)