上次,一个同学问我,你知不知道可以不用引入中间变量就可以实现swap?
我说,我知道,可以用加减法或者异或实现,像是这样
void mySwap(int &x,int &y) {
x=x+y;
y=x-y;
x=x-y;
}
或者这样
void mySwap(int &x,int &y) {
x=x^y;
y=x^y;
x=x^y;
}
但这种花式swap没什么意义,而且具有风险,那就是如果参数引用的是同一个变量,将产生错误的结果0。
这种问题叫pointer aliasing
另外C++中也有类似于C语言的restrict关键字,当为参数加上__restrict修饰时,编译器可以据此作出一些编译优化,但是是基于这些指针都是引用不同变量的。如果程序员引用了同样的变量,是undefined behavior(未定义行为)。
来看下面所示的代码片段
int sum(int* __restrict x,int* __restrict y) {
*x=;
*y=;
return *x+*y;// return 7
}
int main () {
int x=,y=;
printf("%d\n",sum(&x,&y));
return ;
}
这代码片段在开不开启编译优化的情况下,都能正确地返回7。
当我们不使用变量y,只使用x,并且不开启任何编译优化的情况下,下面的代码片段能够正确地返回8
int sum(int* __restrict x,int* __restrict y) {
*x=;
*y=;
return *x+*y;// return 8
}
int main () {
int x=;
printf("%d\n",sum(&x,&x));
return ;
}
但是当我们在上述代码片段基础上,一旦开启了编译优化(只需-O级),下面的代码片段将错误地返回7
int sum(int* __restrict x,int* __restrict y) {
*x=;
*y=;
return *x+*y;// return 7
}
int main () {
int x=;
printf("%d\n",sum(&x,&x));
return ;
}
原因很简单,因为编译器根据restrict假设了两个指针指向不同变量,作出了编译优化,在编译阶段便已经知道应当返回7。而我们在实际过程仍然令两个指针指向同一变量,这是未定义行为导致的结果错误。