Programmer avec Rust

CHAPITRE 5 Références

Les librairies de fonctions ne peuvent pas apporter de nouvelles incapacités.

— Mark Miller

Tous les types pointeurs du chapitre précédent correspondent à des pointeurs possédants : le pointeur de base Box<T> dans le tas comme les pointeurs internes des valeurs de type String et Vec. Dès que le pointeur possédant disparaît, sa cible possédée disparaît en même temps. Rust propose également des pointeurs non possédants appelés références et qui n’ont pas d’effet sur la durée de vie de leur cible.

C’est même le contraire : vous devez faire en sorte de ne jamais laisser une référence survivre à la disparition de sa cible. Le code source doit même permettre de constater qu’aucune référence ne survit sans cible. Pour bien montrer ...