c - 填充结构的实际大小，(成员大小的总和，没有用于对齐的填充)

Question

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

只需要获取(或计算)要比较的结构成员的大小之和(在静态编译时断言中使用它)。

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

是否有可能在编译时(或运行时)获得该数字？

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

初衷是为了避免A或B被误修改成不同的bug。使用 STATIC_ASSERT( sizeof(A) == sizeof(B) )由于填充，这不适用于一些“小”差异。

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

Answer 1

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

这是一个例子。头文件，比如 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 文件甚至根本不需要知道这一点，并且可以正常包含所有头文件。