Rust améliore son vérificateur d'emprunt pour la stabilisation

NOUVEAU VERIFICATEUR D'EMPRUNT POUR RUST : UNE REVOLUTION DANS LA PROGRAMMATION

Le langage de programmation Rust est en constante évolution, et son équipe de développement travaille sans relâche pour améliorer ses fonctionnalités et sa sécurité. Récemment, l'équipe a annoncé l'activation du vérificateur d'emprunt Polonius Alpha sur les versions nocturnes pour des tests. Cela promet d'autoriser plus de code sain à être compilé.

Qu'est-ce que le vérificateur d'emprunt ?
Le vérificateur d'emprunt est un composant du compilateur Rust qui impose des règles strictes sur les références, ou emprunts. Cela inclut la garantie que toutes les variables sont initialisées avant d'être utilisées, qu'une même valeur n'est pas déplacée deux fois, qu'une valeur n'est pas déplacée alors qu'elle est empruntée, qu'un emplacement n'est pas accédé alors qu'il est emprunté de manière mutable (sauf via la référence), et qu'un emplacement n'est pas modifié alors qu'il est emprunté de manière immuable, selon la documentation Rust.

L'histoire de Polonius
Le vérificateur d'emprunt Polonius a été en développement depuis 2018. En 2023, une nouvelle formulation du vérificateur d'emprunt Polonius a été proposée, qui nécessitait une réarchitecture minimale de la mise en œuvre existante de NLL (durée de vie non lexicale) et pouvait être étendue pour autoriser plus de code sain à être compilé, selon Jack Huey, membre de l'équipe Rust. La stabilisation de cette implémentation a été retardée jusqu'à présent.

Comment fonctionne Polonius Alpha ?
Polonius Alpha est activé par défaut sur les versions nocturnes de Rust, mais les développeurs peuvent le désactiver en passant `-Zpolonius=off` à `rustc`, en utilisant `RUSTFLAGS=-Zpolonius=off`, ou en incluant la configuration suivante dans un fichier de configuration `.cargo/config.toml` :
```

rustflags = ["-Zpolonius=off"]
```
Les développeurs peuvent signaler les problèmes avec Polonius Alpha sur GitHub ou Zulip.

Conclusion et perspectives
L'activation de Polonius Alpha sur les versions nocturnes de Rust est une étape importante vers la stabilisation de ce vérificateur d'emprunt amélioré. Les développeurs peuvent tester Polonius Alpha et signaler les problèmes pour aider à améliorer la sécurité et la fiabilité de Rust. Pour en savoir plus sur Rust et ses fonctionnalités, vous pouvez consulter la documentation officielle ou suivre les tutoriels en ligne. Vous pouvez également explorer les ressources et les vidéos disponibles sur le site d'InfoWorld pour rester à jour sur les dernières tendances et technologies en matière de développement logiciel.

---

Source : InfoWorld - Rust preps improved borrow checker for stabilization​