题目截图:
解析 :
在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;
}