C/C++ 中结构体的内存对齐问题？

最新推荐文章于 2025-08-27 22:40:56 发布

原创最新推荐文章于 2025-08-27 22:40:56 发布 · 383 阅读

3 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #内存对齐

C++工程师面试宝典专栏收录该内容

391 篇文章

订阅专栏

面试官：
请解释一下 C/C++ 中结构体的内存对齐问题？

应聘者回答参考：

1. 基本规则

存储顺序：结构体内的成员按照 声明顺序 依次存储，第一个成员的地址与整个结构体的地址相同。
对齐规则：
1. 成员对齐：每个成员的起始地址要是该成员大小的整数倍。
2. 结构体作为成员：若结构体中包含另一个结构体成员，则该成员的起始地址要对齐到其内部最大成员的大小。
3. 整体对齐：结构体的总大小必须是其最大成员大小的整数倍，不足时补齐。

2. C++11 的对齐控制

C++11 引入了两个关键字：

alignof(type)
- 用来计算某个类型的对齐方式。
alignas(n)
- 指定变量或结构体的对齐方式（字节数）。
- 但如果指定值小于自然对齐要求，则会被忽略。

3. 示例

情况 1：`alignas` 生效

struct Info {
    uint8_t a;
    uint16_t b;
    uint8_t c;
};
std::cout << sizeof(Info) << std::endl;   // 6
std::cout << alignof(Info) << std::endl;  // 2

struct alignas(4) Info2 {
    uint8_t a;
    uint16_t b;
    uint8_t c;
};
std::cout << sizeof(Info2) << std::endl;  // 8
std::cout << alignof(Info2) << std::endl; // 4

解释：alignas(4) 将 Info2 的对齐数提升到 4，因此 sizeof(Info2)=8。

情况 2：`alignas` 失效

struct Info {
    uint8_t a;
    uint32_t b;
    uint8_t c;
};
std::cout << sizeof(Info) << std::endl;   // 12
std::cout << alignof(Info) << std::endl;  // 4

struct alignas(2) Info2 {
    uint8_t a;
    uint32_t b;
    uint8_t c;
};
std::cout << sizeof(Info2) << std::endl;  // 12
std::cout << alignof(Info2) << std::endl; // 4

解释：由于结构体成员中有 uint32_t，自然对齐要求是 4，alignas(2) 会被忽略。

4. 单字节对齐的情况

如果需要 强制单字节对齐，alignas 无效，需使用：

GCC/Clang：__attribute__((packed))
MSVC：#pragma pack(push,1) 与 #pragma pack(pop)

#if defined(__GNUC__) || defined(__GNUG__)
  #define ONEBYTE_ALIGN __attribute__((packed))
#elif defined(_MSC_VER)
  #define ONEBYTE_ALIGN
  #pragma pack(push,1)
#endif

struct Info {
    uint8_t a;
    uint32_t b;
    uint8_t c;
} ONEBYTE_ALIGN;

#if defined(__GNUC__) || defined(__GNUG__)
  #undef ONEBYTE_ALIGN
#elif defined(_MSC_VER)
  #pragma pack(pop)
  #undef ONEBYTE_ALIGN
#endif

std::cout << sizeof(Info) << std::endl;   // 6
std::cout << alignof(Info) << std::endl;  // 1

5. 位域对齐示例

位域成员在存储上依赖于具体实现，通常还是会按字节边界存放：

struct Info {
    uint16_t a : 1;
    uint16_t b : 2;
    uint16_t c : 3;
    uint16_t d : 2;
    uint16_t e : 1;
    uint16_t pad : 7;
} __attribute__((packed));

std::cout << sizeof(Info) << std::endl;   // 2
std::cout << alignof(Info) << std::endl;  // 1