一道题 --- 学C就要关注更底层的东西

ethantsien

pmerofc 发表于 2012-10-15 11:00
谁说没判断
(p ? *p : 0);

具体看9楼

ethantsien

回复 12# pmerofc


   编译时不会出错，运行时有BUG，有纯在p是空指针，会运行*p的BUG。

   证据是，现代编译器对于简单算数运算的三目运算符，都是编译成数据条件转移指令，而不是编译成iIF-ELSE的控制条件转移指令，这也就是为什么c语言里面三目运算符比IF-ELSE快的原因

zylthinking

ethantsien 发表于 2012-10-15 11:06
回复 12# pmerofc

你干嘛不编译一下， 然后看看编译出的代码到底是不是你臆测的呢

liuiang

什么编译器？

ethantsien

pmerofc 发表于 2012-10-15 12:51
回复 13# ethantsien

如果出错的话，我认为编译器错了

就像讨论溢出是一个道理，溢出的代码，编译期间也不会报错，运行时才会有BUG。

这段代码在运行时，是会有BUG的，如果不学习编译器的工作方式，汇编指令和CPU体系结构的话，很容易写出这种代码。

相信大家都觉得这是C的魅力，C吸引人的地方，需要我们对整个计算机体系结构有深入的了解。

发这道题就一个目的，C博大精深，语法问题，点一下就行，底层和算法的讨论更有意义。

star1983653

没有gcc的环境，用的VS 2010
查看了汇编
int foo(int *p)
{
00F81380  push        ebp  
00F81381  mov         ebp,esp  
00F81383  sub          esp,0C4h  
00F81389  push        ebx  
00F8138A  push        esi  
00F8138B  push        edi  
00F8138C  lea          edi,[ebp-0C4h]  
00F81392  mov         ecx,31h  
00F81397  mov         eax,0CCCCCCCCh  
00F8139C  rep stos    dword ptr es:[edi]  
    return (p ? *p : 0);
00F8139E  cmp         dword ptr [p],0  
00F813A2  je             foo+31h (0F813B1h)  
00F813A4  mov         eax,dword ptr [p]  
00F813A7  mov         ecx,dword ptr [eax]  
00F813A9  mov         dword ptr [ebp-0C4h],ecx  
00F813AF  jmp          foo+3Bh (0F813BBh)  
00F813B1  mov         dword ptr [ebp-0C4h],0  
00F813BB  mov         eax,dword ptr [ebp-0C4h]  
}

实现 p ? *p : 0
汇编里，确实是比较了P是否是空的
程序运行也正常，返回0!
楼主说的不对哈!

ethantsien

star1983653 发表于 2012-10-15 13:24
没有gcc的环境，用的VS 2010
查看了汇编
int foo(int *p)

那就是编译器没优化代码，如果优化的话，会用到cmove，不优化的话就用cmp je