Borrow Checker
Le borrow checker de Rust vérifie à la compilation les règles de références : références immuables et mutables ne peuvent coexister, et la référence mutable doit être unique.
Objectif
Éliminer les courses de données et références pendantes à la compilation — le cœur de la sécurité mémoire de Rust.
Mécanisme
Règles : 1) un nombre quelconque de références immuables, ou 2) une seule référence mutable — jamais les deux à la fois. Les références ne doivent pas survivre à la durée de vie des données. Les violations font échouer la compilation plutôt que de provoquer des erreurs d'exécution. NLL (non-lexical lifetimes) assouplit les restrictions.
Cas d’usage
- Programmation en Rust
- Sécurité mémoire
- Sécurité de la concurrence