如何确保两种类型具有相同的大小？

Question

在我的代码中，我想确保 sizeof(a) == sizeof(b)。

第一种方法是让预处理器进行检查：

#if (sizeof(a) != sizeof(b))
#  error sizes don't match
#endif

由于致命错误 C1017：无效的整数常量表达式而无法编译。好的。理解。

下一步尝试：

if(sizeof(a) != sizeof(b)){
  printf("sizes don't match\n");
  return -1;
}

这会导致警告：警告 C4127：条件表达式为常量。

现在，我被困住了。是否有一种无警告和错误的方法来确保两个结构体 a 和 b 具有相同的大小？

---

编辑： 编译器是Visual Studio 2005，警告级别设置为4。

Answer 1

错误的数组大小

// make sure sizeof(a) == sizeof(b):
int size_must_match[sizeof(a) == sizeof(b)];
// will fail if sizeof(a) == sizeof(b) evaluates to 0
// might produce warning: 'size_must_match' is not used 

// to suppress "'size_must_match' is not used", try:
size_must_match[0]; // might produce warning: "statement has no effect"

或

typedef int size_must_match[sizeof(a) == sizeof(b)];

错误的编译时算术

在 C++ 中可以保证编译器在编译时计算这些常量表达式，我相信 C:

// make sure sizeof(a) == sizeof(b):
1 / (sizeof(a) == sizeof(b));
// might produce warning: "statement has no effect"

int size_must_match = 1 / (sizeof(a) == sizeof(b));
// might produce warning: 'size_must_match' is unused

assert (1 / (sizeof(a) == sizeof(b)));
// very silly way to use assert!

Switch 中也同样如此（只是为了好玩）

switch (0) { // compiler might complain that the 
             // controlling expression is constant
case 0:       
case sizeof(a) == sizeof(b):
    ; // nothing to do
}

你明白了。尝试一下这个，直到编译器 100% 满意为止。

Answer 2

根据 #if 文档明确禁止第一种情况：

表达式不能使用 sizeof 或类型转换运算符。

至于警告，您可以忽略它（因为您知道您的代码没问题），使用 #pragma 禁用它，或者只是从 if 中取出条件：

bool sizeMatch = (sizeof(a) == sizeof(b));
if (!sizeMatch){
    printf("sizes don't match\n");
    return -1;
}

---

编辑：由于禁用错误似乎引起了一些注意，这里有几种使用 #pragma warning：

#pragma warning (push) 
#pragma warning (disable: 4127)
    if(sizeof(a) != sizeof(b)){
#pragma warning (pop) 
          // ...

弹出显然可以在代码中进一步完成。另一种选择可能是：

#pragma warning (disable: 4127)
    if(sizeof(a) != sizeof(b)){
#pragma warning (default: 4127) 

这将在不推送和弹出的情况下重新打开警告。

不管怎样，这段代码看起来确实很难看。 IMO，仅使用 bool 来获取 sizeof 比较的结果（如我的第一个代码片段所示）将是最干净的解决方案。

Answer 3

#include <stdio.h>

struct tag {
int a;
};
main() {
    struct tag a,b;
        if(sizeof(a) != sizeof(b))
        printf("not");
    else
        printf("same");

}

这个程序运行良好，没有任何警告......！！！

Answer 4

虽然可以与编译器玩捉迷藏，并将常量条件隐藏在编译器看不到的地方，但这并不是抑制警告的最佳方法。它只会让代码对于下一个要维护它的人来说显得不必要的晦涩。

如果您需要抑制编译器警告，请明确说明。在 Visual Studio 2005 中，最好使用编译指示：

http://msdn.microsoft.com/en-us/library/2c8f766e(v=vs.80).aspx