Rust中的代码审查：检查什么以及如何提供反馈

轻松学习Python，无需理论负担。在浏览器中直接解决带自动检查的实践任务，无需安装任何东西。

引言：为什么Rust中的代码审查不仅仅是一种形式

代码审查是任何高质量软件开发中的关键流程之一。但当涉及到Rust时，这一流程具有特殊意义。Rust是一种拥有独特所有权（ownership）和借用（borrowing）系统的语言，编译器会在编译阶段对其进行检查。然而，即使代码能够编译通过，也不意味着它写得很好、安全且高效。

在本文中，我们将详细讨论在审查Rust项目时具体需要注意哪些方面，如何提供建设性反馈以避免冒犯同事，以及如何避免编译器无法捕获的常见错误。本文面向已经熟悉Rust基础知识，但希望深化审查技能的开发者。

1. 内存安全与资源管理

Rust无需垃圾回收器即可保证内存安全。但这并不意味着无需检查开发者如何使用unsafe块、原始指针以及外部FFI调用。

检查内容：

unsafe的使用：每个unsafe块都应有正当理由，并附带注释说明其为何安全。如果可以不使用unsafe，最好避免使用。
资源泄漏：检查所有Box、Rc、Arc及其他智能指针是否正确释放。例如，通过Rc而不使用Weak造成的循环引用是一个常见问题。
Drop顺序：如果结构体包含带有自定义Drop实现的字段，请确保销毁顺序不会导致错误。

// 不良代码示例：unsafe没有注释unsafe {    let ptr = ...;    // 没有解释为什么这是安全的    *ptr = 42;}

// 良好代码：注释和安全替代方案// 仅为了调用保证指针有效性的C函数而使用unsafeunsafe {    // 指针来自C API，该API保证其在调用生命周期内有效    some_c_function(ptr);}

2. 代码的惯用性与风格

Rust有其独特的惯用法，与C++或Python不同。代码审查应检查代码是否符合语言的精神。

检查内容：

Option和Result的使用：避免无明确理由地使用unwrap()和expect()。在生产代码中，应通过match、?运算符或unwrap_or_else进行错误处理。
模式匹配：优先使用if let和match，而不是is_some()/is_ok()的链式调用。
trait的使用：检查trait的实现是否合理。例如，Display的实现应提供可读的输出，而不仅仅是Debug。
命名规范：在Rust中，变量和函数通常使用snake_case，类型和trait使用CamelCase。常量使用SCREAMING_SNAKE_CASE。

// 不良：过度使用unwraplet value = some_option.unwrap();

// 良好：错误处理let value = match some_option {    Some(v) => v,    None => return Err("Value not found".into()),};

// 更好：使用?运算符let value = some_option.ok_or("Value not found")?;