第6章项 on 编程那些事儿

01-模块

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

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/items/modules.html

r[items.mod]

模块

r[items.mod.syntax]

Module ->
 `unsafe`? `mod` IDENTIFIER `;`
 | `unsafe`? `mod` IDENTIFIER `{`
 InnerAttribute*
 Item*
 `}`

r[items.mod.intro] 模块是零个或多个项的容器。

r[items.mod.def] 模块项是一个用花括号包围、具名、并以关键字 mod 为前缀的模块。模块项会在构成 crate 的模块树中引入一个新的具名模块。

02-Extern crate

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

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/items/extern-crates.html

r[items.extern-crate]

Extern crate

r[items.extern-crate.syntax]

ExternCrate -> `extern` `crate` CrateRef AsClause? `;`

CrateRef -> IDENTIFIER | `self`

AsClause -> `as` ( IDENTIFIER | `_` )

r[items.extern-crate.intro] extern crate 声明指定对外部 crate 的依赖。

r[items.extern-crate.namespace] 随后，该外部 crate 以给定的标识符绑定到声明所在作用域的类型命名空间中。

r[items.extern-crate.extern-prelude] 此外，若 extern crate 出现在 crate 根中，则 crate 名也会加入extern prelude，从而在所有模块中自动进入作用域。

03-use 声明

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

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/items/use-declarations.html

r[items.use]

use 声明

r[items.use.syntax]

UseDeclaration -> `use` UseTree `;`

UseTree ->
 (SimplePath? `::`)? `*`
 | (SimplePath? `::`)? `{` (UseTree ( `,` UseTree )* `,`?)? `}`
 | SimplePath ( `as` ( IDENTIFIER | `_` ) )?

r[items.use.intro] use 声明创建一或多个与某个其他路径同义的局部名称绑定。通常用 use 声明来缩短引用模块项所需的路径。这些声明可以出现在模块和块中，通常位于顶部。use 声明有时也称为导入；若它是公开的，则称为再导出。

04-函数

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

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/items/functions.html

r[items.fn]

函数

r[items.fn.syntax]

Function ->
 FunctionQualifiers `fn` IDENTIFIER GenericParams?
 `(` FunctionParameters? `)`
 FunctionReturnType? WhereClause?
 ( BlockExpression | `;` )

FunctionQualifiers -> `const`? `async`?[^async-edition] ItemSafety?[^extern-qualifiers] (`extern` Abi?)?

ItemSafety -> `safe`[^extern-safe] | `unsafe`

Abi -> STRING_LITERAL | RAW_STRING_LITERAL

FunctionParameters ->
 SelfParam `,`?
 | (SelfParam `,`)? FunctionParam (`,` FunctionParam)* `,`?

SelfParam -> OuterAttribute* ( ShorthandSelf | TypedSelf )

ShorthandSelf -> (`&` | `&` Lifetime)? `mut`? `self`

TypedSelf -> `mut`? `self` `:` Type

FunctionParam -> OuterAttribute* ( FunctionParamPattern | `...` | Type[^fn-param-2015] )

FunctionParamPattern -> PatternNoTopAlt `:` ( Type | `...` )

FunctionReturnType -> `->` Type

r[items.fn.intro] 函数由一个块（即函数的函数体）、一个名称、一组参数以及一个输出类型组成。除名称外，这些都是可选的。

05-类型别名

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

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/items/type-aliases.html

r[items.type]

类型别名

r[items.type.syntax]

TypeAlias ->
 `type` IDENTIFIER GenericParams? ( `:` Bounds? )?
 WhereClause?
 ( `=` Type WhereClause?)? `;`

r[items.type.intro] 类型别名在其所在模块或块的类型命名空间中为已有类型定义一个新名称。类型别名用关键字 type 声明。每个值都有单一、具体的类型，但可以实现若干不同的 trait，并可能与若干不同的类型约束兼容。

06-结构体

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

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/items/structs.html

r[items.struct]

结构体

r[items.struct.syntax]

Struct ->
 StructStruct
 | TupleStruct

StructStruct ->
 `struct` IDENTIFIER GenericParams? WhereClause? ( `{` StructFields? `}` | `;` )

TupleStruct ->
 `struct` IDENTIFIER GenericParams? `(` TupleFields? `)` WhereClause? `;`

StructFields -> StructField (`,` StructField)* `,`?

StructField -> OuterAttribute* Visibility? IDENTIFIER `:` Type

TupleFields -> TupleField (`,` TupleField)* `,`?

TupleField -> OuterAttribute* Visibility? Type

r[items.struct.intro] 结构体是用关键字 struct 定义的名义结构体类型。

07-枚举

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

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/items/enumerations.html

r[items.enum]

枚举

r[items.enum.syntax]

Enumeration ->
 `enum` IDENTIFIER GenericParams? WhereClause? `{` EnumVariants? `}`

EnumVariants -> EnumVariant ( `,` EnumVariant )* `,`?

EnumVariant ->
 OuterAttribute* Visibility?
 IDENTIFIER ( EnumVariantTuple | EnumVariantStruct )? EnumVariantDiscriminant?

EnumVariantTuple -> `(` TupleFields? `)`

EnumVariantStruct -> `{` StructFields? `}`

EnumVariantDiscriminant -> `=` Expression

r[items.enum.intro] 枚举（enumeration），也称 enum，同时定义一个名义枚举类型以及一组构造器，这些构造器可用于创建或模式匹配相应枚举类型的值。

08-联合体

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

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/items/unions.html

r[items.union]

联合体

r[items.union.syntax]

