第5章类型系统 on 编程那些事儿

01-类型转换

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/types/cast.html

类型转换

Rust 不提供原生类型之间的隐式类型转换（coercion），但可以使用 as 关键字进行显式类型转换（casting）。

整型之间的转换大体遵循 C 语言的惯例，除了 C 会产生未定义行为的情形。在 Rust 中所有整型转换都是定义良好的。

02-字面量

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/types/literals.html

字面量

对数值字面量，只要把类型作为后缀加上去，就完成了类型说明。比如指定字面量 42 的类型是 i32，只需要写 42i32。

无后缀的数值字面量，其类型取决于怎样使用它们。如果没有限制，编译器会对整数使用 i32，对浮点数使用 f64。

03-类型推断

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/types/inference.html

类型推断

Rust 的类型推断引擎是很聪明的，它不只是在初始化时看看右值（r-value）的类型而已，它还会考察变量之后会怎样使用，借此推断类型。这是一个类型推导的进阶例子：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15


fn main() {
 // 因为有类型说明，编译器知道 `elem` 的类型是 u8。
 let elem = 5u8;

 // 创建一个空向量（vector，即不定长的，可以增长的数组）。
 let mut vec = Vec::new();
 // 现在编译器还不知道 `vec` 的具体类型，只知道它是某种东西构成的向量（`Vec<_>`）
 
 // 在向量中插入 `elem`。
 vec.push(elem);
 // 啊哈！现在编译器知道 `vec` 是 u8 的向量了（`Vec<u8>`）。
 // 试一试 ^ 注释掉 `vec.push(elem)` 这一行。

 println!("{:?}", vec);//[5]
}

没有必要写类型说明，编译器和程序员皆大欢喜！

04-别名

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/types/alias.html

别名

可以用 type 语句给已有的类型取个新的名字。类型的名字必须遵循驼峰命名法（像是 CamelCase 这样），否则编译器将给出警告。原生类型是例外，比如： usize、f32，等等。

第5章 类型系统 on 编程那些事儿

01-类型转换

类型转换

02-字面量

字面量

03-类型推断

类型推断

04-别名

别名

第5章类型系统 on 编程那些事儿