🚀 go-pugleaf

In article <3vtat5INNovr@hubble.asymetrix.com>,
Michael Taylor <michaelt@asymetrix.com> wrote:
 >fenster@shadow.cs.columbia.edu (Sam Fenster) wrote:
 >>a2675528@athena.rrz.Uni-Koeln.DE (Paul Sponagl) writes:
 >>> or do like that
 >>>
 >>> 	inline template < class T > void swap(T& a, T& b)
 >>> 	{
 >>> 		a ^=b; b^=a;a ^=b;
 >>> 	}
 >>
 >>This sets `a' and `b' to zero if they refer to the same object.
 >
 >Wrong!
 >
 >Let a = 1001110
 >and b = 1001110
 >
 >a ^= b; // -> a = 0
 >b ^= a; // -> b = 1001110
 >a ^= b; // -> a = 1001110
 >
 >
 >          Michael Taylor
 >	    michaelt@asymetrix.com

Wrong! You have shown that it works if a and b have the same value.
If a and b REFER TO THE SAME OBJECT, (e.g. swap(A[i],A[j]) where i == j)
then a ^= b has the same effect as a ^= a; it sets a to zero.

 

-- 
Kevin Cline