为什么一些结构中尾部数组的大小是1？

一些Windows结构都是可变大小的，一个固定大小的头之后是一个可变大小的数组。当这些结构被声名的时候，数组大小都声明为1，举个例子：

typedef struct _TOKEN_GROUPS {

DWORD GroupCount;

SID_AND_ATTRIBUTES Groups[ANYSIZE_ARRAY];

} TOKEN_GROUPS, *PTOKEN_GROUPS;

如果你看这个头文件，你将看到这个ANYSIZE_ARRAY被定义为1，因此这个结构中声明了一个动态扩展大小的数组。

使用这个声明，你会像下面这个代码一样对一个可变大小的TOKEN_GROUPS结构进行内存分配：

PTOKEN_GROUPS TokenGroups =

malloc(FIELD_OFFSET(TOKEN_GROUPS, Groups[NumberOfGroups]));

初始化化数组:

TokenGroups->GroupCount = NumberOfGroups;

for (DWORD Index = 0; Index = NumberOfGroups; Index++) {

TokenGroups->Groups[Index] = ...;

}

很多人认为这个结构应该设计成下面这个样子：

typedef struct _TOKEN_GROUPS {

DWORD GroupCount;

} TOKEN_GROUPS, *PTOKEN_GROUPS;

(在文中, 以斜体书写的代码都是错误的或是假设的)

分配内存的代码变成了：

PTOKEN_GROUPS TokenGroups =

malloc(sizeof(TOKEN_GROUPS) +

NumberOfGroups * sizeof(SID_AND_ATTRIBUTES));

这个方法有两个缺点，一个是次要的，而另外一个是致命的。

首先，次要的缺点是：这种做法非常难以存取可变大小数据。初始化TOKEN_GROUPS代码变成：

TokenGroups->GroupCount = NumberOfGroups;

for (DWORD Index = 0; Index = NumberOfGroups; Index++) {

((SID_AND_ATTRIBUTES *)(TokenGroups + 1))[Index] = ...;

}

真正的缺点是致命的。上述的代码会在64位Windows上crash。SID_AND_ATTRIBUTES结构如下：

typedef struct _SID_AND_ATTRIBUTES {

PSID Sid;

DWORD Attributes;

} SID_AND_ATTRIBUTES, * PSID_AND_ATTRIBUTES;

通过观察，结构中第一个成员变量是一个指针，PSID。SID_AND_ATTRIBUTES结构需要指针对齐，在64位Windows是8位对齐。也就是说，被设想的TOKEN_GROUPS　 结构是一个DWORD，因此只需要4位对齐。sizeof(TOKEN_GROUPS)是4。

我相信你已经找到问题的所在了。

在被设想的结构定义中，SID_AND_ATTRIBUTES数组将不是8个字节对齐，而只是4个字节对齐。没有在GroupCount 和第一个SID_AND_ATTRIBUTES之间增加padding。在读取结构中数组的时候会导致STATUS_DATATYPE_MISALIGNMENT异常。

也许你会说，为什么不用0长度的数据来代替1呢？

因为从1999起在C标准中0长度的数组将不再合法。