为什么判断结构体相等要这么复杂呢？

MMMIX

原帖由 77h2_eleven 于 2008-7-19 14:25 发表
我是说：为什么可以用 = 赋值，却不可以用 == 判断相等？

因为 C 就是那么规定的。btw，可能他们觉得这种比较不常用，也无法高效的实现。

MMMIX

原帖由 scutan 于 2008-7-19 14:33 发表

对于C语言来说，它的结构体名称其实只是代表它成员变量的第一个元素。

其实最真实的原因是无法对结构体比较提供高效的实现。在 C 中，结构体可能有填充位，这些填充位的值是未定义的，因此结构体的比较就只能是逐个比较其成员，而这种比较方式的效率是很低的(例如碰到很大的结构体)，这和  C 追求的高效背道而驰。另外，由于结构体比较这种需求比较少，强迫编译器去支持就不应该了。

但是结构体赋值就不同了，该操作实际上就是内存拷贝，这个在许多机器上都可以很高效的实现。

btw，这个问题可以看下 ISO C Rationale

MMMIX

原帖由 77h2_eleven 于 2008-7-19 14:44 发表

也就是说，由于赋值可以用memcpy等函数实现，但是比较却不能用memcmp等函数实现。

嗯，就是这么个意思。当然，在具体实现的时候编译器完全可以根据具体 cpu 提供的指令进行优化(如直接生成实现此功能的汇编指令)，像 memcpy 这种函数一般都是经过高度优化的，在某些情况下直接就是用汇编写的。

[ 本帖最后由 MMMIX 于 2008-7-19 16:12 编辑 ]

MMMIX

原帖由 blizzard213 于 2008-7-19 16:10 发表


可以锁帖了

单就你引用的那两句来说，还是蛮有道理的。