在Python中处理网络协议、二进制文件或与C语言程序交换数据时，struct模块承担着基础类型与字节串之间相互转换的职责。struct.pack可以把整数、浮点数、字符串等数据打包成连续的字节串，struct.unpack则负责把字节串还原为结构化变量。看似简单的转换背后，字节对齐和字节序两个概念经常被忽略。很多人定义格式串时只关心字段类型和顺序，结果在跨平台调试时发现数据长度不对或数值完全错乱，最终问题往往出在这两个细节上。
字节对齐：自动填充如何影响结构体长度
struct模块在默认情况下采用本机对齐方式，这与C编译器对结构体成员的对齐规则保持一致。所谓对齐，是指存储地址必须符合该类型长度的整数倍。例如单字节字符可以放在任意地址，而四字节整数通常要求起始地址为4的倍数。如果格式串中先有一个字符字段，再紧跟一个整型字段，编译器可能会在字符之后跳过一个或三个字节的填充，使整型字段从合适的边界开始。这种填充虽然增加了结构体长度，但能让CPU更高效地读取数据。
在纯粹使用Python高级对象时，这种内存布局很少暴露出来。但一旦调用struct.pack，那些隐藏的填充字节就会作为真实数据写入结果。比如格式串'ci'在本机对齐模式下，1字节字符加上4字节整数，理论上总共5字节，但实际结果可能变成8字节，因为中间多出了3个填充字节。不同平台和编译器对默认对齐的规则并不统一，在32位与64位环境、不同操作系统中都可能存在差异，因此无法依赖默认值进行跨端数据交换。
要避免这种不确定性，可以在格式串最前面加入控制字符。使用=表示标准尺寸、本机对齐；使用<表示标准尺寸、小端序、无对齐；使用>表示标准尺寸、大端序、无对齐；使用!表示网络序，同样无对齐。其中<和>在跨平台通信中最常用，因为它们会完全禁用自动填充，让字段按照定义的顺序紧密排列，不会插入任何额外字节。
import struct
# 默认本机对齐，可能产生填充字节
native = struct.pack('ci', b'A', 1)
print(len(native)) # 可能是 8
# 显式指定小端且无对齐
packed = struct.pack('<ci', b'A', 1)
print(len(packed)) # 必定是 5
字节序：多字节数值在字节流中的排列方向
字节序描述的是多字节数值在内存或传输流中先出现哪个字节。小端序把低位字节放在起始位置，大端序把高位字节放在起始位置。x86和大多数ARM设备默认使用小端序，而许多网络协议采用大端序，称为网络字节序。如果发送端和接收端对字节序的设定不一致，即使数值打包格式正确，解析出来的结果也会完全错误。
例如整数0x01020304，在小端序下会被打包为04 03 02 01，而在大端序下会被打包为01 02 03 04。可以看到字节顺序完全相反。struct模块通过格式串前缀来处理这个问题：<强制小端，>强制大端，!表示网络大端序，=则跟随本机字节序。如果格式串不写任何前缀，struct同样使用本机字节序，这就给代码的可移植性带来了风险。编写通用解析逻辑时，显式指定字节序是必要步骤。
下面的示例直观展示同一个整数在不同字节序下的打包结果差异。实际开发中，协议文档通常会明确约定字节序，例如TCP通信报头中的长度字段使用大端序，而本地文件格式可能选择小端序。开发人员只需要在格式串开头写上相应的符号，就能让Python按照协议要求进行转换，避免手动处理字节交换。
import struct
num = 0x01020304
little = struct.pack('<i', num)
big = struct.pack('>i', num)
print(little) # b'x04x03x02x01'
print(big) # b'x01x02x03x04'
跨平台格式串设计与调试方法
假设一个数据采集系统包含树莓派、Linux服务器、Windows客户端等多个节点。树莓派和多数Linux环境使用小端序，Windows平台同样采用小端序，但不同系统对C结构体默认对齐规则仍可能不同。如果程序只依赖struct默认行为，把数据写入文件或在网络间传输时，容易出现一个平台多出几个填充字节、另一个平台少几个填充字节的问题。因此在实际项目中，协议格式串应当集中定义为常量，并显式指定字节序和对齐策略。
另一个容易混淆的地方是字符串字段与数值字段的混合使用。struct用s表示定长字符串，长度必须放在s前面，例如10s表示10个字节的字符串。字符串本身不受字节序影响，因为每个字符就是一个字节。但如果格式串中既有字符串又有多字节整数，同时又没有关闭对齐，那么字符串前面的整数之后可能会被插入填充字节，导致字符串的起始位置发生偏移。推荐在格式串中使用<或!前缀，例如<H10sI表示小端无对齐的短整型、10字节字符串和4字节无符号整数。这样每个字段的位置都能精确计算，避免歧义。
struct.calcsize是一个非常有用的函数，它可以在不实际打包数据的情况下计算出格式串占用的字节数。通过比较calcsize的结果与手工计算的字段长度总和，可以快速判断是否存在隐藏填充。如果计算结果比预期大，基本可以确定是对齐填充在起作用。解析数据时，pack和unpack必须使用完全相同的格式串，否则偏移量错误会级联到后续所有字段，导致整包数据无法使用。
import struct FMT = '<H10sI' print(struct.calcsize(FMT)) # 输出 16，字段总长 2+10+4，无填充 data = struct.pack(FMT, 7, b'sensor_123', 999) magic, name, count = struct.unpack(FMT, data) print(magic, name, count)
总结来说，struct模块的使用难点并不在函数本身，而在格式串设计。弄清字节对齐与字节序之后，再结合calcsize提前验证长度、统一维护格式串常量，就能有效避免跨平台数据传输中的大部分隐患。无论是解析硬件通信协议还是生成固定格式文件，都应当养成显式声明<、>或!前缀的习惯，不要让本机默认行为决定数据的最终布局。