交换2个变量与临时变量

选择自 ken98091 的 Blog 

交换2个变量与临时变量

先来看看最常见的交换方法

template <class T>
void swap1( T & a,T & b)
{
  T temp=a;
  a=b;
  b=temp;
}

template <class T>
void swap2( T & a,T & b)
{
  a=a ^ b;
  b=a ^ b;
  a=a ^ b;
}

template <class T>
void swap3( T & a,T & b)
{
  a=a + b;
  b=a - b;
  a=a - b;
}

在swap1中,可以看出,代码非常的简洁,那怕是初学者,都能一眼看出来它的作用
但是,由于它用到了一个临时变量,这意味着要多消耗一些内存,,尽管只是栈空间
swap2中,巧妙的运用了异或运算来达到交换的目的
代码虽然也只有三行,但不是一眼能看了它的作用,这从易读性来讲,
比swap1要差很多,但是它省下了一个临时变量.虽然只是一个临时变量--占用的内存也可能极少
但作为一个炎黄子孙,一个中华儿女,省吃俭用本来就是我们的美德!!!
swap3与swap2类似,只是由异或运算变成加减法.省吃俭用是我们的美德,那么在此基础上
举一反三更是体现了中华民族的精神所在!!!

可是.....
请看看我们的函数声明,它的前面有一个template,没错,这是函数模版,这是C++
int i,j;
swapx(i,j);
不管是哪个,都可以通过^_^
ps:swap3中不需要考虑溢出问题,为什么?自己想

再来看看
float f1,f2;
swapx(f1,f2);
怎么样,编译时候遇到麻烦了吧?

再来一个
struct R
{
 long a;
 long b;
}
RECT r1,r2;
swapx(r1,r2);
这次更麻烦了,只有swap1能通过

来到这里,得出一个结论:
从"函数模版"的观点上来讲,只有swap1才是合格的,因为swap2与swap3都不能完全通过所有的类型
换句话来讲,临时变量变成了必须的!!
果然???
不然!!!
以下就是完美的解决代码,也不想多说了,,,
template <class T>
void swapex( T & a,T & b)
{
  __asm
  {
    mov ecx,SIZE T
    mov esi,a
    mov edi,b
    next:
    mov al,[esi]
    mov ah,[edi]
    mov [edi],al
    mov [esi],ah
    inc esi
    inc edi
    loop next
  }
}
这样一来,不管你是传递什么类型或类,都能正确的交换,而且速度是最快的!!!