C++中sizeof和结构体以及内存对其

内存对齐

         在我们的程序中，数据结构还有变量等等都需要占有内存，在很多系统中，它都要求内存分配的时候要对齐，这样做的好处就是可以提高访问内存的速度。


 我们还是先来看一段简单的程序：


                                程序一

 1  #include  < iostream >
 2  using   namespace  std;
 3 
 4  struct  X1
 5  {
 6     int  i; // 4个字节
 7     char  c1; // 1个字节
 8     char  c2; // 1个字节
 9  };
10 
11  struct  X2
12  {
13     char  c1; // 1个字节
14     int  i; // 4个字节
15     char  c2; // 1个字节
16  };
17 
18  struct  X3
19  {
20     char  c1; // 1个字节
21     char  c2; // 1个字节
22     int  i; // 4个字节
23  };
24  int  main()
25  {   
26      cout << " long  " << sizeof ( long ) << " \n " ;
27      cout << " float  " << sizeof ( float ) << " \n " ;
28      cout << " int  " << sizeof ( int ) << " \n " ;
29      cout << " char  " << sizeof ( char ) << " \n " ;
30 
31      X1 x1;
32      X2 x2;
33      X3 x3;
34      cout << " x1 的大小  " << sizeof (x1) << " \n " ;
35      cout << " x2 的大小  " << sizeof (x2) << " \n " ;
36      cout << " x3 的大小  " << sizeof (x3) << " \n " ;
37       return   0 ;
38  }

      
      这段程序的功能很简单，就是定义了三个结构X1,X2,X3,这三个结构的主要区别就是内存数据摆放的顺序，其他都是一样的，另外程序输入了几种基本类型所占用的字节数，以及我们这里的三个结构所占用的字节数。

这段程序的运行结果为：

1  long   4
2  float   4
3  int   4
4  char   1
5  x1 的大小  8
6  x2 的大小  12
7  x3 的大小  8

     结果的前面四行没有什么问题，但是我们在最后三行就可以看到三个结构占用的空间大小不一样，造成这个原因就是内部数据的摆放顺序，怎么会这样呢？

    下面就是我们需要讲的内存对齐了。

    内存是一个连续的块，我们可以用下面的图来表示,  它是以4个字节对一个对齐单位的：

                                                    图一

   让我们看看三个结构在内存中的布局：

   首先是 X1，如下图所示

    X1 中第一个是 Int类型，它占有4字节，所以前面4格就是满了，然后第二个是char类型，这中类型只占一个字节，所以它占有了第二个4字节组块中的第一格，第三个也是char类型，所以它也占用一个字节，它就排在了第二个组块的第二格，因为它们加在一起大小也不超过一个块，所以他们三个变量在内存中的结构就是这样的，因为有内存分块对齐，所以最后出来的结果是8，而不是6，因为后面两个格子其实也算是被用了。

    再次看看X2，如图所示

    X2中第一个类型是Char类型，它占用一个字节，所以它首先排在第一组块的第一个格子里面，第二个是Int类型，它占用4个字节，第一组块已经用掉一格，还剩3格，肯定是无法放下第二Int类型的，因为要考虑到对齐，所以不得不把它放到第二个组块，第三个类型是Char类型，跟第一个类似。所因为有内存分块对齐，我们的内存就不是8个格子了，而是12个了。


再看看X3，如下图所示：

   关于X3的说明其实跟X1是类似的，只不过它把两个1个字节的放到了前面，相信看了前面两种情况的说明这里也是很容易理解的。

reference:http://www.cppblog.com/cc/archive/2006/08/01/10765.html

struct T
{
	char ch;
	int d ;
};
int main()
{
    int a=0;
    char c0;
    double f=0.0;
    int a1[5]={0};
    char str[]="abcd";
    char c='s';

    printf("%d\n",sizeof(a)); ///4
    printf("%d\n",sizeof(c0));///1
    printf("%d\n",sizeof(f)); ///8

    printf("T=%d\n",sizeof(T));  ///8  考虑字节对齐
    printf("a1=%d\n",sizeof(a1)); ///20
    printf("%d\n",sizeof(str));   ///5
    printf("%d\n",strlen(str));  ///4
    printf("%d\n",sizeof(c));   ///1
    printf("%d\n",sizeof(char)); ///1
    printf("%d\n",sizeof(int));  ///4
    printf("%d\n",sizeof('0'));   ///1 char型
    printf("%d\n",sizeof('10'));   ///int 整形

return 0;
}

