Rust vise les types immobiles et les destructeurs garantis

Présentation du projet Rust

Le langage de programmation Rust se concentre sur la sécurité et la performance. Un des objectifs principaux du projet Rust est d'assurer la sécurité de la mémoire et de prévenir les erreurs courantes comme les null pointer dereferences ou les fuites de mémoire.

Types immobiles et destructeurs garantis

Les types immobiles et les destructeurs garantis sont deux fonctionnalités clés du langage Rust. Les types immobiles permettent de s'assurer que les données ne sont pas modifiées de manière inattendue, tandis que les destructeurs garantis permettent de libérer les ressources systèmes de manière fiable.

Fonctionnement des types immobiles

Les types immobiles en Rust sont basés sur le concept de ownership et de borrowing. L'ownership définit qui est responsable de la mémoire allouée, tandis que le borrowing permet d'accéder à la mémoire sans prendre possession. Les types immobiles sont créés en utilisant le mot-clé impl et en définissant les méthodes qui peuvent être appelées sur ces types.

         // Exemple de type immobile
         struct MonType {
            donnee: i32,
         }
         impl MonType {
            fn nouvelle(donnee: i32) -> MonType {
               MonType { donnee }
            }
         }
      

Implications des destructeurs garantis

Les destructeurs garantis en Rust sont appelés lorsque l'instance d'un type est détruite. Ils permettent de libérer les ressources systèmes de manière fiable et d'éviter les fuites de mémoire. Les destructeurs sont définis en utilisant le trait Drop et la méthode drop.

         // Exemple de destructeur garanti
         struct MonType {
            donnee: i32,
         }
         impl Drop for MonType {
            fn drop(&mut self) {
               // Code de libération des ressources
            }
         }