https://before80.github.io/prgms/Rust/comprehensiveRust/unsafe/rules-of-the-game/soundness-proof/Recent content in 5.4 健全性证明 on 编程那些事儿Hugozh-cnTue, 11 Aug 2026 23:57:44 +0800https://before80.github.io/prgms/Rust/comprehensiveRust/unsafe/rules-of-the-game/soundness-proof/01-soundness/Tue, 11 Aug 2026 11:30:00 +0800https://before80.github.io/prgms/Rust/comprehensiveRust/unsafe/rules-of-the-game/soundness-proof/01-soundness/<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/soundness-proof/soundness.html">https://google.github.io/comprehensive-rust/unsafe-deep-dive/rules-of-the-game/soundness-proof/soundness.html</a></p> </blockquote> <h1 id="541-健全性">5.4.1 健全性</h1> <p>健全函数是指：在其安全前置条件得到满足时，不会触发未定义行为（UB）的函数。</p> <blockquote> <ul> <li> <p>朗读健全函数的定义。</p> </li> <li> <p>提醒学员：实现调用方的程序员负责满足安全前置条件；编译器不会帮忙。</p>https://before80.github.io/prgms/Rust/comprehensiveRust/unsafe/rules-of-the-game/soundness-proof/02-corollary/Tue, 11 Aug 2026 11:30:00 +0800https://before80.github.io/prgms/Rust/comprehensiveRust/unsafe/rules-of-the-game/soundness-proof/02-corollary/<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/soundness-proof/corollary.html">https://google.github.io/comprehensive-rust/unsafe-deep-dive/rules-of-the-game/soundness-proof/corollary.html</a></p> </blockquote> <h1 id="542-推论">5.4.2 推论</h1> <p>健全函数是指：在其安全前置条件得到满足时，不会触发未定义行为（UB）的函数。</p> <p>推论：所有完全用 Safe Rust 实现的函数都是健全的。</p>https://before80.github.io/prgms/Rust/comprehensiveRust/unsafe/rules-of-the-game/soundness-proof/03-unsoundness/Tue, 11 Aug 2026 11:30:00 +0800https://before80.github.io/prgms/Rust/comprehensiveRust/unsafe/rules-of-the-game/soundness-proof/03-unsoundness/<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/soundness-proof/unsoundness.html">https://google.github.io/comprehensive-rust/unsafe-deep-dive/rules-of-the-game/soundness-proof/unsoundness.html</a></p> </blockquote> <h1 id="543-不健全性">5.4.3 不健全性</h1> <p>健全函数是指：在其安全前置条件得到满足时，不会触发未定义行为（UB）的函数。</p> <p>不健全函数即使满足已记录的安全前置条件，仍可能触发 UB。</p>