Cette rubrique donne quelques exemples de programmation en Rust, mais pour qui souhaite une vision d’ensemble sous une forme néanmoins concise, je ne saurais trop recommander, sur le site Techniques de l’ingénieur, l’article consacré à Rust, dont je suis l’auteur.
Rust permet de passer en paramètre à une fonction le type de la valeur passée en argument ; une telle fonction se nomme une fonction générique.
Pour illustrer cette possibilité nous allons écrire un programme de tri selon l’algorithme de tri par insertion, et montrer qu’il peut trier aussi bien des listes de nombres que des listes de caractères, ou des listes de chaînes de caractères. Précisons que les listes de Rust sont en fait plutôt des vecteurs, et que les prédicats de comparaison qui s’appliquent aux nombres s’appliquent aussi aux caractères :
La déclaration de la fonction tri_insertion indique qu’elle est générique en fonction du type T. Cette fonction attend comme argument une référence à un vecteur modifiable d’objets de type T, et renvoie un résultat de même type.
Dans le corps de la fonction, pour trier la liste, nous devrons en comparer les éléments entre eux, ce qui impose une restriction sur le type T : il faut que la comparaison ait un sens pour les éléments du type, ce que nous indiquons par la mention std::cmp::PartialOrd, ce qui limite T aux types pour lesquels existe une implémentation de cette crate (Cargo nous a aimablement indiqué la mention à ajouter à notre code, ici comme pour la restriction suivante).
Nous devrons aussi permuter certains éléments de la liste, en affectant la valeur d’un élément de la liste à la position d’un autre élément, or cela pose des problèmes de possession, parce que, comme le dit le message d’erreur, move occurs because <span class="base64" title="PGNvZGUgY2xhc3M9J3NwaXBfY29kZSBzcGlwX2NvZGVfaW5saW5lJyBkaXI9J2x0cic+bGlzdGVbX108L2NvZGU+"></span> has type <span class="base64" title="PGNvZGUgY2xhc3M9J3NwaXBfY29kZSBzcGlwX2NvZGVfaW5saW5lJyBkaXI9J2x0cic+VDwvY29kZT4="></span>, which does not implement the <span class="base64" title="PGNvZGUgY2xhc3M9J3NwaXBfY29kZSBzcGlwX2NvZGVfaW5saW5lJyBkaXI9J2x0cic+Q29weTwvY29kZT4="></span> trait. Qu’à cela ne tienne, nous créerons une copie de l’élément à déplacer par la méthode clone(), ce qui impose une restriction supplémentaire au type T : qu’il existe une implémentation de clone() pour ses éléments, ce que l’on indique par la mention Clone dans la déclaration, qui s’écrit donc désormais :
Le reste de la fonction est l’implémentation classique de l’algorithme, qui donne les résultats suivants :
On observe que les temps de compilation sont assez longs : le compilateur Rust vérifie beaucoup de choses, ce qui impose au programmeur un travail conséquent pour satisfaire ses exigences. La rétribution de ces efforts consiste en ceci qu’une fois accepté par le compilateur, le programme a toutes les chances d’être rapide et, de surcroît, juste, en évitant la plupart des vérifications et des erreurs à l’exécution. C’est en ceci que Rust ressemble à Ada.