[已解决]这个结构体的对齐看了几遍都没看懂

超凡天赐

失传的C结构体打包技艺（转）
http://bbs.fishc.com/thread-83418-1-1.html
(出处: 鱼C论坛)
尤其是后来为什么结构体内的变量，位置发生变化，就节省内存了呢？ “结构体尾填充的通用法则是：编译器将会对结构体进行尾填充，直至它的跨步地址。这条法则决定了sizeof()的返回值。”这句话到底怎么理解“
@人造人 @zealstar @polt @四十二 @qq1242009750

最佳答案

月排行榜 / 总排行榜

人造人

2017-4-29 22:38:51

超凡天赐 发表于 2017-4-29 22:17
我的问题其实是这个，为什么结构体仅仅通过变换位置就可以节省内存？代码如下

运行结果

http://blog.csdn.net/liukun321/article/details/6974282

原则一：结构体中元素是按照定义顺序一个一个放到内存中去的，但并不是紧密排列的。从结构体存储的首地址开始，每一个元素放置到内存中时，它都会认为内存是以它自己的大小来划分的，因此元素放置的位置一定会在自己宽度的整数倍上开始（以结构体变量首地址为0计算）。


原则二：在经过第一原则分析后，检查计算出的存储单元是否为所有元素中最宽的元素的长度的整数倍，是，则结束；若不是，则补齐为它的整数倍。

跳转到最佳答案楼层

人造人

#include <stdio.h>

struct foo1
{
        char *p;
        char c;
        long x;
};

int main(void)
{
        printf("char * size: %d\n", sizeof(char *));
        printf("char size: %d\n", sizeof(char));
        printf("long size: %d\n", sizeof(long));

        putchar('\n');

        printf("foo1 size: %d\n", sizeof(struct foo1));

        putchar('\n');

        struct foo1 tmp;

        printf("&tmp = 0x%X\n", &tmp);
        printf("&tmp.p = 0x%X\n", &tmp.p);
        printf("&tmp.c = 0x%X\n", &tmp.c);
        printf("&tmp.x = 0x%X\n", &tmp.x);

        return 0;
}

char * size: 4
char size: 1
long size: 4

foo1 size: 12

&tmp = 0x1DFE4C
&tmp.p = 0x1DFE4C
&tmp.c = 0x1DFE50
&tmp.x = 0x1DFE54
请按任意键继续. . .

tmp的地址是 0x1DFE4C
因为p是tmp的第一个元素，所以tmp.p的地址也是 0x1DFE4C
因为p是char *类型  ，  大小是4个字节，所以tmp.c的地址从 0x1DFE50 开始（0x1DFE4C + 4 = 0x1DFE50）
因为c是char 类型 ，大小是1个字节，所以tmp.x从0x1DFE51开始？
不，因为要对齐，所以tmp.x从 0x1DFE54开始（4字节对齐）
0x1DFE51   0x1DFE52     0x1DFE53    这3个内存空间就浪费了

你现在能明白为什么 foo1 size: 12 了吗？

人造人

反汇编如下

22:         struct foo1 tmp;
    23:
    24:         printf("&tmp = 0x%X\n", &tmp);
00214CDC  lea         eax,[ebp-14h]  
00214CDF  push        eax  
00214CE0  push        216CF0h  
00214CE5  call        00211352  
00214CEA  add         esp,8  
    25:         printf("&tmp.p = 0x%X\n", &tmp.p);
00214CED  lea         eax,[ebp-14h]  
00214CF0  push        eax  
00214CF1  push        216D00h  
00214CF6  call        00211352  
00214CFB  add         esp,8  
    26:         printf("&tmp.c = 0x%X\n", &tmp.c);
00214CFE  lea         eax,[ebp-10h]  
00214D01  push        eax  
00214D02  push        216E30h  
00214D07  call        00211352  
00214D0C  add         esp,8  
    27:         printf("&tmp.x = 0x%X\n", &tmp.x);
00214D0F  lea         eax,[ebp-0Ch]  
00214D12  push        eax  
00214D13  push        216E40h  
00214D18  call        00211352  
00214D1D  add         esp,8  
    28:
    29:         return 0;
00214D20  xor         eax,eax  

超凡天赐

人造人 发表于 2017-4-29 21:12
tmp的地址是 0x1DFE4C
因为p是tmp的第一个元素，所以tmp.p的地址也是 0x1DFE4C
因为p是char *类 ...

我的问题其实是这个，为什么结构体仅仅通过变换位置就可以节省内存？代码如下

#include <stdio.h>
struct foo7 {
    char c;
    struct foo7 *p;
    short x;
};
struct foo8 {
    struct foo8 *p;
    short x;
    char c;
};
int main()
{
    printf("%lu\n",sizeof(struct foo7));
    printf("%lu\n",sizeof(struct foo8));
    struct foo7 f7,f8;
    printf("%p\n",&f7.c);
    printf("%p\n",&f7.p);
    printf("%p\n",&f7.x);
    printf("%p\n",&f8.p);
    printf("%p\n",&f8.x);
    printf("%p\n",&f8.c);
    return 0;
}

运行结果

24
16
0x7fff5fbff710
0x7fff5fbff718
0x7fff5fbff720
0x7fff5fbff700
0x7fff5fbff708
0x7fff5fbff6f8

超凡天赐

人造人 发表于 2017-4-29 21:15
反汇编如下

22:         struct foo1 tmp;

汇编我刚刚学，现在还看不太懂。

人造人

超凡天赐 发表于 2017-4-29 22:17
我的问题其实是这个，为什么结构体仅仅通过变换位置就可以节省内存？代码如下

运行结果

http://blog.csdn.net/liukun321/article/details/6974282

原则一：结构体中元素是按照定义顺序一个一个放到内存中去的，但并不是紧密排列的。从结构体存储的首地址开始，每一个元素放置到内存中时，它都会认为内存是以它自己的大小来划分的，因此元素放置的位置一定会在自己宽度的整数倍上开始（以结构体变量首地址为0计算）。


原则二：在经过第一原则分析后，检查计算出的存储单元是否为所有元素中最宽的元素的长度的整数倍，是，则结束；若不是，则补齐为它的整数倍。

超凡天赐

人造人 发表于 2017-4-29 22:38
http://blog.csdn.net/liukun321/article/details/6974282

原则一：结构体中元素是按照定义顺序一个一 ...

这篇文章解释的吼啊

人造人

超凡天赐 发表于 2017-4-29 22:56
这篇文章解释的吼啊

能看懂吧

超凡天赐

人造人 发表于 2017-4-29 22:38
http://blog.csdn.net/liukun321/article/details/6974282

原则一：结构体中元素是按照定义顺序一个一 ...

甲鱼老湿的那篇文章解释的不好，太啰嗦了，而且神翻译让我逻辑混乱。

超凡天赐

人造人 发表于 2017-4-29 23:05
能看懂吧

懂了懂了

人造人

超凡天赐 发表于 2017-4-29 23:14
懂了懂了

嗯

zealstar

很早之前就有这样的感受，变量和变量会对齐，然后浪费一定的空间。
不过已经习以为常，没有深究的问题。

Caleb

谢谢分享，学习了

四十二

对齐一定有浪费的问题，意义在于方便管理空间里的数据，可以了解一下存储结构的分页机制，这也是快速检索必须的。

我跑题了，因为来晚了，扯点别的，给楼主捧场