cgo转换#pragma pack(1)压缩C结构体为Go结构体字段丢失问题

问题背景 #

使用#pragma pack (push, 1)对C结构体做1字节对齐压缩，经cgo转换为Go结构体时，出现部分字段被匿名_填充字段替代、字段丢失的异常。
当前运行环境：Go 1.16.6 Windows/386

复现代码 #

待转换的C结构体（1字节对齐） #

#pragma pack (push, 1)
typedef struct _sample_struct
{
    USHORT                   usNo;
    DWORD                    ft;
    DWORD                    fit;
    CHAR                     cID[5];
    CHAR                     cCID[3];
    ULONG                    ulVal;
    ULONG                    ulIn;
    ULONG                    ulCnt;
    ULONG                    ulMax;
    USHORT                   usStat;
    BOOL                     bAlk;
    LPSTRUCT2                lpNNL;
    USHORT                   usNPCU;
    LPSTRUCT4 *              lppP;
    LPSTR                    lpBuff;
    LPUSHORT                 lpusIDS;
    WORD                     usType;
    LPSTR                    lpszCUName;
    ULONG                    ulICnt;
    ULONG                    ulDCnt;
    ULONG                    ulPCnt;
    ULONG                    ulRCnt;
    ULONG                    ulRJCnt;
    ULONG                    ulMin;
} SAMPLESTRUCT, *LPSAMPLESTRUCT;
#pragma pack (pop)

cgo自动生成的异常Go结构体 #

type _Ctype_struct__sample_struct struct {
    usNo        _Ctype_USHORT
    _       [8]byte
    cID     [5]_Ctype_CHAR
    cCID        [3]_Ctype_CHAR
    _       [16]byte
    usStat      _Ctype_USHORT
    bAlk        _Ctype_BOOL
    lpNNL       _Ctype_LPSTRUCT2
    usNPCU      _Ctype_USHORT
    _       [12]byte
    usType      _Ctype_WORD
    lpszCUName  _Ctype_LPSTR
    ulICnt      _Ctype_ULONG
    ulDCnt      _Ctype_ULONG
    ulPCnt      _Ctype_ULONG
    ulRCnt      _Ctype_ULONG
    ulRJCnt     _Ctype_ULONG
    ulMin       _Ctype_ULONG
}

对比两侧结构体可以发现，C侧定义的ft、fit、ulVal、ulIn、ulCnt、ulMax、lppP、lpBuff、lpusIDS共9个字段未被正确识别，被不同长度的匿名_字节数组替换。移除#pragma pack对齐配置后转换结果正常，但业务对接的第三方库强制要求交互结构体使用1字节压缩对齐，无法移除该配置。

解决方案 #

• 升级Go版本
  该问题是Go 1.16版本Windows/386架构下cgo的已知bug，后续Go 1.17及以上稳定版本已经修复了packed紧凑结构体的字段解析逻辑，升级Go版本后重新执行cgo转换即可生成正确的结构体定义。
• 手动定义Go侧结构体
  不依赖cgo自动生成的结果，严格对照C侧结构体的字段顺序、类型、长度手动编写Go结构体定义：386架构下所有指针类型长度为4字节，基础类型长度匹配C侧对应类型（USHORT/WORD为2字节，DWORD/ULONG为4字节），不要保留自动生成的匿名填充字段。定义完成后通过unsafe.Offsetof逐一校验每个字段的内存偏移，和C侧通过offsetof宏计算出的偏移值完全一致后再使用。
• C侧封装访问函数
  避免在Go侧直接操作C结构体内存，在C代码中为每个需要读写的字段实现简单的get/set访问函数，Go侧直接调用这些C函数完成字段操作。这种方式完全绕过cgo的结构体对齐解析逻辑，兼容性最强，不会因为Go版本、系统架构变动出现内存访问错误。

内容的提问来源于stack exchange，提问作者Priya Purushoth