01-类型 on 编程那些事儿

01-布尔类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/boolean.html

r[type.bool]

布尔类型

1

let b: bool = true;

r[type.bool.intro] 布尔类型或 bool 是一种基本数据类型，只能取两个值之一，分别称为 true 和 false。

r[type.bool.literal] 该类型的值可以用字面量表达式创建，关键字 true 和 false 对应同名的值。

02-数值类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/numeric.html

r[type.numeric]

数值类型

r[type.numeric.int]

整数类型

r[type.numeric.int.unsigned] 无符号整数类型包括：

类型	最小值	最大值
`u8`	0	2⁸-1
`u16`	0	2¹⁶-1
`u32`	0	2³²-1
`u64`	0	2⁶⁴-1
`u128`	0	2¹²⁸-1

r[type.numeric.int.signed] 有符号二进制补码整数类型包括：

类型	最小值	最大值
`i8`	-(2⁷)	2⁷-1
`i16`	-(2¹⁵)	2¹⁵-1
`i32`	-(2³¹)	2³¹-1
`i64`	-(2⁶³)	2⁶³-1
`i128`	-(2¹²⁷)	2¹²⁷-1

r[type.numeric.float]

03-字符类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/char.html

r[type.char]

字符类型

r[type.char.intro] char 类型表示单个 Unicode 标量值（即非代理项的码点）。

[i18n] example

1
2
3


let c: char = 'a';
let emoji: char = '😀';
let unicode: char = '\u{1F600}';

注意关于 char 类型的 impl，见[标准库文档][char]。

04-字符串切片类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/str.html

r[type.str]

字符串切片类型

r[type.str.intro] 字符串切片（str）类型表示一个字符序列。

1
2


let greeting1: &str = "Hello, world!";
let greeting2: &str = "你好，世界";

注意关于 str 类型的 impl，见[标准库文档][str]。

05-Never 类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/never.html

r[type.never]

Never 类型

r[type.never.syntax]

NeverType -> `!`

r[type.never.intro] Never 类型 ! 是没有值的类型，表示永不完成的计算的结果。

r[type.never.coercion] 类型为 ! 的表达式可以被强制转换为任何其他类型。

r[type.never.constraint] 目前 ! 类型只能出现在函数返回类型中，表示这是一个永不返回的发散函数。

06-元组类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/tuple.html

r[type.tuple]

元组类型

r[type.tuple.syntax]

TupleType ->
 `(` `)`
 | `(` ( Type `,` )+ Type? `)`

r[type.tuple.intro] 元组类型是一族结构类型¹，用于表示其他类型的异构列表。

元组类型的语法是括号括起、逗号分隔的类型列表。

r[type.tuple.restriction] 一元元组必须在其元素类型后加逗号，以便与括号类型区分。

07-数组类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/array.html

r[type.array]

数组类型

r[type.array.syntax]

ArrayType -> `[` Type `;` Expression `]`

r[type.array.intro] 数组是 N 个类型为 T 的元素组成的固定大小序列。数组类型写作 [T; N]。

r[type.array.constraint] 大小是求值为 usize 的常量表达式。

示例：

1
2
3
4
5


// 栈上分配的数组
let array: [i32; 3] = [1, 2, 3];

// 堆上分配的数组，被强制转换为切片
let boxed_array: Box<[i32]> = Box::new([1, 2, 3]);

r[type.array.index] 数组的所有元素总是已初始化，并且在安全方法和运算符中对数组的访问总是会进行边界检查。

08-切片类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/slice.html

r[type.slice]

切片类型

r[type.slice.syntax]

SliceType -> `[` Type `]`

r[type.slice.intro] 切片是一种动态大小类型，表示对类型为 T 的元素序列的「视图」。切片类型写作 [T]。

r[type.slice.unsized] 切片类型通常通过指针类型使用。例如：

&[T]：共享切片，常直接称为「切片」。它不拥有所指向的数据，而是借用它。
&mut [T]：可变切片。它可变地借用所指向的数据。
Box<[T]>：装箱切片

示例：

09-结构体类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/struct.html

r[type.struct]

结构体类型

r[type.struct.intro] struct 类型是其他类型的异构积，这些其他类型称为该类型的字段。¹

r[type.struct.constructor] 可以用结构体表达式构造 struct 的新实例。

r[type.struct.layout] 默认情况下 struct 的内存布局未定义，以便编译器可以进行字段重排等优化，但可以用 repr 属性固定布局。无论哪种情况，对应的结构体表达式中字段可以按任意顺序给出；得到的 struct 值总是具有相同的内存布局。

10-枚举类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/enum.html

r[type.enum]

枚举类型

r[type.enum.intro] 枚举类型是指名的、异构的不相交并类型，由 enum 项的名称表示。¹

r[type.enum.declaration] enum 项同时声明该类型以及若干变体，每个变体都有独立的名称，语法分别对应结构体、元组结构体或类单元结构体。

11-联合体类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/union.html

r[type.union]

联合体类型

r[type.union.intro] 联合体类型是指名的、异构的类 C 联合体，由 union 项的名称表示。

r[type.union.access] 联合体没有「活动字段」的概念。相反，每一次联合体访问都会把联合体内容的一部分 transmute 为所访问字段的类型。

12-函数项类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/function-item.html

r[type.fn-item]

函数项类型

r[type.fn-item.intro] 当被引用时，函数项，或类元组结构体 / 枚举变体的构造函数，会产生一个零大小的函数项类型值。

