Tranches : un pointeur et une longueur

Les tableaux ont une longueur fixe, mais les fonctions doivent souvent fonctionner avec n’importe quelle longueur. Une tranche répond à ce besoin en décrivant une suite flexible d’éléments. 🔪

Une tranche regroupe simplement deux éléments : un pointeur vers le premier élément et une longueur indiquant combien d’éléments le suivent.

Vous écrivez un type tranche sous la forme []T, avec des crochets vides et un type d’élément. []i32 désigne ainsi une tranche d’entiers signés.

Une tranche ne possède pas sa mémoire ; elle emprunte une vue sur autre chose, généralement un tableau. Les données sous-jacentes doivent vivre plus longtemps que la tranche.

Contrairement à celle d’un tableau, la valeur de len d’une tranche est déterminée à l’exécution. C’est précisément ce qui permet à un même type de tranche de couvrir différentes tailles.

Obtenez une tranche représentant un tableau entier avec [0..], c’est-à-dire de l’indice zéro jusqu’à la fin. La tranche pointe alors dans ce tableau.

Lisez les éléments d’une tranche exactement comme ceux d’un tableau, avec des crochets. L’indice est ajouté au pointeur mémorisé pour trouver la valeur.

Une []const u8 est une tranche que vous pouvez lire, mais à travers laquelle vous ne pouvez pas écrire. const protège les données empruntées contre les modifications accidentelles.

Transmettre une tranche à une fonction ne copie que le pointeur et la longueur, jamais les éléments. Les grandes zones de mémoire sont donc transmises sans coût supplémentaire.

Comme une tranche connaît sa longueur, son indexation reste vérifiée. Dépasser len déclenche une panique de sûreté dans les compilations sûres.

Une tranche peut contenir zéro élément. Une tranche vide possède simplement une valeur len égale à 0, ce qui est parfaitement normal.

Un slice est un pointeur accompagné d'une longueur qui emprunte une vue sur des données existantes, reste vérifié par rapport aux limites et se transmet efficacement par référence. 🎯