Borrow Checker - Definição do Glossário de CI/CD
Um borrow checker é a análise do compilador que impõe as regras de ownership e borrowing - nenhuma referência sobrevivendo aos seus dados, nenhum acesso mutável com aliasing - de modo que use-after-free e data races se tornam erros de compilação em vez de crashes em runtime.
Guias relacionados
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…