填充结构的实际大小，（成员大小的总和，没有填充对齐）

Question

sizeof () 返回结构的大小，包括用于对齐的成员填充。这很好。不需要将结构打包为 0 padding。

只需要获取（或计算）要比较的结构成员大小的总和（在静态编译时 assert 中使用它）。

当您的成员规模较小时，他们的缺席/差异不会被发现。成员主要是char数组

是否可以在编译时（或运行时）获得该数字？

或者我还能如何确保“有效”大小符合我的预期并避免因程序制动而意外更改？

初衷是为了避免错误地将A或B修改为不同的错误。使用 STATIC_ASSERT( sizeof(A) == sizeof(B) ) 由于填充而不适用于某些“小”差异。

注意：A 和 B 应该相似，但是在给定的设计中，不可能在程序的两个部分中重用 A。这个检查是为了确保如果有人只更改了 A 或只更改了 B，则无法编译。

Answer 1

您可以 #include 相同的标头两次。一次启用打包，一次不启用。显然，宏还会将打包结构的名称更改为与真实结构名称不同的名称。

这是一个例子。头文件（例如 test.h）如下所示。它显示了两个具有不同未打包大小但相同打包大小的结构。

#ifdef ENABLE_PACKED
#define PACKED(x) __attribute__ ((__packed__)) x##_packed
#else
#define PACKED(x) x
#endif

struct PACKED(my_struct1) {
    char c1;
    int i1;
    char c2;
    int i2;
};

struct PACKED(my_struct2) {
    char c1;
    char c2;
    int i1;
    int i2;
};

#ifdef ENABLE_PACKED
_Static_assert(sizeof(struct my_struct1_packed) ==
               sizeof(struct my_struct2_packed), "Error");
#endif

#undef PACKED

请注意，您实际上只需要在一个文件中定义 ENABLE_PACKED 和 #include test.h 即可测试静态断言。因此，您甚至可以创建一个包含两次 test.h 的 dummy.c 文件，并让您的构建每次都编译 dummy.c，但实际上并不在任何真正的发布对象中使用它。这样，所有真正的 .c 文件甚至根本不需要知道这一点，并且可以正常包含所有头文件。