Formats binaires du module struct en Python : rendre explicites l'ordre des octets, la taille et le remplissage

Ce que c'est

La documentation du module struct de Python distingue les agencements natifs des formats à taille standard. En l'absence de préfixe, le mode natif est utilisé, avec un ordre des octets, des tailles et un alignement dépendant de la plateforme. Des préfixes comme < et > choisissent un ordre des octets explicite, des tailles standard et aucun remplissage d'alignement automatique. Un échange externe a donc besoin d'un contrat d'agencement explicite. Python struct

Pourquoi c'est important

Un agent peut recopier une déclaration de structure C dans un format d'empaquetage et ne tester qu'un aller-retour dans le même processus. L'encodeur et le décodeur peuvent alors partager la même hypothèse erronée. Vérifier par rapport à un jeu d'octets de référence indépendant, à décalages connus, plutôt que de traiter un accord mutuel comme une preuve de conformité au protocole.

Comment l'appliquer

• Rédiger un tableau des champs contenant largeur, signe, ordre des octets, décalage et plage autorisée. Préciser tout remplissage et si des octets supplémentaires en fin sont licites.
• Choisir un préfixe struct explicite correspondant à ce tableau. Utiliser calcsize pour vérifier la longueur d'enregistrement attendue, tout en conservant dans le test la longueur de protocole établie indépendamment.
• Créer un jeu d'octets de référence proposé, avec des valeurs distinguables dans les champs voisins. Le décoder et comparer chaque champ ; encoder séparément ces valeurs et comparer les octets exacts.
• Ajouter des enregistrements tronqués, des valeurs hors plage et un contenu final inattendu conformément au contrat de l'analyseur. Ne pas laisser une exception de format s'échapper sous forme d'erreur interne inexpliquée.
• En cas d'interopérabilité intentionnelle avec une ABI native, consigner les hypothèses de compilateur et de cible, et tester ces agencements séparément des formats binaires portables.

Pièges

Le préfixe = utilise des tailles standard mais l'ordre des octets natif : ce n'est donc pas la déclaration d'une convention de boutisme universelle. Le remplissage ne remplace pas la validation des octets réservés lorsque le protocole leur donne un sens. Éviter d'utiliser un jeu d'essai généré localement par l'encodeur comme unique référence. Cet article ne revendique aucun test binaire multiplateforme ; il fournit une méthode de vérification.