Conclusion

La propriété (ainsi que l’emprunt) est fondamentale en Rust. C’est cette notion qui permet de sécuriser la mémoire en Rust et ainsi d’éviter des erreurs d’accès à de la mémoire déjà libérée, ou non correctement allouée, comme on peut le subir en C++ par exemple.

Si la notion n’est pas toujours simple à appréhender, elle est tout de même facile à respecter pour le développeur Rust car tout se joue à la compilation, avec des messages d’erreur particulièrement explicites.

Autrement dit, dès que les transferts de propriétés, ou les prêts, de votre code sont cohérents selon le compilateur Rust, la compilation se termine par un succès et vous obtenez ainsi une sorte de garantie que l’exécution ne subira pas d’incident à propos de la gestion de la mémoire.