https://before80.github.io/prgms/Rust/comprehensiveRust/unsafe/rules-of-the-game/Recent content in 5 游戏规则 on 编程那些事儿Hugozh-cnTue, 11 Aug 2026 23:57:44 +0800https://before80.github.io/prgms/Rust/comprehensiveRust/unsafe/rules-of-the-game/01-rust-is-sound/Tue, 11 Aug 2026 11:30:00 +0800https://before80.github.io/prgms/Rust/comprehensiveRust/unsafe/rules-of-the-game/01-rust-is-sound/<blockquote> <p>译文 · 基于 <a href="https://google.github.io/comprehensive-rust/">Comprehensive Rust</a></p> </blockquote> <blockquote> <p>原文链接: <a href="https://google.github.io/comprehensive-rust/unsafe-deep-dive/rules-of-the-game/rust-is-sound.html">https://google.github.io/comprehensive-rust/unsafe-deep-dive/rules-of-the-game/rust-is-sound.html</a></p> </blockquote> <h1 id="51-rust-是健全的">5.1 Rust 是健全的</h1> <ul> <li>健全性（soundness）是 Rust 的基础</li> <li>健全性 ≈ 不可能引发内存安全问题</li> <li>健全函数具有一些共同的「形态」</li> </ul> <blockquote> <p>「Rust 代码的一项基本原则是：它是健全的。</p>https://before80.github.io/prgms/Rust/comprehensiveRust/unsafe/rules-of-the-game/02-3-shapes-of-sound-rust/Tue, 11 Aug 2026 11:30:00 +0800https://before80.github.io/prgms/Rust/comprehensiveRust/unsafe/rules-of-the-game/02-3-shapes-of-sound-rust/<blockquote> <p>译文 · 基于 <a href="https://google.github.io/comprehensive-rust/">Comprehensive Rust</a></p> </blockquote> <blockquote> <p>原文链接: <a href="https://google.github.io/comprehensive-rust/unsafe-deep-dive/rules-of-the-game/3-shapes-of-sound-rust.html">https://google.github.io/comprehensive-rust/unsafe-deep-dive/rules-of-the-game/3-shapes-of-sound-rust.html</a></p> </blockquote> <h1 id="53-健全-rust-的三种形态">5.3 健全 Rust 的三种形态</h1> <ul> <li>完全用 Safe Rust 编写的函数</li> <li>包含不可能被误用的 <code>unsafe</code> 块的函数</li> <li>已记录安全前置条件的不安全（unsafe）函数</li> </ul> <blockquote> <ul> <li>我们要编写健全代码。</li> <li>健全代码只能有以下形态： <ul> <li>不含 <code>unsafe</code> 块的安全函数</li> <li>完全封装 <code>unsafe</code> 块的安全函数，即调用方无需了解其中的 <code>unsafe</code></li> <li>包含 <code>unsafe</code> 块但未将其封装、把证明责任转嫁给调用方的不安全函数</li> </ul> </li> <li>证明责任 <ul> <li>仅含 Safe Rust 的安全函数 → 编译器</li> <li>含 <code>unsafe</code> 块的安全函数 → 函数作者</li> <li>不安全函数 → 函数调用方</li> </ul> </li> </ul> </blockquote>