Update array.md

pull/177/head
Jesse 3 years ago committed by GitHub
parent 841161a42b
commit e7b279ea8b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,6 +1,6 @@
# 数组 # 数组
在日常开发中使用最广的数据结构之一就是数组在Rust中最常用的数组有两种第一种是速度很快但是长度固定的`array`,第二种是可动态增长的但是有一点性能损耗的`Vector`,在本书中,我们称`array`为数组,`Vector`为动态数组。 在日常开发中使用最广的数据结构之一就是数组在Rust中最常用的数组有两种第一种是速度很快但是长度固定的`array`,第二种是可动态增长的但是有性能损耗的`Vector`,在本书中,我们称`array`为数组,`Vector`为动态数组。
不知道你们发现没,这两个数组的关系跟`&str`与`String`的关系很像前者是长度固定的字符串切片后者是可动态增长的字符串。其实在Rust中无论是`String`还是`Vector`它们都是Rust的高级类型集合类型在后面章节会有详细介绍。 不知道你们发现没,这两个数组的关系跟`&str`与`String`的关系很像前者是长度固定的字符串切片后者是可动态增长的字符串。其实在Rust中无论是`String`还是`Vector`它们都是Rust的高级类型集合类型在后面章节会有详细介绍。
@ -21,7 +21,7 @@ fn main() {
数组语法跟`javascript`很像,也跟大多数编程语言很像。由于它的元素类型大小固定,且长度也是固定,因此**数组是存储在栈上**,性能也会非常优秀。与此对应,动态数组`Vector`是存储在堆上,因此长度可以动态改变。当你不确定是使用数组还是动态数组时,那就应该使用后者,具体见[动态数组Vector](../collections/vector.md)一章. 数组语法跟`javascript`很像,也跟大多数编程语言很像。由于它的元素类型大小固定,且长度也是固定,因此**数组是存储在栈上**,性能也会非常优秀。与此对应,动态数组`Vector`是存储在堆上,因此长度可以动态改变。当你不确定是使用数组还是动态数组时,那就应该使用后者,具体见[动态数组Vector](../collections/vector.md)一章.
举个例子,在需要知道一年中各个月份名称的程序中,你很可能希望使用的是数组而不是动态数组。因为月份是固定的,它总是只包含 12 个固定的元素: 举个例子,在需要知道一年中各个月份名称的程序中,你很可能希望使用的是数组而不是动态数组。因为月份是固定的,它总是只包含 12 个元素:
```rust ```rust
let months = ["January", "February", "March", "April", "May", "June", "July", let months = ["January", "February", "March", "April", "May", "June", "July",
"August", "September", "October", "November", "December"]; "August", "September", "October", "November", "December"];
@ -37,7 +37,7 @@ let a: [i32; 5] = [1, 2, 3, 4, 5];
```rust ```rust
let a = [3; 5]; let a = [3; 5];
``` ```
`a`数组包含`5`个元素,这些元素的初始化值为`3`,聪明的读者已经发现,这种语法跟数组类型的声明语法其实是保持一致的:`[3;5]` 和`[类型;长度]`. `a`数组包含`5`个元素这些元素的初始化值为`3`,聪明的读者已经发现,这种语法跟数组类型的声明语法其实是保持一致的:`[3;5]` 和`[类型;长度]`.
在元素重复的场景,这种写法要简单的多,否则你就得疯狂敲击键盘:`let a = [3, 3, 3, 3, 3];`,不过老板可能很喜欢你的这种疯狂编程的状态。 在元素重复的场景,这种写法要简单的多,否则你就得疯狂敲击键盘:`let a = [3, 3, 3, 3, 3];`,不过老板可能很喜欢你的这种疯狂编程的状态。
@ -52,7 +52,7 @@ fn main() {
let second = a[1]; // 获取第二个元素 let second = a[1]; // 获取第二个元素
} }
``` ```
与许多语言类似数组的索引下标是从0开始的。此处`first`获取到的值是`9`,`second`是`8`。 与许多语言类似数组的索引下标是从0开始的。此处`first`获取到的值是`9``second`是`8`。
#### 越界访问 #### 越界访问
如果使用超出数组范围的索引访问数组元素,会怎么样?下面是一个接收用户的控制台输入,然后将其作为索引访问数组元素的例子: 如果使用超出数组范围的索引访问数组元素,会怎么样?下面是一个接收用户的控制台输入,然后将其作为索引访问数组元素的例子:
@ -109,7 +109,7 @@ let slice: &[i32] = &a[1..3];
assert_eq!(slice, &[2, 3]); assert_eq!(slice, &[2, 3]);
``` ```
上面的数组切片`slice`的类型是`&[i32]`,与之对比,数组的类型是`[i32;5]`,简单总结下切片的特点: 上面的数组切片`slice`的类型是`&[i32]`与之对比,数组的类型是`[i32;5]`,简单总结下切片的特点:
- 切片的长度可以与数组不同,并不是固定的,而是取决于你使用时指定的起始和结束位置 - 切片的长度可以与数组不同,并不是固定的,而是取决于你使用时指定的起始和结束位置
- 创建切片的代价非常小,因为切片只是针对底层数组的一个引用 - 创建切片的代价非常小,因为切片只是针对底层数组的一个引用
- 切片类型[T]拥有不固定的大小,而切片引用类型&[T]则具有固定的大小因为Rust很多时候都需要固定大小数据类型因此&[T]更有用,`&str`字符串切片也同理 - 切片类型[T]拥有不固定的大小,而切片引用类型&[T]则具有固定的大小因为Rust很多时候都需要固定大小数据类型因此&[T]更有用,`&str`字符串切片也同理
@ -148,7 +148,7 @@ fn main() {
``` ```
做个总结,数组虽然很简单,但是其实还是存在几个要注意的点: 做个总结,数组虽然很简单,但是其实还是存在几个要注意的点:
- **数组类型容易跟数组切片混淆**,[T;n]描述了一个数组的类型,而[T]描述了切片的类型, 因为切片是运行期的数据结构,因此它不具备编译器的长度(这里不清楚想表达什么意思),因此不能用[T;n]的形式去描述 - **数组类型容易跟数组切片混淆**[T;n]描述了一个数组的类型,而[T]描述了切片的类型, 因为切片是运行期的数据结构,因此它不具备编译器的长度(这里不清楚想表达什么意思),因此不能用[T;n]的形式去描述
- `[u8; 3]`和`[u8; 4]`是不同的类型,数组的长度也是类型的一部分 - `[u8; 3]`和`[u8; 4]`是不同的类型,数组的长度也是类型的一部分
- **在实际开发中,使用最多的是数组切片[T]**,我们往往通过引用的方式去使用`&[T]`,因为后者有固定的类型大小 - **在实际开发中,使用最多的是数组切片[T]**,我们往往通过引用的方式去使用`&[T]`,因为后者有固定的类型大小

Loading…
Cancel
Save