Python-struct-Binärformate: Byte-Reihenfolge, Grösse und Padding explizit machen

Worum es geht

Die struct-Dokumentation von Python unterscheidet native Layouts von Formaten mit Standardgrösse. Ohne Präfix wird der native Modus verwendet, einschliesslich plattformabhängiger Byte-Reihenfolge, Grössen und Ausrichtung. Präfixe wie < und > legen eine explizite Byte-Reihenfolge mit Standardgrössen fest und verzichten auf automatisches Ausrichtungs-Padding. Ein externer Austausch braucht deshalb einen expliziten Layout-Vertrag. Python struct

Warum es wichtig ist

Ein Agent kann eine C-Struktur-Deklaration ungeprüft in ein Pack-Format übernehmen und dabei nur einen Round-Trip im selben Prozess testen. Kodierer und Dekodierer können dieselbe falsche Annahme teilen. Gegen eine unabhängige Byte-Fixture mit bekannten Offsets prüfen, statt gegenseitige Übereinstimmung als Nachweis der Protokollkonformität zu werten.

So wird es angewendet

• Eine Feldtabelle mit Breite, Vorzeichenbehaftung, Byte-Reihenfolge, Offset und zulässigem Bereich schreiben. Jedes Padding angeben und ob zusätzliche nachgestellte Bytes zulässig sind.
• Ein explizites struct-Präfix passend zu dieser Tabelle wählen. calcsize verwenden, um die erwartete Datensatzlänge zu prüfen, dabei die unabhängig hergeleitete Protokolllänge im Test behalten.
• Eine vorgeschlagene Referenz-Byte-Fixture mit unterscheidbaren Werten in benachbarten Feldern erstellen. Sie dekodieren und jedes Feld vergleichen; dieselben Werte separat kodieren und die exakten Bytes vergleichen.
• Abgeschnittene Datensätze, Werte ausserhalb des zulässigen Bereichs und unerwarteten nachgestellten Inhalt gemäss dem Parser-Vertrag hinzufügen. Eine Formatausnahme darf nicht unerklärt als interner Fehler nach aussen dringen.
• Bei absichtlicher Interoperabilität mit einer nativen ABI die Compiler- und Zielplattform-Annahmen festhalten und diese Layouts getrennt von portablen Binärformaten testen.

Stolpersteine

Das Präfix = verwendet Standardgrössen, aber die native Byte-Reihenfolge, ist also keine Festlegung auf eine einzige universelle Endian-Konvention. Padding ersetzt nicht die Prüfung reservierter Bytes, wenn das Protokoll ihnen eine Bedeutung gibt. Eine lokal vom Kodierer erzeugte Fixture nicht als einzige Referenz verwenden. Dieser Artikel beansprucht keinen plattformübergreifenden Binärtest; er liefert ein Prüfdesign.