C中的预处理器指令#pragma pack [重复]

Question

我正在尝试了解#pragma 的使用，尤其是#pragma pack() 指令。当我将 pragma pack 设置为 4.5、-5、6 等时，它是如何工作的。

Answer 1

一般来说，#pragma pack 的目的是通过控制其成员的最大对齐来控制 c 中结构的大小和布局。

请参阅the GCC Docs 以了解其对语法的完整描述

我首先要关注对齐是什么。当程序对对齐没有要求时，结构的成员可能与基地址有任何偏移。当对齐时，例如 4，所有成员的偏移量必须是 4 的倍数。

#pragma pack(4) 将最大对齐设置为 4，而不是最小或精确对齐。我不知道强制最小对齐的方法

这是一个查看对齐效果的示例（在我的机器上默认对齐为 4）

#include <stdio.h>
#include <stddef.h>

typedef struct { 
    char  a; 
    char  b;
    long  c;
    short d;
    long  e;
} foo;

#pragma pack(push,2) //This saves the previous alignment, then lowers the maximum alignment from 4 to 2, so it will smaller (or the same size)
typedef struct {
    char  a;
    char  b;
    long  c;
    short d;
    long  e;
} bar;
#pragma pack(pop) //This reinstates the previous alignment

int main() {
    printf("a:%d b:%d c:%d d:%d e:%d\n", offsetof(foo, a), offsetof(foo, b), offsetof(foo, c), offsetof(foo, d), offsetof(foo, e));
    printf("a:%d b:%d c:%d d:%d e:%d\n", offsetof(bar, a), offsetof(bar, b), offsetof(bar, c), offsetof(bar, d), offsetof(bar, e));
}

这给出了输出

a:0 b:1 c:4 d:8 e:12
a:0 b:1 c:2 d:6 e:8

至于您的问题，如果您使用 #pragma pack(n) 会产生什么影响，其中 n 是 4.5、-1、6 等。这些都不是真正的有效值。根据文档，

下面的 n 值总是要求是 2 的小幂，并以字节为单位指定新的对齐方式

所以只有像 2、4 或 8 这样的值才有效。即使您可以使用任何整数（小数和负数没有意义），这也是不明智的。这是因为对齐两个边界的幂会加快内存访问速度。

推送和弹出功能用于保存对齐，以便您可以随意弄乱它们并在以后恢复它们