Union ->
 `union` IDENTIFIER GenericParams? WhereClause? `{` StructFields? `}`

r[items.union.intro] 联合体声明使用与结构体声明相同的语法，只是用 union 代替 struct。

r[items.union.namespace] 联合体声明在其所在模块或块的类型命名空间中定义给定名称。

1
2
3
4
5


#[repr(C)]
union MyUnion {
 f1: u32,
 f2: f32,
}

r[items.union.common-storage] 联合体的关键性质是其所有字段共享同一存储。因此，写入联合体的一个字段可以覆盖其他字段，联合体的大小由其最大字段的大小决定。

09-常量项

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

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/items/constant-items.html

r[items.const]

常量项

r[items.const.syntax]

ConstantItem ->
 `const` ( IDENTIFIER | `_` ) `:` Type ( `=` Expression )? `;`

r[items.const.intro] 常量项是一个可选具名的*常量值*，它不与程序中的特定内存位置关联。

r[items.const.behavior] 常量本质上会在使用处内联，意味着使用时会直接复制到相关上下文中。这包括使用来自外部 crate 的常量，以及非 Copy 类型。对同一常量的引用不一定保证指向同一内存地址。

10-静态项

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

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/items/static-items.html

r[items.static]

静态项

r[items.static.syntax]

StaticItem ->
 ItemSafety?[^extern-safety] `static` `mut`? IDENTIFIER `:` Type ( `=` Expression )? `;`

r[items.static.intro] 静态项类似于常量，不同之处在于它表示程序中的一块分配，该分配用初始化表达式进行初始化。所有指向该静态项的引用和原始指针都指向同一块分配。

r[items.static.lifetime] 静态项具有 static 生命周期，它长于 Rust 程序中的所有其他生命周期。静态项在程序结束时不会调用 drop。

11-Trait

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

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/items/traits.html

r[items.traits]

Trait

r[items.traits.syntax]

Trait ->
 `unsafe`? `trait` IDENTIFIER GenericParams? ( `:` Bounds? )? WhereClause?
 `{`
 InnerAttribute*
 AssociatedItem*
 `}`

r[items.traits.intro] trait 描述类型可以实现的抽象接口。该接口由关联项组成，关联项有三种：

r[items.traits.namespace] trait 声明在其所在模块或块的类型命名空间中定义一个 trait。

12-实现

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

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/items/implementations.html

r[items.impl]

实现

r[items.impl.syntax]

Implementation -> InherentImpl | TraitImpl

InherentImpl ->
 `impl` GenericParams? Type WhereClause? `{`
 InnerAttribute*
 AssociatedItem*
 `}`

TraitImpl ->
 `unsafe`? `impl` GenericParams? `!`? TypePath `for` Type
 WhereClause?
 `{`
 InnerAttribute*
 AssociatedItem*
 `}`

r[items.impl.intro] 实现是将项与实现类型关联起来的项。实现用关键字 impl 定义，并包含属于正在被实现的类型的实例或静态属于该类型的函数。

13-外部块

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

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/items/external-blocks.html

r[items.extern]

外部块

r[items.extern.syntax]

ExternBlock ->
 `unsafe`?[^unsafe-2024] `extern` Abi? `{`
 InnerAttribute*
 ExternalItem*
 `}`

ExternalItem ->
 OuterAttribute* (
 MacroInvocationSemi
 | Visibility? StaticItem
 | Visibility? Function
 )

r[items.extern.intro] 外部块提供当前 crate 中未定义的项的声明，是 Rust 外部函数接口的基础。它们类似于未经检查的导入。

14-泛型参数

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

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/items/generics.html

r[items.generics]

泛型参数

r[items.generics.syntax]

GenericParams -> `<` ( GenericParam (`,` GenericParam)* `,`? )? `>`

GenericParam -> OuterAttribute* ( LifetimeParam | TypeParam | ConstParam )

LifetimeParam -> Lifetime ( `:` LifetimeBounds? )?

TypeParam -> IDENTIFIER ( `:` Bounds? )? ( `=` Type )?

ConstParam ->
 `const` IDENTIFIER `:` Type
 ( `=` ( BlockExpression | IDENTIFIER | `-`?LiteralExpression ) )?

r[items.generics.syntax.intro] 函数、类型别名、结构体、枚举、联合体、trait 和实现都可以由类型、常量和生命周期参数化。这些参数列在尖括号（<...>）中，通常紧跟在项名之后、定义之前。对于没有名称的实现，它们直接出现在 impl 之后。

15-关联项

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

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/items/associated-items.html

r[items.associated]

关联项

r[items.associated.syntax]

AssociatedItem ->
 OuterAttribute* (
 MacroInvocationSemi
 | ( Visibility? ( TypeAlias | ConstantItem | Function ) )
 )

r[items.associated.intro] 关联项是在 trait 中声明或在实现中定义的项。之所以这样称呼，是因为它们定义在关联类型上——即实现中的类型。

r[items.associated.kinds] 它们是可以在模块中声明的项种类的子集。具体来说，有关联函数（包括方法）、关联类型和关联常量。

第6章 项 on 编程那些事儿

01-模块

模块

02-Extern crate

Extern crate

03-use 声明

use 声明

04-函数

函数

05-类型别名

类型别名

06-结构体

结构体

07-枚举

枚举

08-联合体

联合体

09-常量项

常量项

10-静态项

静态项

11-Trait

Trait

12-实现

实现

13-外部块

外部块

14-泛型参数

泛型参数

15-关联项

关联项

第6章项 on 编程那些事儿