我可以始终假设 sizeof(GUID)==16 吗？

Question

Windows header 中 GUID 的定义是这样的：

typedef struct _GUID {
unsigned long Data1;
unsigned short Data2;
unsigned short Data3;
unsigned char Data4[ 8 ];
} GUID;

但是，没有定义任何打包。由于结构成员的对齐取决于编译器实现，因此我们可能会认为该结构的大小可能超过 16 个字节。

如果我可以假设它始终是 16 个字节 - 我使用 GUID 的代码会更加高效和简单。 但是，如果编译器出于某种原因在成员之间添加一些填充，那么这将是完全不安全的。

我的问题是否存在潜在原因？或者说 sizeof(GUID)!=16 实际上真的为 0 的情况的概率。

Answer 1

这不是官方文档，但也许是这篇文章可以减轻你的一些恐惧。我认为还有另一篇类似主题的文章，但我现在找不到了。

我想说的是，Windows 结构确实有一个打包说明符，但它是一个全局设置，位于头文件内的某个位置。它是#pragma之类的。而且它是强制性的，因为否则由不同编译器编译的程序无法相互交互，甚至无法与 Windows 本身交互。

Answer 2

它不是零，这取决于您的系统。如果对齐方式是基于单词（4 字节）的，则您将在 short 之间进行填充，并且大小将超过 16。

如果您想确保它是 16 - 手动禁用填充，否则使用 sizeof，并且不假设该值。

Answer 3

如果我觉得需要做出这样的假设，我会在代码中添加“编译时断言”。这样，编译器就会让我知道我是否错误以及何时错误。

如果您已经或愿意使用 Boost，可以使用 BOOST_STATIC_ASSERT 宏来执行此操作。

为了我自己的目的，我拼凑了我自己的（在 C 或 C++ 中与 MSVC、GCC 和一个或两个嵌入式编译器一起工作），它使用类似于本文中描述的技术：

• http://www.pixelbeat.org/programming/gcc/static_assert.html

获取编译时断言的真正技巧去工作cleanly 正在处理这样一个事实：某些编译器不喜欢与代码混合的声明（C 模式下的 MSVC），并且这些技术通常会生成警告，表明您不希望阻塞其他正常工作的构建。提出避免警告的技术有时是一个挑战。

Answer 4

是的，在任何 Windows 编译器上。否则 IsEqualGUID 将不起作用：它比较仅前 16 个字节。同样，任何其他采用 GUID* 的 WinAPI 函数仅检查前 16 个字节。

请注意，您不能为 windows.h 假定通用 C 或 C++ 规则。例如，尽管 ISO C 允许 9 位，但 Windows 上的字节始终为 8 位。

Answer 5

任何时候你根据别人结构的大小编写代码时，
警钟应该响起。

您能否举一个您想要使用的一些简化代码的示例？
如果需要结构的大小，大多数人只会使用 sizeof(GUID)。

话虽如此，我看不到 GUID 的大小会发生变化。

Answer 6

#include <stdio.h>
#include <rpc.h>
int main () {
GUID myGUID;
printf("size of GUID is %d\n", sizeof(myGUID));
return 0;
}

得到 16。这对于了解是否需要在堆上手动分配非常有用。