首页 > 代码库 > 带自加加这一类常会出现的错误

带自加加这一类常会出现的错误

只能说,有些错误实在太隐蔽了,刚觉得自己会考虑如何更简洁优化的写出程序了,但是反而会因为自己的进一步而犯进一步的错误(但这是另人高兴的错误是不哈哈,不能因为怕犯错误而不向前),例子来自经典教材

看似两个一样的程序,自加类常回出现这种错觉

 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;


哎,路漫漫其修远兮,吾将上下而求索。。。。。

带自加加这一类常会出现的错误