📦 Rust Development - Day 1 — Rust 开发 - 第 1 天

Rust 开发 - 第 1 天 从第一次提交就写出合格 Rust 应用的实战基础。不是教科书。聚焦与其他语言的差异、第 1 天就要做且影响后续所有决策的选择，以及覆盖大多数真实应用的一小撮 crates。

适用场景

• 新建 Rust 项目（CLI、服务、库）
• 从 Python、JavaScript、Go、Java/C# 或 C++ 转 Rust
• 在 owned/borrowed 类型、智能指针、trait object vs generics 之间做选择
• 选错误处理策略（anyhow vs thiserror）
• 决定用哪些 crates
• 配置极简但带观点的 Cargo.toml、clippy、rustfmt

第 1 天搭建

• 安装工具链（rustup 是工具链管理器）

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

• 确认组件（rustfmt 和 clippy 随 stable 提供，rust-src 开启 IDE 功能）

rustup component add rustfmt clippy rust-src

• 创建项目

cargo new my-app # 二进制 (src/main.rs) cargo new --lib my-lib # 库 (src/lib.rs)

• 开发循环（背熟这四条）

cargo check # 快速类型检查，无代码生成 cargo run # 构建并运行（二进制） cargo test # 构建并运行测试（含文档测试） cargo clippy # lint（push 前跑） cargo fmt # 格式化

• 不手动改 Cargo.toml 管理依赖

cargo add tokio --features full cargo remove tokio

rust-analyzer 必装。它是所有编辑器用的语言服务器（VS Code、Zed、Neovim、Helix；RustRover 用自家引擎但等价）。VS Code 里装 rust-analyzer 扩展，并把 rust-analyzer.check.command 设为 "clippy"，保存即看 lint。 以后想要文件监听？cargo install bacon，然后在项目里跑 bacon。第 1 天不需要。

Rust 心智模型 5 句话 Rust 用「无 GC」和「无异常」换来编译期对内存、数据竞争、错误处理的保证，语言形状由此决定。

• 所有权：每个值有且仅有一个所有者

值像实物，同一时间一个变量拥有它。可： - Move：let b = a; 所有权给 b，a 失效。 - 不可变借用：&a，允许多个只读。 - 可变借用：&mut a，仅一个可写。 - 克隆：a.clone() 深拷贝，各管各。 所有者离开作用域即 drop（释内存、关文件、解锁）。无 GC，无手动 free，编译器强制的 RAII。

• 别名 XOR 可变性

同一数据要么只有一个 &mut T，要么任意数量 &T，二者不可共存。这一条规则消灭数据竞争和大部分 use-after-free。借用检查器负责执法；它报错时，是在说你的所有权故事不清，不是语言刁难。

• 错误是值，不是异常

无 try/catch。可能失败的函数返回 Result；可能没值返回 Option。编译器强制你处理。 ? 运算符一行传播错误： fn read_config() -> Result { let bytes = std::fs::read("config.toml")?; // ? = 遇 Err 提前返回 let config = toml::from_slice(&bytes)?; Ok(config) } 没有 null。Option 是 None 或 Some(value)，编译器不会让你忘判 None。

• Trait 不是 Java 接口

Trait 定义行为，类型 impl 它。差异： - 默认静态分发。fn f(x: T) 会为每个具体 T 生成专属副本（单态化，零运行时开销）。 - 动态分发需显式 dyn Trait（常见 Box 或 &dyn Trait），每次调用一次 vtable 查找。 - 无继承，Trait 可组合。想用 Deref 来“扩展”类型时，停手，改用组合或 enum。 - 孤儿规则：可为外部类型实现自己的 Trait，或为自己的类型实现外部 Trait，不能同时外部。保证依赖解析可控。

• 借用检查器是设计预言家

新手常把编译错误当噪音。其实几乎每条借用错误都暴露真正的所有权问题。 卡壳时，问题很少是“怎么让这通过编译”，而是“我到底想要怎样的所有权关系？”——读错误信息，编译器异常贴心。

写函数签名前先问 3 个问题 它需要拥有、只读，还是修改输入？ fn consume(s: String) // 拥有：函数接手，调用者失去 fn read(s: &str) // 只读：函数仅查看 fn modify(s: &mut String) // 修改：函数可改内容