速查表

关键陷阱（高频失败场景）

所有权 — 编译器报错的第一大来源

• 变量在使用后被移动 — 显式调用 clone() 或使用 & 借用
• for item in vec 会移动 vec — 使用 &vec 或 .iter() 来借用
• String 被传入函数后被移动 — 若只需只读访问，请传递 &str

借用 — 借用检查器永远正确

• 无法同时存在 &mut 和 & — 重构代码或改用内部可变性（如 RefCell）
• 返回对局部变量的引用会失败 — 改为返回拥有权（owned value）
• 通过 &mut self 的可变借用会阻塞所有其他访问 — 拆分结构体字段或使用 RefCell

生命周期 — 当编译器无法推断时

• 'static 表示“可以”存活至整个程序生命周期，而非“必然”如此 — String 是具备 'static 能力的类型
• 含引用字段的结构体需声明泛型生命周期参数 <'a> — 如：struct Foo<'a> { bar: &'a str }
• 返回引用的函数必须将其生命周期与输入参数绑定 — 如：fn get<'a>(s: &'a str) -> &'a str

字符串 — UTF-8 带来的意外

• s[0] 编译不通过 — 使用 .chars().nth(0) 或 .bytes()
• .len() 返回字节数，而非字符数 — 获取字符数量请用 .chars().count()
• s1 + &s2 会移动 s1 — 使用 format!("{}{}", s1, s2) 可保留两者所有权

错误处理 — 生产环境实践

• unwrap() 会导致 panic — 生产代码中应使用 ? 或 match
• ? 运算符要求函数返回类型为 Result 或 Option — 例如 main 函数需声明为 -> Result<()>
• expect("context") 优于 unwrap() — 它会在 panic 时提供上下文信息

迭代器 — 惰性求值特性

• .iter() 借用数据，.into_iter() 移动数据 — 务必谨慎选择
• .collect() 需要明确目标类型 — 可写为 collect::>() 或使用带类型的变量绑定
• 迭代器是惰性的 — 所有操作直到被消费（如调用 collect()、for 循环等）才真正执行

并发 — 线程安全性

• Rc 不是 Send — 跨线程共享请改用 Arc
• Mutex 的锁返回一个守卫（guard） — 守卫在离开作用域时自动释放锁；切勿跨 await 持有
• RwLock 可能发生死锁 — 当读者尝试升级为写者时，将无限期阻塞

内存 — 智能指针

• RefCell 在运行时违反借用规则时会 panic
• Box 用于递归类型 — 因编译器需要确定的大小
• 避免过度嵌套 Rc> — 应重新审视所有权设计

常见编译器错误（新增）

Cargo 陷阱（新增）

• cargo update 更新的是 Cargo.lock，而非 Cargo.toml — 版本号需手动在 Cargo.toml 中更新
• Feature 是累加式的 — 无法禁用依赖项所启用的 feature
• [dev-dependencies] 不包含在发布版二进制中 — 但会出现在测试和示例中
• cargo build --release 构建速度快得多 — Debug 构建默认禁用优化，有意为之