[TOC] ### **數據類型** 我們將看到兩類數據類型子集：標量（scalar）和復合（compound） ### **標量** Rust中的整形 | 長度 | 有符號 | 無符號 | | --- | --- | --- | | 8-bit | `i8` | `u8` | | 16-bit | `i16` | `u16` | | 32-bit | `i32` | `u32` | | 64-bit | `i64` | `u64` | | arch | `isize` | `usize` | **有符號**和**無符號**代表數字能否為負值，每一個有符號的變體可以儲存包含從 -(2n - 1) 到 2n - 1- 1 在內的數字，這里*n*是變體使用的位數。 `i8`可以儲存從 -(27) 到 27\- 1 在內的數字，也就是從 -128 到 127。無符號的變體可以儲存從 0 到 2n\- 1 的數字，所以`u8`可以儲存從 0 到 28\- 1 的數字，也就是從 0 到 255。 ``` ``` 浮點 布爾型 字符型 ### **復合類型** **復合類型**（*Compound types*）可以將多個值組合成一個類型。Rust 有兩個原生的復合類型：元組（tuple）和數組（array）。 #### 元組類型 文件名: src/main.rs ``` fn main() { let tup: (i32, f64, u8) = (500, 6.4, 1); } ``` `tup`變量綁定到元組上，元組是一個單獨的復合元素，我們可以用模式匹配來結構元組值： ``` fn main() { let tup = (500, 6.4, 1); let (x, y, z) = tup; println!("The value of y is: {}", y); } ``` 程序創建了一個元組并綁定到元組`tup`上，。接著使用了`let`和一個模式將`tup`分成了三個不同的變量，`x`、`y`和`z`。這叫做**解構**（*destructuring*），因為它將一個元組拆成了三個部分。最后，程序打印出了`y`的值，也就是`6.4`。 除了使用模式匹配解構外，也可以使用點號（`.`）后跟值的索引來直接訪問它們。例如： 文件名: src/main.rs ``` fn main() { let x: (i32, f64, u8) = (500, 6.4, 1); let five_hundred = x.0; let six_point_four = x.1; let one = x.2; } ``` #### 數組(分配在棧上) 與元組不同，數組中的每個元素的類型`必須相同`。Rust 中的數組與一些其他語言中的數組不同，因為 Rust 中的數組是`固定長度`的：一旦聲明，它們的長度不能增長或縮小。 Rust 中，數組中的值位于中括號內的逗號分隔的列表中： 文件名: src/main.rs ``` fn main() { let a = [1, 2, 3, 4, 5]; } ``` ##### 使用數組索引訪問數組元素 ``` let first = a.0; let second = a[1]; ``` ##### 無效的數組元素訪問 如果我們訪問數組結尾之后的元素會發生什么呢？比如你將上面的例子改成下面這樣，這可以編譯不過在運行時會因錯誤而退出： ``` fn main() { let a = [1, 2, 3, 4, 5]; let index = 10; let element = a[index]; println!("The value of element is: {}", element); } ```