Rust基础概念之数据类型

Time: 20190921

数据类型概览

Rust是一种静态语言，也是一门强类型语言。每个值都对应着一个特定的类型。

编译器知道数据类型后，就知道该类型对应的确定的操作。本篇主要关注两种特定类型：

标量数据类型
符合数据类型

Rust比较强的地方是，编译器能自动进行类型推断。在有些场景下，有很多类型选择，就需要我们指定具体类型，比如String类型用parse解析为数值类型时：

let guess: u32 = "42".parse().expect("Not a number");

标量数据类型

Rust有四种基本标量数据类型：

整数
浮点数
布尔数
字符

整数类型

整数类型分为两类：

有符号整数：i开头
无符号整数：u开头

有符号整数：

i8
i16
i32
i64
i128
isize: 根据架构位数决定

无符号整数：

u8
u16
u32
u64
u128
usize

整数字面量

可以在整数数值字面量后面添加类型，这样更加清晰。还可以在数字中插入_，更加易读。

98_222
57u8

添加前缀表示数字的进制：

0xff : 16进制
0o77: 八进制
0b1111_0000：二进制
b’A’：字节类型，仅仅适用于u8类型

浮点数类型

两种常用的是：

默认浮点数类型是64位浮点数。

fn main() {let x = 2.0; // 自动推断为f64let y: f32 = 3.0; // 明确指定为f32
}

数值操作

这个没啥好多说的，加减乘除，求模等都是基本操作。

布尔类型

fn main() {let t = true; // 自动推断let f: bool = false;  // 显式类型标注
}

字符类型

用单引号表示：

fn main() {let c = 'z';let c = 'Z';
}

Rust中的char类型有4个字节大小。

复合数据类型

这部分主要是说两种类型：

元组
数组

元组类型

元组的大小固定。

Rust中，元组中的元素值类型可以不同。比如下面这种写法：

fn main() {let tup: (i32, f64, u8) = (500, 6.4, 1);
}

灵活性比较好。为了获取元组中的数值，可以用解构的方式：

fn main() {let tup = (500, 6.4, 1);let (x, y, z) = tup;
}

这个和ES6中的结构概念是一致的，不过ES6中使用{}来解构。

索引语法：.

和一般语言中用[]索引元素不同，Rust用的是下面这种方式：

fn main() {let tup: (i32, f64, u8) = (500, 6.4, 1);let a = tup.0;let b = tup.1;let c = tup.2;
}

确实语法上读起来也很舒服。

数组类型

数组类型和元组是有相似的地方，都是一种将很多元素综合在一起的方式。但是，数组对元素的要求需要“整齐”，类型需要相同。

但是，Rust中的数组和其他语言很不同，它和元组倒是有相同之处，即：大小是固定的。

最基本的用法是：

fn main() {let a = [1, 2, 3, 4, 5];
}

数组中的元素是存储在栈上，而不是在堆上。

如果需要动态数组，可以用向量类型，这个和C++的STL中的Vector是相似的。

数组这种，熟知它的两个特性即可：

元素类型相同
大小固定

上面是动态推导的方式，下面是指定类型的方式：

let a: [i32; 5] = [1, 2, 3, 4, 5];

一个标识类型，一个标识个数。

用下面的方式可以赋予一个数组相同的初值：

let a = [3; 5];

读取数组元素

fn main() {let a = [1, 2, 3, 4, 5];let first = a[0];let second = a[1];
}

这和其他语言读取数组元素方式是一致的。

Rust的数组越界处理

fn main() {let a = [1, 2, 3, 4, 5];let index = 10;let element = a[index];println!("The value of element is: {}", element);
}

执行会得到以下错误：

$ cargo runCompiling arrays v0.1.0 (file:///projects/arrays)Finished dev [unoptimized + debuginfo] target(s) in 0.31 secsRunning `target/debug/arrays`
thread 'main' panicked at 'index out of bounds: the len is 5 but the index is10', src/main.rs:5:19
note: Run with `RUST_BACKTRACE=1` for a backtrace.

Rust will panic!

2019.10 Update:

第一届PAT算法直播课培训班招募帖，欢迎点击查看详情、

END.