数组是一个容器，它在一块连续空间内存中，存储了一系列的同样类型的数据。
数组中元素的占用空间大小必须是编译期确定的。
数组本身所容纳的元素个数也必须是编译期确定的，执行阶段不可变。
如果需要使用变长的容器，可以使用标准库中的Vec/LinkedList等。数组类型的表示方式为T;n。
其中T代表元素类型；n代表元素个数；它必须是编译期常量整数；中间用分号隔开。
下面看一个基本的示例：
多维数组
既然T;n是一个合法的类型，那么它的元素T当然也可以是数组类型，因此\[T;m;n]类型自然也是合法类型。示例如下：
数组切片
对数组取借用borrow操作，可以生成一个"数组切片"(Slice)。
数组切片对数组没有"所有权",我们可以把数组切片看作专门用于指向数组的指针，是对数组的另外一个"视图"。
比如，我们有一个数组T;n,它的借用指针的类型就是&T;n。
它可以通过编译器内部魔法转换为数组切片类型&T。
数组切片实质上还是指针，它不过是在类型系统中丢弃了编译阶段定长数组类型的长度信息，而将此长度信息存储为运行期的值。示例如下：
DST和胖指针
从前面的示例中可以看到，数组切片是指向一个数组的指针，而它比指针又多了一点东西------它不止包含有一个指向数组的指针，切片本身还含带长度信息。
Slice与普通的指针是不同的，它有一个非常形象的名字：胖指针(fat pointer)。
与这个概念相对应的概念是"动态大小类型"(Dynamic Sized Type,DST)。
所谓的DST指的是编译阶段无法确定占用空间大小的类型。为了安全性，指向DST的指针一般是胖指针。
比如：对于不定长数组类型T,有对应的胖指针&T类型；对于不定长字符串str类型，有对应的胖指针αstr类型；以及在后文中会出现的Trait Object;等等。
由于不定长数组类型T在编译阶段是无法判断该类型占用空间的大小的，目前我们不能在栈上声明一个不定长大小数组的变量实例，也不能用它作为函数的参数、返回值。
但是，指向不定长数组的胖指针的大小是确定的，&T类型可以用做变量实例、函数参数、返回值。
通过前面的示例我们可以看到，&T类型占用了两个指针大小的内存空间。
Range
Rust中的Range代表一个"区间",一个"范围",它有内置的语法支持，就是两个小数点...。示例如下：
边界检查
在前面的示例中，我们的"索引"都是一个合法的值，没有超过数组的长度。如果我们给"索引"一个非法的值会怎样呢：
编译通过，执行thread'main'panicked at index out of bounds:the len is 5 but the index is10'。
可以看出，如果用/test10,则会出现数组越界，Rust目前还无法任意索引执行编译阶段边界检查，但是在运行阶段执行了边界检查。下面我们分析一下边界检查背后的故事。
在Rust中，"索引"操作也是一个通用的运算符，是可以自行扩展的。
如果希望某个类型可以执行"索引"读操作，就需要该类型实现std::ops::Index trait,如果希望某个类型可以执行"索引"写操作，就需要该类型实现std::ops::IndexMut trait。
对于数组类型，如果使用usize作为索引类型执行读取操作，实际执行的是标准库中的以下代码：
字符串
字符串是非常重要的常见类型。相比其他很多语言，Rust的字符串显得有点复杂，主要是跟所有权有关。Rust的字符串涉及两种类型，一种是&str,另外一种是string。
&str
str是Rust的内置类型。&str是对str的借用。Rust的字符串内部默认是使用utf-8编码格式的。而内置的char类型是4字节长度的，存储的内容是Unicode Scalar Value。
所以，Rust里面的字符串不能视为char类型的数组，而更接近u8类型的数组。
实际上str类型有一种方法：fn as_ptr(&self)->*const u8。
它内部无须做任何计算，只需做一个强制类型转换即可。
String
接下来讲string类型。它跟&str类型的主要区别是，它有管理内存空间的权力。
关于"所有权"和"借用"的关系，&str类型是对一块字符串区间的借用，它对所指向的内存空间没有所有权，哪怕&mut str也一样。比如：
let greeting:&str ="Hello";
我们没办法扩大greeting所引用的范围，在它后面增加内容。但是string类型可以。示例如下：
