Rust Pin : préserver l'adresse de la valeur pointée sans figer la variable de pointeur

Ce que c'est

Le module pin de Rust décrit l'épinglage comme un contrat selon lequel une valeur pointée reste valide à un emplacement mémoire fixe jusqu'à la fin de sa durée de vie. Pin concerne la valeur pointée, et non une promesse que la variable de pointeur elle-même ne se déplace jamais. Le trait Unpin marque les types qui ne dépendent pas de ces restrictions d'épinglage. Rust std::pin

Pourquoi c'est important

Un agent de codage peut confondre une allocation sur le tas, une adresse d'apparence stable dans le débogueur et un contrat d'épinglage valide. Un autre raccourci tentant est un accès non vérifié suivi d'un déplacement. Identifier d'abord quel composant dépend de la stabilité d'adresse et pourquoi ; de nombreuses valeurs environnantes n'ont aucune exigence de ce type.

Comment l'appliquer

• Lire l'API qui exige Pin et identifier précisément la valeur pointée. Distinguer la propriété des références qui peuvent pointer dans la valeur ou dépendre de son emplacement.
• Vérifier si le type est Unpin. S'il ne l'est pas, préserver les restrictions de l'API plutôt que d'ajouter une échappatoire unsafe dans le seul but de faire compiler le code.
• Préférer une construction sûre existante ou un mécanisme de projection adapté au type. Lors de la revue de code unsafe personnalisé, documenter pourquoi chaque chemin préserve la validité de l'adresse jusqu'à la destruction.
• Proposer des contrôles qui exercent la création, le polling ou l'utilisation, les tentatives de remplacement, ainsi que l'annulation ou la destruction. Inclure des exemples destinés à échouer à la compilation lorsque le contrat devrait empêcher un déplacement.
• Examiner les modifications de champs et de destructeurs comme des changements potentiels de l'argument d'épinglage. Garder l'explication de sûreté à proximité de l'opération dont la validité en dépend.

Pièges

Pin n'est pas une garantie générale d'immutabilité, de sûreté entre threads ou d'achèvement asynchrone réussi. Une adresse stable observée pendant un test ne peut pas prouver un contrat valable pour toute la durée de vie. Les structures autoréférentielles et intrusives exigent un raisonnement soigné sur la destruction autant que sur la construction. Cette méthode de revue n'encourage pas l'écriture de projections pin unsafe personnalisées lorsqu'une abstraction sûre déjà maintenue exprime déjà le comportement nécessaire.