下课仔：xingkeit.top/7750/

轻松入门 Rust 系统编程：实战编译器开发核心

一门兼具安全性与高性能的系统编程语言，正通过其独特的所有权机制和强大的类型系统，重塑现代软件开发的基础设施。

Rust 作为一门系统编程语言，以其内存安全、零成本抽象和并发安全等特性，在操作系统、嵌入式系统、编译器、WebAssembly 等领域日益流行。它由 Mozilla 研发，旨在提供一种可靠、并发、安全的编程方式，其性能可与 C/C++ 媲美，同时避免了内存泄漏和数据竞争等常见问题。

1. Rust 的设计哲学与核心特性

Rust 的诞生源于对现有系统编程语言不足的反思。它通过所有权系统、借用检查和生命周期等独特机制，在编译期就确保了内存安全，而无需依赖垃圾回收器。

所有权系统：每个值都有一个变量作为其所有者，值在任何时候只能有一个所有者，当所有者超出作用域时，值会被自动清理。这从根本上解决了悬垂指针和内存泄漏问题。

借用与引用：允许在不获取所有权的情况下临时访问数据，分为不可变借用 (&T) 和可变借用 (&mut T)。借用检查器确保在任意给定时间内，要么拥有多个不可变引用，要么拥有一个可变引用，从而避免数据竞争。

生命周期：确保引用始终有效，防止出现悬垂指针。生命周期注解帮助编译器理解引用之间的有效范围关系，虽然在许多情况下编译器可以自动推断。

强大的类型系统：Rust 的类型系统是静态的、强类型的，支持类型推断、泛型和特质（Traits）。它通过编译时检查来确保类型安全，同时提供了零成本抽象的能力，即高级抽象不会带来运行时开销。

2. 环境搭建与工具链配置

开启 Rust 之旅的第一步是配置开发环境。Rust 官方提供了名为 rustup 的工具链管理器，简化了安装和更新过程。

2.1 安装 Rust

# 在 Linux 或 macOS 上通过 curl 安装

curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

# 在 Windows 上下载并运行 rustup-init.exe

# 访问 https://www.rust-lang.org/tools/install 获取安装程序

安装完成后，通过以下命令验证安装：

rustc --version  # 检查 Rust 编译器版本

cargo --version  # 检查 Cargo 包管理器版本

2.2 使用 Cargo 管理项目

Cargo 是 Rust 的构建工具和包管理器，它自动化了项目的创建、编译、测试和依赖管理。

# 创建一个新的二进制项目

cargo new hello_rust

# 创建一个新的库项目

cargo new my_lib --lib

# 进入项目目录并构建项目

cd hello_rust

cargo build

# 编译并运行项目

cargo run

# 发布模式编译（优化性能）

cargo build --release

2.3 配置开发环境

对于 Visual Studio Code (VS Code) 用户，推荐安装以下扩展以获得更好的开发体验：

3. Rust 编译流程：从源代码到机器码

理解 Rust 的编译过程是深入掌握其系统级编程特性的关键。Rust 编译器 rustc 并非从零开始构建整个工具链，而是基于 LLVM 后端实现的。它主要负责编译器前端的工作，将 Rust 源代码逐步转化为 LLVM 中间表示（LLVM IR），再由 LLVM 后端最终生成机器码。

flowchart LR

    A[Rust 源代码<br>.rs 文件] --> B[rustc 编译器前端]

    subgraph B [编译器前端处理]

        direction LR

        B1[词法分析 & 语法分析<br>生成抽象语法树 AST]

        B2[降级到 HIR<br>高级中间表示]

        B3[类型检查 & 借用检查<br>确保内存安全]

        B4[降级到 MIR<br>中级中间表示]

        B5[进一步分析与优化<br>如数据流分析]

    end

    B --> C[生成 LLVM IR<br>中间表示]

    C --> D[LLVM 编译器后端]

    subgraph D [LLVM 后端处理]

        direction LR

        D1[优化 LLVM IR]

        D2[生成机器码<br>针对不同架构]

    end

    D --> E[可执行文件<br>或库文件]

    F[宏扩展<br>过程宏/声明宏] --> B2

3.1 编译阶段详解

解析与语法分析：rustc 首先对源代码进行词法分析和语法分析，生成抽象语法树（AST）。同时，会处理和展开宏（Macro），包括声明宏和过程宏。

降级到 HIR：AST 被转换为高级中间表示（HIR）。HIR 丢失了一些语法细节，但更接近编译器内部的表示，为后续分析做准备。

类型检查与借用检查：这是 Rust 编译器的核心安全检查阶段。它会对 HIR 进行类型推断和检查，并执行借用检查器（Borrow Checker）的工作，验证所有权、借用和生命周期的规则是否被遵守。借用检查曾在 HIR 上进行，但后来为了实现更精细的非词法作用域（NLL）分析，被移到了 MIR 上进行。

降级到 MIR：通过类型检查的 HIR 被进一步降级为中级中间表示（MIR）。MIR 是一种控制流图（CFG） 形式的中间表示，更接近机器码，并包含了大量编译器优化所需的信息。MIR 是许多编译器分析（如数据流分析）和优化的基础。

生成 LLVM IR：rustc 将 MIR 翻译成LLVM 中间表示（LLVM IR）。LLVM IR 是一种强类型、SSA（静态单赋值）形式的中间语言，与语言和硬件平台无关。

LLVM 优化与代码生成：LLVM 后端对 LLVM IR 进行一系列优化（如常量折叠、死代码消除、循环优化等），并最终生成针对目标架构的机器码（如 x86_64、ARM 等）。