Aliasing d'append en Go : tester à la fois le chemin avec capacité disponible et celui avec réallocation

Ce que c'est

L'article de Go sur les slices explique qu'une slice est une vue sur un tableau sous-jacent et qu'un re-découpage (re-slicing) ne copie pas ce tableau. Un append peut soit réutiliser la capacité disponible, soit allouer un nouveau stockage. Deux appels d'apparence semblable peuvent donc présenter un comportement d'aliasing différent selon la capacité de la slice d'entrée. Go slices: usage and internals

Pourquoi c'est important

Un agent peut ajouter un test utilisant une courte slice fraîchement allouée et en conclure qu'une fonction utilitaire préserve son entrée. Un appelant en production peut fournir une vue disposant de capacité libre. Spécifier si la fonction emprunte un stockage mutable ou doit renvoyer des données indépendantes, puis tester ce contrat délibérément.

Comment l'appliquer

• Schématiser le tableau sous-jacent ainsi que le début, la longueur et la capacité de chaque slice. Identifier quelles valeurs existantes pourraient être écrasées si un append réutilise le stockage.
• Énoncer dans la documentation le contrat de propriété de la fonction utilitaire. Si le résultat doit être indépendant, copier les données pertinentes dans un stockage possédé séparément, plutôt que de compter sur le fait qu'un append réalloue par hasard.
• Proposer deux dispositifs de test présentant les mêmes valeurs d'entrée visibles : l'un avec de la capacité disponible, l'autre nécessitant une croissance. Conserver une slice observatrice distincte pour détecter une mutation non voulue.
• Inclure une mise à jour ordinaire d'élément en plus du comportement d'append. Restreindre seulement la capacité d'append ne rend pas indépendants des éléments déjà partagés.
• Pour un petit résultat conservé issu d'une grande entrée, prendre en compte la durée de vie du tableau sous-jacent. Examiner si une copie explicite exprime la frontière de rétention voulue.

Pièges

Ne pas déduire une politique stable de croissance d'allocation d'une seule observation à l'exécution. Copier a aussi un coût ; choisir cette option parce que la propriété l'exige, pas comme une prescription universelle de performance. Le partage concurrent ajoute des questions de synchronisation distinctes de ce diagnostic d'aliasing. Les dispositifs de test proposés montrent ce qu'il faut vérifier ; aucun benchmark d'allocation ni aucune économie de mémoire mesurée n'est revendiqué ici.