char[0], sizeof和struct padding

ilex

好帖子；


一般都是不吃亏不长记性的。

就像新员工来后，很鄙视我们代码中的一些做法，认为这个那个运行效率低，

搞了几次，出了几个BUG后，就知道学乖了。

当然，楼主肯定是个老鸟，不是新员工。

xman0017

char data[0];

改为： char*data

应该没有问题

zx_wing

原帖由 yhb04 于 2009-5-17 19:11 发表
typedef struct {
        int head;
        int size; //指明整个包的长度
     char reply;
        char data[1];
} packet;

packet*  cmd = malloc (sizeof(packet) + 20); //多空几个字节无所谓
...

呵呵，小伙子水平不高口气不小。
首先char data[1]解决不了问题，char data[0]不是C标准，前者是C标准而已。
其次，gcc手册没有对零长数组有太多解释，这本来就是个简单的东西。其次这里的内存布局和是不是零长数组没有关系，把char data[0]换成char data是一样。不过你还是说对了，这是内存布局的问题引起的，具体的说着取决于padding的位置。我怀疑你是猜的，因为编译手册是不会讲这个内存布局的，不同的架构对padding有不同的规定。这个是架构的ABI或software conventions规定的。例如

1. 
   
2. struct example {
   
3.         int a;
   
4.         int b;
   
5.         char c;
   
6.         char d;
   
7. };
   
8. 
   
9. sizeof (struct example) == 12;
   
10. offsetof (struct example, d) == 9;

复制代码

恍然一看似乎offsetof在计算偏移的时候没有算padding，实际不然，padding在最后两个字节，所以上面例子的内存布局是：
a(4 bytes) b(4 bytes) c(1 byte) d(1 byte) padding (2 bytes)
对于我用的 x86平台，这个其在ABI手册有规定：

Each member is assigned to the lowest available offset with the appropriate
alignment. This may require internal padding, depending on the previous
member.

这里d前面的c同样是char类型，所以两者之间没有padding，而根据另一条规定：

A structure¡¯s size is increased, if necessary, to make it a multiple of the
alignment. This may require tail padding, depending on the last member.

把padding放在了最后，即tail padding。

如果有一种架构使用不同的padding方式，例如：
a(4 bytes) b(4 bytes) c(1 byte) padding (1 byte) d(1 byte) padding (1 byte)
则offsetof (struct example, d) == 10;
gcc关于零长数组的章节有点长，并且和这里的内容没有什么关系，就不贴了。我估计你也没看过，它的标题是“5.14 Arrays of Length Zero”，不信你可以去看看。

[ 本帖最后由 zx_wing 于 2009-5-17 23:15 编辑 ]

mik

zx_wing 就别和他较劲了。正如你说他的：水平不高口气不小。
偶领教过，说话牛哄哄的，特拽

tyc611

如果是我，我会分为消息头和数据两部分

zx_wing

原帖由 baicj 于 2009-5-17 19:58 发表

如同你所说, 问题在于daemon端用sizeof计算的struct head大小, 而library端用offsetof计算struct head大小, 两者结果不一致. 修改位data[1]不会有帮助, 解决问题的办法也正如你的代码, 统一用offsetof来代替s ...

是的，关键问题在于offsetof和sizeof计算得来head大小不一样。
我刚才google了一下发现问这个问题的人还很多，但没人回答，下面这个帖子里的老外就以为对齐出错了：
http://connect.microsoft.com/Vis ... x?FeedbackID=253387

实际上问题仅仅是我们错误的假设的padding的位置而已。

zx_wing

原帖由 mik 于 2009-5-17 22:50 发表
zx_wing 就别和他较劲了。正如你说他的：水平不高口气不小。
偶领教过，说话牛哄哄的，特拽

呵呵，也不是较劲。只是借着话题顺便把问题讲清楚了，供遇到同样问题或以后遇到同样问题的朋友借鉴。

yhb04

原帖由 zx_wing 于 2009-5-17 22:29 发表

呵呵，小伙子水平不高口气不小。
首先char data[1]解决不了问题，char data[0]不是C标准，前者是C标准而已。
其次，gcc手册没有对零长数组有太多解释，这本来就是个简单的东西。其次这里的内存布局和是不是 ...

猜不猜不是你说了算，现在写一个C编译器也不是天方夜谈，你对结构体的布局不了解并不表示别人也这样。装B不是靠发帖数多。您爱装就继续装吧。
对了，GCC的零长数组满足不了您的需求，倒是C99 里的东西可以符合你的要求。不过现在不知道有那个编译器是些了它没有。

yhb04

原帖由 mik 于 2009-5-17 22:50 发表
zx_wing 就别和他较劲了。正如你说他的：水平不高口气不小。
偶领教过，说话牛哄哄的，特拽

还有你，倒是真的水平不高，口气不小。
上次花了1个小时还找了个错误的源文件
论抬杠您水平确实不赖。有个版主头衔说话就这么吊。

sep

学习，lz的贴都是好贴