词汇表

[glossary.ast]

对齐

值的对齐方式指定了值倾向于从哪个地址开始。始终是 2 的幂。对值的引用必须对齐。更多。

[glossary.abi]

应用程序二进制接口(ABI)

一个 应用程序二进制接口 (ABI) 定义了编译后的代码如何与其它编译后的代码交互。通过 extern 块和 extern fn，ABI 字符串 影响：

调用约定：函数参数如何传递，返回值如何返回（例如，在寄存器中或在栈上），以及谁负责清理栈。
展开：是否允许栈展开。例如，"C-unwind" ABI 允许跨 FFI 边界展开，而 "C" ABI 不允许。

元数

元数指的是函数或运算符接受的参数数量。例如，f(2, 3) 和 g(4, 6) 的元数是 2，而 h(8, 2, 6) 的元数是 3。! 运算符的元数是 1。

数组

数组，有时也称为固定大小数组或内联数组，是一个描述元素集合的值，每个元素通过程序在运行时计算的索引来选择。它占据一片连续的内存区域。

关联项

关联项是与另一个项关联的项。关联项在实现中定义，并在特型中声明。只有函数、常量和类型别名可以关联。与自由项形成对比。

任何类型以未覆盖类型方式出现的实现。impl<T> Foo for T、impl<T> Bar<T> for T、impl<T> Bar<Vec<T>> for T 和 impl<T> Bar<T> for Vec<T> 都被认为是全局实现。然而，impl<T> Bar<Vec<T>> for Vec<T> 不是全局实现，因为出现在此 impl 中的所有 T 实例都被 Vec 覆盖。

界限

界限是对类型或特型的约束。例如，如果对函数接受的参数设置了界限，则传递给该函数的类型必须遵守该约束。

组合器

组合器是高阶函数，它们只应用函数和先前定义的组合器，以从其参数中提供结果。它们可以用于以模块化的方式管理控制流。

crate

crate 是编译和链接的单元。有不同的 crate 类型，例如库或可执行文件。crate 可以链接并引用其他库 crate，称为外部 crate。一个 crate 拥有一个自包含的模块树，从一个名为 crate 根的未命名根模块开始。项可以通过在 crate 根中将其标记为公共来对其他 crate 可见，包括通过公共模块的路径。更多。

调度

调度是一种机制，用于在涉及多态时确定实际运行哪个特定版本的代码。调度的主要形式有两种：静态调度和动态调度。Rust 通过使用特型对象支持动态调度。

动态大小类型(DST)

动态大小类型 (DST) 是一种没有静态已知大小或对齐的类型。

实体

一个实体是一种语言构造，可以在源程序中以某种方式引用，通常通过路径来引用。实体包括类型、项、泛型参数、变量绑定、循环标签、生命周期、字段、属性和 lint。

表达式

表达式是值、常量、变量、运算符和函数的组合，它们评估为一个单一的值，有或没有副作用。

例如，2 + (3 * 4) 是一个返回 14 的表达式。

自由项

一个不属于实现的项，例如 自由函数 或 自由常量。与关联项形成对比。

基本特型

基本特型是指为现有类型添加它的实现会造成破坏性变更的特型。Fn 特型和 Sized 是基本特型。

基本类型构造器

基本类型构造器是一种类型，对其实现全局实现会造成破坏性变更。&、&mut、Box 和 Pin 是基本的。

任何时候，如果类型 T 被认为是局部的，那么 &T、&mut T、Box<T> 和 Pin<T> 也被认为是局部的。基本类型构造器不能覆盖其他类型。任何时候使用术语“覆盖类型”时，&T、&mut T、Box<T> 和 Pin<T> 中的 T 都不被认为是覆盖的。

可居住的

如果一个类型有构造器，从而可以被实例化，那么它就是可居住的。一个可居住的类型在“空”的意义上并非“空”，即可以存在该类型的值。与不可居住的相反。

固有实现

一个适用于名义类型而非特型-类型对的实现。更多。

固有方法

在固有实现中定义而不是在特型实现中定义的方法。

已初始化

如果一个变量已被赋值且之后未被移出，则它就是已初始化的。所有其他内存位置都被认为是未初始化的。只有非安全 Rust 才能创建未初始化的内存位置。

