只能说,有些错误实在太隐蔽了,刚觉得自己会考虑如何更简洁优化的写出程序了,但是反而会因为自己的进一步而犯进一步的错误(但这是另人高兴的错误是不哈哈,不能因为怕犯错误而不向前),例子来自经典教材
看似两个一样的程序,自加类常回出现这种错觉
void twiddle1(int* xp, int * yp){
*xp += *yp;*xp += *yp;
}void twiddle2(int* xp, int * yp){
*xp += 2* *yp;
}乍一看,都是 *xp = *xp + 2* *yp; 啊,是不是可用twiddle2来作为twiddle1的优化呢,你看,twiddle1需要6次存储器引用,而twiddle2只需要三次,于是就优化了,这是一个自加类常容易被眼睛欺骗的一类错误,错误在于如果*xp和*yp相等的话(指向同一个位置),两个函数就不一样了啊,第一个等于自身四倍,第二个等于自身三倍。根本原因是存储器别名引用导致的问题。同理还有一个程序void swap(int* xp, int* yp){
*xp = *xp + *yp;*yp = *xp - *yp;*xp =*xp - *yp;
}//看似可以交换,但是如果xp,yp指向同一个值,经过此程序后被赋值为0 了再补一个:int f();int f1(){
return f()+f() +f() +f();
}int f2(){
return 4*f();
}看着两个函数一样,当遇到自加加这种时,又出问题了如有个全局变量int counter = 0;int f();int f1(){return f()+f() +f() +f();}int f2(){return 4*f();}f1 = 0 + 1 +2 +3 = 6;f2 = 0;
哎,路漫漫其修远兮,吾将上下而求索。。。。。
原文:http://blog.csdn.net/u013016027/article/details/40833823