Rust 代码审查技能 — 命名规范（PascalCase/snake_case/SCREAMING_CASE）、常见反模式（冗余 clone、unwrap 滥用、大锁范围、String 循环拼接、裸指针泄漏）、unsafe 审查清单（safety 文档、不变条件、指针寿命）、性能热点识别、API 设计审查（类型安全、错误处理暴露、trait 对象安全）、依赖安全（cargo-audit）。基于 Rust 社区最佳实践与官方风格指南。当需要对 Rust 代码进行审查、发现潜在问题或检查代码质量时激活。
Rust 代码审查指南，基于 Rust 社区 11,500+ 源码文件模式分析与官方风格指南。
cargo check 编译rust-1.93 技能rust-style-clippy 技能本技能不收集、存储或传输任何用户数据。
✅ type/struct/enum → PascalCase (UserConfig)
✅ fn/method/variable → snake_case (get_user_by_id)
✅ const → SCREAMING_SNAKE_CASE (MAX_RETRY_COUNT)
✅ macro → snake_case (vec!, assert_eq!)
✅ 类型参数 → 简洁: T, U, E, K, V
✅ 生命周期 → 'a, 'b, 'ctx, 'env
✅ 错误类型 → XxxError 或 XxxErr
❌ 不要缩写不必要的名称
❌ 不要使用匈牙利命名法
// ❌ 不必要的 clone
fn process(data: &Vec<String>) {
let cloned = data.clone(); // 仅读取不需要 clone
for item in cloned { /* ... */ }
}
// ✅ 改为引用
fn process(data: &[String]) {
for item in data { /* ... */ }
}
// ❌ unwrap 滥用
let value = map.get(&key).unwrap();
// ✅ 使用 proper 错误处理
let value = map.get(&key).ok_or(MyError::NotFound)?;
// ❌ 大锁范围
let data = arc.lock().unwrap();
// ... 大量不相关代码 ...
drop(data); // 锁持有太久
// ✅ 缩小锁范围
let item = {
let data = arc.lock().unwrap();
data.get(idx).clone()
};
// ❌ String 循环拼接（O(n²)）
let mut s = String::new();
for item in items { s.push_str(item); } // OK for few items
// 大量 → 用 collect
let s: String = items.iter().flat_map(|s| s.chars()).collect();
// ❌ 不必要的 Box
let b = Box::new(42); // i32 不需要堆分配
// ❌ 大枚举变体导致栈拷贝
enum Large { A([u8; 1024]), B([u8; 1024]) }
// ✅ 改为 Box
enum Large { A(Box<[u8; 1024]>), B(Box<[u8; 1024]>) }
□ safety 文档是否说明调用者需维护的不变条件
□ unsafe 块是否尽可能小
□ 裸指针是否来自有效分配
□ 指针偏移是否在分配范围内
□ transmute 的类型大小是否一致
□ MaybeUninit::assume_init 前是否已初始化
□ 是否避免了悬垂指针
□ 外部函数调用是否处理了错误（errno/错误码）
□ 全局可变状态是否线程安全
□ 自定义 Send/Sync 实现是否满足安全要求
□ 错误类型是否实现 std::error::Error + Display
□ 是否需要 pub 所有字段/使用 getter
□ 泛型约束是否过松/过紧
□ trait 是否对象安全（object safe）
□ 是否应为 fallible 操作返回 Result 而非 panic
□ 是否需要 `#[must_use]`
□ 默认参数是否合理
□ 是否考虑了并发访问（Send + Sync）
# 安全检查
cargo audit # 已知漏洞
cargo deny check # 许可 + 漏洞
cargo outdated # 过时依赖
cargo update # 更新依赖到最新兼容版本
# 检查 RUSTSEC 公告
# https://rustsec.org/
Step 1. 检查命名规范 — 确认所有类型/函数/变量遵循 Rust 命名约定 Step 2. 检查 unsafe 安全 — 审查所有 unsafe 块的 safety 文档和不变条件 Step 3. 检查错误处理 — 确认所有 Result 被正确处理，不使用 unwrap() Step 4. 检查性能 — 识别不必要的 clone、分配、锁竞争 Step 5. 检查 API 设计 — 审查类型安全、trait 对象安全、泛型约束 Step 6. 工具检查 — cargo clippy + cargo fmt --check + cargo audit