局部特型

在当前 crate 中定义的 trait。特型定义的局部性独立于应用的类型参数。给定 trait Foo<T, U>，Foo 始终是局部的，无论为 T 和 U 替换什么类型。

局部类型

在当前 crate 中定义的 struct、enum 或 union。这不受应用的类型参数影响。struct Foo 被认为是局部的，但 Vec<Foo> 不是。LocalType<ForeignType> 是局部的。类型别名不影响局部性。

模块

模块是一个包含零个或多个项的容器。模块以树形结构组织，从一个未命名的根模块开始，该模块称为 crate 根或根模块。路径可用于引用其他模块中的项，这可能受到可见性规则的限制。更多

名称

一个名称是一个标识符或生命周期或循环标签，它引用一个实体。名称绑定 是指一个实体声明引入了一个与该实体关联的标识符或标签。路径、标识符和标签用于引用一个实体。

名称解析

名称解析 是将路径、标识符和标签与实体声明关联起来的编译时过程。

命名空间

一个 命名空间 是根据名称所引用的实体类型，对已声明的名称进行的逻辑分组。命名空间允许一个名称在一个命名空间中出现，而不会与另一个命名空间中的同名名称冲突。

在命名空间内部，名称以层次结构的方式组织，其中层次结构的每个级别都有自己的一组命名实体。

名义类型

可以直接通过路径引用的类型。具体来说是枚举、结构体、联合体和特型对象类型。

dyn兼容特型

可以在特型对象类型 (dyn Trait) 中使用的特型。只有遵循特定规则的特型才是 dyn 兼容 的。

这些以前被称为 对象安全特型。

路径

一个路径是一系列一个或多个路径段，用于引用当前作用域或命名空间层次结构其它级别中的实体。

预导入

预导入，或称 Rust 预导入，是一个小型的项集合——主要是特型——它们被导入到每个 crate 的每个模块中。预导入中的特型是普遍存在的。

作用域

一个 作用域 是源代码中一个命名实体可以通过该名称被引用的区域。

审查值

审查值是在 match 表达式和类似的模式匹配构造中被匹配的表达式。例如，在 match x { A => 1, B => 2 } 中，表达式 x 是审查值。

大小

值的大小有两种定义。

第一种是存储该值必须分配多少内存。

第二种是具有该项类型的数组中连续元素之间的字节偏移量。

它是对齐的倍数，包括零。大小可能因编译器版本（随着新优化的出现）和目标平台（类似于 usize 在不同平台上的差异）而变化。

更多。

切片

切片是一个对连续序列的动态大小视图，写作 [T]。

它通常以其借用形式出现，可以是可变的或共享的。共享切片类型是 &[T]，而可变切片类型是 &mut [T]，其中 T 代表元素类型。

语句

语句是编程语言中最小的独立元素，它命令计算机执行一个动作。

字符串字面量

字符串字面量是直接存储在最终二进制文件中的字符串，因此在 'static 持续时间内有效。

它的类型是 'static 持续时间借用字符串切片，&'static str。

字符串切片

字符串切片是 Rust 中最原始的字符串类型，写作 str。它通常以其借用形式出现，可以是可变的或共享的。共享字符串切片类型是 &str，而可变字符串切片类型是 &mut str。

字符串切片始终是有效的 UTF-8。

特型

特型是一种语言项，用于描述类型必须提供的功能。它允许类型对其行为做出某些承诺。

泛型函数和泛型结构体可以使用特型来约束或限定它们接受的类型。

涡轮鱼

表达式中带有泛型参数的路径必须在开头的尖括号前加上 ::。结合泛型的尖括号，这看起来像一条鱼 ::<>。因此，这种语法格式被俗称为涡轮鱼语法格式。

示例：

#![allow(unused)]
fn main() {
let ok_num = Ok::<_, ()>(5); // 好的数字
let vec = [1, 2, 3].iter().map(|n| n * 2).collect::<Vec<_>>(); // 向量
}

这个 :: 前缀是必需的，用于消除逗号分隔列表中带有多个比较的泛型路径的歧义。有关缺少前缀会产生模糊性的示例，请参阅涡轮鱼的堡垒。

Keyboard shortcuts

Rust语言参考手册