数据结构内存边界对齐的三条原则

最新推荐文章于 2023-06-22 11:37:39 发布

原创

最新推荐文章于 2023-06-22 11:37:39 发布 · 2k 阅读

1 ·

CC 4.0 BY-SA版权

本文纠正了之前关于数据结构内存对齐错误的理解，并详细介绍了内存边界对齐的三条原则，包括为了简化CPU和内存交互、组合类型起始地址约束以及数组中对象的对齐约束。通过实例分析struct example1和struct example2的内存布局，解释了各部分字节填充的原因和计算方式，以理解不同平台下结构体大小的差异。

以前看过这个问题并写程序测试，详见http://blog.youkuaiyun.com/jcwKyl/archive/2008/04/21/2311112.aspx#1290568。多谢YGone网友发现了其中的错误并在评论中指了出来，看到评论后又回头去看以前的那篇日志，发现其中还有很多错误，于是把这个问题重新整理总结了一下，结果写在这篇日志中。

YGone网友发现的错误主要是以下数据结构：
#pragma pack(8)
struct example1 {
    short a;
    long b;
};

struct example2 {
    char c;
    struct example1 e;
    short s;
};
#pragma pack()
在原来那篇日志中，通过写程序测试发现规律后，便推测上述的strurctexample2的结构大小应该是24个字节，但YGone网友在vs2008上得到的结果是16个字节，自己这才写程序在vc6.0,vs2008, gcc上测试，得到的结果都是16个字节。
struct example2数据结构的大小是16个字节，这个值是这样计算出来的：
1(char c) + 3(padding) + 8(struct example1 e) + 2(short s) + 2(padding) = 16。
struct example1的大小是8字节，这个非常明显。

为什么struct example2的大小要如此计算呢？通过学习，总结出数据结构内存边界对齐的三条原则，如下：
原则一：内存