内存对齐 和 sizeof小结

数据对齐（内存对齐）指该数据所在的地址必须是该数据长度的整数倍。X86CPU能直接访问对齐的数据，当它试图访问未对齐的数据时，会在内部进行一系列的调整，降低运行速度。数据对齐一般出现在结构体和类中，在默认情况下，为了方便对结构体内元素的访问和管理，当结构体内的元素的长度都小于处理器的位数的时候，便以结构体里面最长的数据元素为对齐单位，也就是说，结构体的长度一定是最长的数据元素的整数倍。如果结构体内存在长度大于处理器位数的元素，那么就以处理器的位数为对齐单位。但是结构体内类型相同的连续元素将在连续的空间内，和数组一样（摘录）。

sizeof是C/C++中的一个操作符（不是函数！），其作用是返回对象或类型的所占内存字节数，类型为size_t （该返回值依赖于编译系统，但sizeof(char) == 1 ，此值是确定的）。

一般用法为  sizeof(类型说明符) 或  sizeof(变量名) 。sizeof的计算发生在编译时，所以可以这样用： int array[sizeof(int) * 6] ;

下面以例程详细说明：

注：我的电脑是32位XP系统，使用vs2008编译，sizeof(short) == 2  , sizeof(int) == 4;

 typedef struct{
         char  a;
         short b;
         int   c;
         char  d;
     }ST_TEST;

上面定义了ST_TEST类型的结构体，其中最长的元素为int类型，所以会以4字节对齐。输出sizeof(ST_TEST)值为12，对齐方式如下：

aaarticlea/png;base64,iVBORw0KGgoAAAANSUhEUgAAANgAAABECAIAAABs5myCAAADgElEQVR4nO2dy3mDMBAGKY2aVAF9qBOa8IUquLgEcsAQPRCO2LVZwszJYIN/NoOQ+VDUTAAGaM4OADBNJRHH3vdjzW4G3zSNH1QiHQrwRU7Ipl1eCyRlVBBx7F3TNIj4sa/TL68F9EWcN3CI+Mmv1Czv2PcGnEZEKRcXceydicYVEaVcWsTBW7nKS0VcuyxN434/s1ZqPtDovXCTuAavPvjr/fCd+4q4FDAq4m55k62it+IKOxf8IbJ9fBmRiINf88/Htsgz9m4+Tj+sS8sego2y7deKDD46S+8q4uCXko69S0QslDf+ZNDibVdY+9p1GIGI0RHH5dirTbKHoArlotxUxKSmPhaxrF52mYn+Lskpfn0R00OONnhjWHB61okYXqriy9M5azaLo7fzdV10Hu+UN7/FGK7ZF/HUSoZl7LquVsRCx2JXxN/KHGgRbyZivLuo5/NfRey6rlLE5AIxBXek3lSqcKXg0pwSdJV3fAoX4776smHB4M01JyFoERet3dpY5T/r8sWgoGnREDEllGjwfzuB56qGH0068tsiJj8Pv4709k3QxAYVC9aFN2tcP4bdQ9f3futjuYx3FjGtypvyzpFcXstChZfVZ7eKn7mhrc3pAXawnO1CIKIUy9kuBCJKsZztQvxJRIAvg4hgAkQEEyAimAARwQSICCZARDCB0fuI8I/ZtAsR68mfQoIaEFGJWhFtDN+0AyKegpXhm3ZAxBOwM3zTDoioRPJ0/rK4Pv+3+ZggvcoVRFQg+U80+WOqaQfSzKP5dkBEJfZH3iRDaRExI7Gr67qpfjhp/PD5fdbE1XknYnnR1HH5cwqYDJtCxJo1iChcs2VXF8CluR6JiKDQIsLMViNXXDQzfNMO4j4iTOn/Tkl+NW+N9bQyfNMO/GoW83xOz6fC63uDiGIej6ltX0q17cHXtwcRNZhdbNvp8Tj4+vYuVogIe8xKyV9DACKCCRARTICIYAJEBBMgIpgAEcEEzE6qAGnlMZidVAHSymMwF58CpJXHQEQFSCuPgYgKkFYeg9lJFSCtPAazkypAWnkMZidVgLTCGAcmhSz0A+8zO+n+NJHWsu2kNRLjyKSQzE6KiNoxDg0nZXbSAqSVxDgyrpnZSTchrTDGkQH2zE6aQ1p5DKODp04PUAVp5TEQUQHSymMgogKklcfgwVgwASKCCRARTICIYIIf1aX+I8O/J7oAAAAASUVORK5CYII=" alt="" />

类中的对齐和结构类似，但是注意：类中如果有静态成员变量，因为静态变量是存放在全局数据区的，而sizeof计算栈中分配的大小，所以是不会将静态变量计算在内的。

对齐这块就说这个多吧，大家可以自己在编译器上多写几个结构试试就会更理解了。

下面再说sizeof的其他使用，依旧看例码：

 char sch_0[] = "";
 char sch_1[] = "";
 char sch_2[] = "abc\n";
 int  iarr[] = {};

 char *pch_0 = "";
 char *pch_1 = "abc\n";
 int  *parr = &iarr[];

对以上变量使用sizeof，输出依次为 100、11、5、400、4、4、4.

第一行 sch_0 数组，其大小相当于 sizeof(char)*100 ；

第二行 sch_1 数组，未显式指定大小，所以其大小根据字符串内容计算，为“0-9” 10个字符，加上末尾的 '\0' 结束字符，共11个；

第三行 sch_2 数组，同第二行，但是 '\n' 为1个字符（转义字符）；

第四行 iarr 数组，大小为 sizeof(int)*100 ；

最后三行的输出都为4，这是因为例如 sizeof(pch_0) 求的是一个指针的大小，换句话说就是求一个地址占多少字节，我们假如pch_o的值为0xFF66AACC，4字节指的就是这个地址值本身，跟这个地址指向什么数据（类型）无关！

再附加一个 strlen ：这是一个函数！ 获得一个字符串的长度，不包括结尾的空字符（NULL）。 如strlen(sch_0) == 10 ,strlen(pch_1) == 4 ;

strlen只能用于char类型的字符串（数组），若strlen(iaar) ，则会报错。

.

空类所占空间为1，单继承和多继承空类的空间仍为1，虚继承的空类为4.（看到了顺便）

.

.

.

补充一个很简单却有一定迷惑性的例题：

 char var[] = {};
 int test(char var[])
 {
     return sizeof(var);
 }

问以上函数输出结果？注意：正确答案是4.因为形参将退化为指针，返回结果就是一个指针的内存大小。它的迷惑性就在于test函数的形参刚好和第一行定义的数组同名，不要被他骗了.....