a ^= b ^= a ^= b;

АТ>a ^= b ^= a ^= b;
АТ>

b ^= a; a ^= b; b ^= a;

a = a(+)b   a1 = a0+b0-O
b = a(-)b   b1 = a1-b0   = a0+b0-O-b0   = a0-O
a = a(-)b   a2 = a1-b1   = a0+b0-O-a0+O = b0

где (+), (-) - операции сложения по модулю N
O - величина переполнения, принимает значения 0 или N (что эквивалентно 0).

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

template <class T>
inline void swap_dword(T& a, T& b)
{
  assert(sizeof(T)) == 4;
  swap_integer(*(long*)(void*)(&a), *(long*)(void*)(&b));
}

template <class T>
inline void swap_qword(T& a, T& b)
{
  assert(sizeof(T)) == 8;
  swap_integer(*(long long*)(void*)(&a), *(long long*)(void*)(&b));
}

// специализации для вещественных чисел
// используют обобщенный механизм (а не целочисленный)
inline void swap_integer(float& a, float& b)
{
  swap_dword(a, b);
}

inline void swap_integer(double& a, double& b)
{
  swap_qword(a, b);
}

double x1 = 1.1, x2 = 2.5;

double foo(double &a)
{
    __try {
        return a;
    }
    __finally
    {
        a = x1;
    }
}

x1 = foo(x2);

typedef unsigned char BYTE, *PBYTE;

inline void swap_bytes(BYTE &a, BYTE &b)
{
 b ^= a; a ^= b; b ^= a;
}

template<typename A>
void swap(A &a, A &b)
{
 PBYTE pa = reinterpret_cast<PBYTE>(&a);
 PBYTE pb = reinterpret_cast<PBYTE>(&b);

 for(int i = 0; i < sizeof(A); ++i)
  swap_bytes(pa[i], pb[i]);
}