题目截图: 

解析 :

在3.6.6中我们知道不是所有的条件表达式都可用条件传送来编译,最重要的是,我们给出的抽象代码会对then-expr和else-expr

都求值,但如果表达式中任意一个可能产生错误条件或者副作用,就会导致非法行为。此段代码的汇编代码如下:

movl   $0, %eax

testl   %edx, %edx 

cmovne (%edx), %eax 

这个实现是非法的,因为即使当测试为假时,cmovne指令对xp的间接引用还是发生了,导致了一个间接引用空指针的错误。

答案:

  xp?*xp:0这个语句是不能被编译成条件传送语句的。因为如果是条件传送语句,那么不论xp为什么,*xp都会被计算。  我们要写一

个和该功能完全一样的能编译成条件传送语句的函数。 于是要想办法不使用*xp,而使用一个替代的指向0的非空指针。

int cread_alt(int *xp) 

{

int t = 0;

int *p = xp?xp:&t;

return *p;

}