《Rust深入浅出-2》变量和基本数据类型

第一章 Hello World
第二章变量和基本数据类型
第三章运算符
第四章类型转换
第五章拓展数据类型

前言

Rust深入浅出教程第二章《变量和基本数据类型》
本章节将带领你了解rust这门强类型语言中的变量和rust具有的基本数据类型

常量与变量

常量

rust中的常量，也就是静态量，必须在声明的时候指定常量的类型
★ 格式：const 常量名:数据类型 = 常量值;

const AUTHOR: &str = "evanpatchouli";

这里的&str是一种字符串数据类型，会在后面的小节中具体介绍

变量

rust中的变量很有意思，可以分为可变和不可变两种，我们先讲讲可变变量

可变变量

变量的声明可以不显式指出数据类型，但必须赋初值，rust将以初值的类型作为该变量的数据类型，在后续值变化时，不能变成其它类型的值。
区别于不可变变量，可变变量的可变性是由mut修饰符来指明的
★ 格式：let mut 变量名:数据类型(可不加) = 初值;

let mut a: i32 = 0;
println!("{}", a);
a += 1;
println!("{}", a);

要注意的是，如果声明了可变量，后续代码中却不更新值的话，将被rust编译器警告

不可变变量

当声明变量时不带mut时，我们就是声明了一个不可变变量
★ 格式：let 变量名:数据类型(可不加) = 初值;

let a: i32 = 0;

当你试图修改不可变变量的值，编译器将会报错
说到这里，你可能就会奇怪了：既然不可变变量和常量都不能变，那它们有什么区别呢？

常量和不可变变量的区别

命名规则的不同
编译器希望常量只由大写字母，数字和下划线组成，而变量则只由小写字母，数字和下划线组成
赋值方式的不同
常量赋值只能是一个值或者常量表达式，而不可变变量可以接收含可变变量的表达式，当然它并不会随着后续可变变量的变化而变化，只不过不可变变量在赋初值不像常量一样一定是明确的，它只是保持不变而已。相比常量，不可变变量的灵活性更高一点
数据类型的不同
由于常量的静态特性，只能存储连续不变的值，因为常量只能被赋予数字，普通数组和字符串字面量(下面小节会将)，而不可变变量则可以接收任何类型的数据

基本数据类型

整数

整数又分为标记整数(signed)和未标记整数(unsigned)，前者相比后者多一个标记符号来指明它包含负数
如：

长度/(bit)	unsigned	范围	sign	范围
8	u8	2⁸-1	i8	-2⁷~2⁷-1

根据长度，总共有8,16,32,64,128和arch
arch：usize和isize，他们的长度跟随程序当前运行的操作系统，如果系统是32位，则usize和isize等于u32和isize，如果系统是64位，则比特长为64

let a: i64 = -1;
let b: u64 = 1; // 赋值-1就报错

整数溢出

为指定了整数类型的量赋值时，值不能超过对应的范围，rust不会为其扩容，这将造成整数溢出，开发环境下编译器将报错
如果构建为发布环境时，编译器将不检查整数溢出，如果出现溢出现象，则比最大值每大1，值就变为0或1
如：u8的范围 0~2⁸-1 即 0-255，赋值256将变为1，257将变为0，258将变为1......

浮点数

浮点数分为32位浮点和64位浮点，32位是单精度，64位是双精度
单精度: 用4位存储数字，小数点后有效长度7位
双精度：用8位存储数字，小数点后有效长度15位

let a: f32 = 1.2;
let b: f64 = 1.22;

布尔

与大多数语言一样，rust的布尔值也是2个选值

let b1: bool = true;
let b2: bool = false;

布尔也可以接收一个判定式

let b3: bool = 1 > 2;

字符

rust中的字符用单引号包围着，采取的编码是Unicode，因此可以接收多种语言的字符甚至是emoji

let c: char = 'a';

赋值的时候不能赋予空字符''

字符串

字符串字面量

&str
&str这个类型只存储这个字符串的值，或者说&str就是字符串的值
'&'这个符号表示借用，&str其实是借用rust核心库中str的值
&str是静态的，你不能对它截短追加等等，你只能获取它的值，或者用新的值覆盖原有的值
&str不像字符，是可以被赋予空字符串的

let s1: &str = "hello, rust";

字符串结构体

String
String是一个公开的结构体，你可以把它理解成对象，这个对象封装了字符串的常用方法
String是动态的，可变的
String不像字符，是可以被赋予空字符串的

String创建空字符串

let s2: String = String::new();

根据字面量创建字符串

let s3: String = String::from("hello, rust");

&str和String相互转换

&str -> String

.to_string()
.to_owned()
.into()
String::from(&str)
format!

String -> &str

.as_str()
&(String)
&(String) as &str

let mut s1: &str = "rust";
let mut s2: String = String::new();
s2 = s1.to_string();
s2 = s1.to_owned();
s2 = s1.into();
s2 = format!("{}", s1);
s1 = s2.as_str();
s1 = &s2;

总结

本章简单介绍了rust中变量申明和基本的数据类型。
在下一章，我们将学习rust中的运算符。

下一章常见运算符