proposal.detail
提议
Rust Unsafe Code Review: Invariants, Tests, and Documentation
这是一场关于 Rust 不安全代码审查（Unsafe Code Review）的实践性两小时课程，重点涵盖不变量（Invariants）、测试和文档。课程以 Rust 作为实现背景，但核心内容聚焦于软件工程基础、可靠性、测试以及操作清晰度。
中级 · 2 小时 · 2026年七月15 · 2026年六月3
描述
section.description这是一场关于 Rust 不安全代码审查（Unsafe Code Review）的实践性两小时课程，重点关注不变量（Invariants）、测试和文档。课程以 Rust 作为实现背景，但核心内容聚焦于软件工程基础、可靠性、测试及操作清晰度。
受众：希望参加实践性工程课程而非语言导览的初级及中级开发人员。
学习成果：
- 阐述 Rust 不安全代码审查的实际边界
- 在小型工作示例中应用不变量
- 在小型工作示例中应用测试
- 在小型工作示例中应用文档
形式：两小时课程，包含简短的框架引导、具体示例、权衡讨论，以及用于实践的结课检查清单。