家庭作业 3.57

题目截图： 

解析 ：

在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;

}

 

转载于:https://www.cnblogs.com/L1nke/p/4914505.html