Borrow Checker - CI/CD用語集の定義
borrow checker とは、ownership と borrowing の規則 - 参照がそのデータより長生きしない、mutable なアクセスを alias しない - を強制する compiler の解析で、use-after-free や data race を runtime のクラッシュではなくコンパイルエラーにします。
関連ガイド
Ownership - CI/CD Glossary DefinitionOwnership is a model where each value has a single owning binding responsible for freeing it, giving determin…
Lifetime - CI/CD Glossary DefinitionA lifetime is the compiler’s notion of how long a reference stays valid, used to prove borrowed data outlives…
Memory Safety - CI/CD Glossary DefinitionMemory safety guarantees code never accesses memory incorrectly - no buffer overruns, use-after-free, or null…