4. Modèle de mémoire : possession et emprunt
Le modèle de mémoire de Rust est sans doute l’une de ses caractéristiques les plus originales : à un instant donné une valeur est possédée par une variable et une seule, et seule la fonction où est déclarée cette variable peut la modifier (si elle est modifiable). Si la valeur de cette variable est passée en argument à une autre fonction, la première fonction ne peut plus y accéder. En fait, une variable est accessible en lecture par plusieurs fonctions, mais en écriture par une seule, et un système de compteur de références permet de savoir précisément si un objet peut (doit) être abandonné ou non. Une variable peut prêter sa valeur à une autre, la transmettre à une fonction, ou (dans le cas des agrégats tels que chaînes de caractères, structures ou vecteurs) on peut en créer un clone. La création d’un clone correspond à ce que dans d’autres langages on nomme copie profonde, par opposition...
Cet article est réservé aux abonnés
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ?
Se connecter
Lecture en cours
Modèle de mémoire : possession et emprunt