r[type.fn-item.unique] 该类型显式标识该函数——其名称、其类型实参，以及其早绑定生命周期实参（但不包括晚绑定生命周期实参，后者仅在函数被调用时才赋值）——因此该值不必包含实际的函数指针，调用函数时也不需要间接。

13-闭包类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/closure.html

r[type.closure]

闭包类型

r[type.closure.intro] 闭包表达式产生一个具有无法写出的唯一匿名类型的闭包值。闭包类型大致等价于包含被捕获值的结构体。例如，下面的闭包：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19


#[derive(Debug)]
struct Point { x: i32, y: i32 }
struct Rectangle { left_top: Point, right_bottom: Point }

fn f<F : FnOnce() -> String> (g: F) {
 println!("{}", g());
}

let mut rect = Rectangle {
 left_top: Point { x: 1, y: 1 },
 right_bottom: Point { x: 0, y: 0 }
};

let c = || {
 rect.left_top.x += 1;
 rect.right_bottom.x += 1;
 format!("{:?}", rect.left_top)
};
f(c); // 打印 "Point { x: 2, y: 1 }"。

会生成大致如下的闭包类型：

14-指针类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/pointer.html

r[type.pointer]

指针类型

r[type.pointer.intro] 所有指针都是显式的一等值。它们可以被移动或复制，存入数据结构，以及从函数返回。

r[type.pointer.reference]

引用（`&` 和 `&mut`）

r[type.pointer.reference.syntax]

ReferenceType -> `&` Lifetime? `mut`? TypeNoBounds

r[type.pointer.reference.shared]

15-函数指针类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/function-pointer.html

r[type.fn-pointer]

函数指针类型

r[type.fn-pointer.syntax]

BareFunctionType ->
 ForLifetimes? FunctionTypeQualifiers `fn`
 `(` FunctionParametersMaybeNamedVariadic? `)` BareFunctionReturnType?

FunctionTypeQualifiers -> `unsafe`? (`extern` Abi?)?

BareFunctionReturnType -> `->` TypeNoBounds

FunctionParametersMaybeNamedVariadic ->
 MaybeNamedFunctionParameters | MaybeNamedFunctionParametersVariadic

MaybeNamedFunctionParameters ->
 MaybeNamedParam ( `,` MaybeNamedParam )* `,`?

MaybeNamedParam ->
 OuterAttribute* ( ( IDENTIFIER | `_` ) `:` )? Type

MaybeNamedFunctionParametersVariadic ->
 ( MaybeNamedParam `,` )* MaybeNamedParam `,` OuterAttribute* `...`

r[type.fn-pointer.intro] 函数指针类型使用 fn 关键字书写，指的是其身份在编译时不一定已知的函数。

16-Trait 对象类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/trait-object.html

r[type.trait-object]

Trait 对象类型

r[type.trait-object.syntax]

TraitObjectType -> Bounds[^bare-2021] | `dyn`[^dyn-2018] Bounds?

TraitObjectTypeOneBound -> TraitBound[^bare-2021] | `dyn`[^dyn-2018] TraitBound?

r[type.trait-object.intro] trait 对象 是实现了一组 trait 的另一种类型的不透明值。这组 trait 由一个 dyn 兼容的 基础 trait 加上任意数量的自动 trait组成。

17-impl Trait 类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/impl-trait.html

r[type.impl-trait]

impl Trait 类型

r[type.impl-trait.syntax]

ImplTraitType -> `impl` Bounds?

ImplTraitTypeOneBound -> `impl` TraitBound?

r[type.impl-trait.intro] impl Trait 提供了指定实现特定 trait 的未命名但具体的类型的方式。它可以出现在两类位置：参数位置（在此它可以作为函数的匿名类型参数）和返回位置（在此它可以作为抽象返回类型）。

18-类型参数

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/parameters.html

r[type.generic]

类型参数

在带有类型参数声明的项的函数体中，其类型参数的名字就是类型：

1
2
3
4
5
6
7
8
9


fn to_vec<A: Clone>(xs: &[A]) -> Vec<A> {
 if xs.is_empty() {
 return vec![];
 }
 let first: A = xs[0].clone();
 let mut rest: Vec<A> = to_vec(&xs[1..]);
 rest.insert(0, first);
 rest
}

此处，first 的类型为 A，指的是 to_vec 的类型参数 A；而 rest 的类型为 Vec<A>，即元素类型为 A 的向量。

19-推断类型

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/types/inferred.html

r[type.inferred]

推断类型

r[type.inferred.syntax]

InferredType -> `_`

r[type.inferred.intro] 推断类型要求编译器在可能的情况下，根据周围可用信息来推断类型。

[i18n] example

推断类型常用于泛型参数：

1

let x: Vec<_> = (0..10).collect();

r[type.inferred.constraint] 推断类型不能用在项的签名中。

01-类型 on 编程那些事儿

01-布尔类型

布尔类型

02-数值类型

数值类型

整数类型

03-字符类型

字符类型

04-字符串切片类型

字符串切片类型

05-Never 类型

Never 类型

06-元组类型

元组类型

07-数组类型

数组类型

08-切片类型

切片类型

09-结构体类型

结构体类型

10-枚举类型

枚举类型

11-联合体类型

联合体类型

12-函数项类型

函数项类型

13-闭包类型

闭包类型

14-指针类型

指针类型

引用（& 和 &mut）

15-函数指针类型

函数指针类型

16-Trait 对象类型

Trait 对象类型

17-impl Trait 类型

impl Trait 类型

18-类型参数

类型参数

19-推断类型

推断类型

引用（`&` 和 `&mut`）