Formatos de transmisión con struct en Python: define de forma explícita el orden de bytes, el tamaño y el relleno

Qué es

La documentación del módulo struct de Python distingue entre los diseños nativos y los formatos de tamaño estándar. Si no se indica ningún prefijo, se usa el modo nativo, que incluye orden de bytes, tamaños y alineación dependientes de la plataforma. Prefijos como < y > fijan un orden de bytes explícito, con tamaños estándar y sin relleno de alineación automático. Por eso, el intercambio con sistemas externos requiere un contrato de diseño explícito. Python struct

Por qué importa

Un agente puede copiar la declaración de una estructura de C en un formato de pack y comprobar solo un ciclo de ida y vuelta dentro del mismo proceso. El codificador y el decodificador pueden compartir entonces el mismo supuesto erróneo. Conviene verificar con un fixture de bytes independiente, con desplazamientos conocidos, en lugar de tomar la coincidencia mutua como prueba de que se cumple el protocolo.

Cómo aplicarlo

• Redacta una tabla de campos con ancho, signo, orden de bytes, desplazamiento y rango permitido. Especifica el relleno que haya y si se admiten bytes sobrantes al final.
• Elige un prefijo de struct explícito que coincida con esa tabla. Usa calcsize para comprobar la longitud esperada del registro, pero mantén en la prueba la longitud del protocolo obtenida de forma independiente.
• Crea un fixture de bytes de referencia (golden) propuesto, con valores distinguibles en campos contiguos. Decodifícalo y compara cada campo; por separado, codifica esos valores y compara los bytes exactos.
• Añade registros truncados, valores fuera de rango y contenido final inesperado según el contrato del analizador. No dejes que una excepción de formato se propague como un error interno sin explicación.
• Si la interoperación con una ABI nativa es intencionada, documenta los supuestos del compilador y de la plataforma de destino, y prueba esos diseños por separado de los formatos de transmisión portables.

Trampas

El prefijo = usa tamaños estándar pero el orden de bytes nativo, de modo que no declara una convención de endianness universal. El relleno no sustituye la validación de los bytes reservados cuando el protocolo les da significado. Evita usar como único oráculo un fixture generado por el codificador local. Este artículo no afirma haber realizado ninguna prueba binaria multiplataforma; ofrece un diseño de verificación.