上面是在codeBlocks中64位机上的sizeof输出结果，最后两个输出结果有点奇怪，，，

各成员变量在存放的时候根据在结构中出现的顺序依次申请空间，同时按照上面的对齐方式调整位置，空缺的字节VC会自动填充。同时VC为了确保结构的大小为结构的字节边界数（即该结构中占用最大空间的类型所占用的字节数）的倍数，所以在为最后一个成员变量申请空间后，还会根据需要自动填充空缺的字节。

struct MyStruct

{

    double doub;

    char ch;

    int i;

};

    为上面的结构分配空间的时候，VC根据成员变量出现的顺序和对齐方式，先为第一个成员doub分配空间，其起始地址跟结构的起始地址相同（刚好偏移量0刚好为sizeof(double)的倍数），该成员变量占用sizeof(double)=8个字节；接下来为第二个成员ch分配空间，这时下一个可以分配的地址对于结构的起始地址的偏移量为8，是sizeof(char)的倍数，所以把ch存放在偏移量为8的地方满足对齐方式，该成员变量占用sizeof(char)=1个字节；接下来为第三个成员i分配空间，这时下一个可以分配的地址对于结构的起始地址的偏移量为9，不是sizeof(int)=4的倍数，为了满足对齐方式对偏移量的约束问题，VC自动填充3个字节（这三个字节没有放什么东西），这时下一个可以分配的地址对于结构的起始地址的偏移量为12，刚好是sizeof(int)=4的倍数，所以把i存放在偏移量为12的地方，该成员变量占用sizeof(int)=4个字节；这时整个结构的成员变量已经都分配了空间，总的占用的空间大小为：8+1+3+4=16，刚好为结构的字节边界数（即结构中占用最大空间的类型所占用的字节数sizeof(double)=8）的倍数，所以没有空缺的字节需要填充。所以整个结构的大小为：sizeof(MyStruct)=8+1+3+4=16，其中有3个字节是VC自动填充的，没有放任何有意义的东西。

    下面再举个例子，交换一下上面的MyStruct的成员变量的位置，使它变成下面的情况：

struct MyStruct

{

    char ch;

    double doub;

    int i;

};

    在VC环境下，可以得到sizeof(MyStruct)为24。结合上面提到的分配空间的一些原则，分析下VC怎么样为上面 的结构分配空间:

struct MyStruct

{

    char ch;        // 偏移量为0，满足对齐方式，ch占用1个字节；

    double doub;    //下一个可用的地址的偏移量为1，不是sizeof(double)=8 

                    //的倍数，需要补足7个字节才能使偏移量变为8（满足对齐 

                    //方式），因此VC自动填充7个字节，doub存放在偏移量为8 

                    //的地址上，它占用8个字节。 

    int i;            //下一个可用的地址的偏移量为16，是sizeof(int)=4的倍

                    //数，满足int的对齐方式，所以不需要VC自动填充，i存 

                    //放在偏移量为16的地址上，它占用4个字节。 

};                    //所有成员变量都分配了空间，空间总的大小为1+7+8+4=20，不是结构 

                    //的节边界数（即结构中占用最大空间的类型所占用的字节数sizeof 

                    //(double)=8）的倍数，所以需要填充4个字节，以满足结构的大小为 

                    //sizeof(double)=8的倍数。

    所以该结构总的大小为：sizeof(MyStruct)为1+7+8+4+4=24。其中总的有7+4=11个字节是VC自动填充的，没有放任何有意义的东西。

    VC对结构的存储的特殊处理确实提高CPU存储变量的速度，但是有时候也带来了一些麻烦，我们也屏蔽掉变量默认的对齐方式，自己可以设定变量的对齐方式。

reference:http://www.cnblogs.com/ComputerG/archive/2012/02/02/2335611.html    (good)