O Que É um Borrow Checker?
Um borrow checker é uma análise estática no compilador que rastreia como referências a dados são criadas e usadas, impondo que qualquer número de empréstimos somente leitura ou um único empréstimo mutável possa existir por vez. Ele também garante que nenhuma referência viva mais do que os dados para os quais aponta. Violações são reportadas como erros de compilação em vez de falhas em tempo de execução.
Por que importa
O borrow checker previne classes inteiras de bugs como use-after-free e data races sem um garbage collector. Seu rigor desloca erros de segurança de memória de falhas em produção para falhas em tempo de compilação.
Guias relacionados
What Is Ownership in Memory Management?Ownership is a model where each resource has a single owning variable responsible for freeing it, making clea…
What Is a Lifetime in Reference Types?A lifetime is the span during which a reference is valid, used by the compiler to guarantee a reference never…
What Are Move Semantics?Move semantics transfer ownership of a resource from one object to another without copying, leaving the sourc…