Prendre possession avec owned

Vous avez vu borrowed pour lire et inout pour modifier. La troisième convention permet à une fonction de prendre entièrement en charge une valeur. 📦

Un argument owned transfère sa propriété à la fonction. La fonction détient alors la valeur comme si elle lui appartenait, pour l’utiliser ou la stocker.

Vous écrivez owned avant le nom du paramètre. À l’intérieur de la fonction, vous disposez d’un contrôle total : vous pouvez modifier, stocker ou consommer la valeur.

Avec owned, la durée de vie de la valeur se déplace dans la fonction. Lorsque celle-ci se termine, c’est à elle de détruire la valeur.

Utilisez owned lorsqu’une fonction doit conserver la valeur, par exemple pour la stocker dans une structure ou une collection, plutôt que de simplement la lire brièvement.

Puisque la fonction est propriétaire de la valeur, elle peut librement la modifier. Il n’y a plus d’appelant à protéger, car la valeur appartient désormais à la fonction.

Par défaut, Mojo fournit au paramètre owned une copie distincte, de sorte que l’original de l’appelant reste intact, sauf si vous demandez un déplacement.

Si vous n’avez plus besoin de l’original, vous pouvez transmettre directement la valeur plutôt que de la copier. Ce transfert est le sujet de la prochaine leçon.

Choisir owned indique aux lecteurs que cette fonction va conserver la valeur. La signature décrit en un coup d’œil le parcours des données.

Vous disposez maintenant des trois conventions : borrowed lit, inout modifie sur place et owned prend entièrement la valeur. Chacune correspond à une intention claire.

Demandez-vous qui doit être responsable de la valeur après l’appel. Si la réponse est la fonction, choisissez owned.

owned transfère la propriété d’une valeur à la fonction, qui peut la conserver, la modifier ou la détruire. Utilisez-le lorsque la fonction doit posséder les données. 🎯