使用这种swap实现的最大威胁是什么？除了线程安全和差的优化.什么时候失败(反例)？
template<typename T>
void swapViaMemory(T& left,T& right) {
if(&left == &right) { return ; }
unsigned int tSize = sizeof(T);
unsigned char* lPtr = reinterpret_cast<unsigned char*>(&left);
unsigned char* rPtr = reinterpret_cast<unsigned char*>(&right);
for(unsigned int i = 0; i < tSize; ++i) {
*(lPtr + i) ^= *(rPtr + i);
*(rPtr + i) ^= *(lPtr + i);
*(lPtr + i) ^= *(rPtr + i);
}
}
解决方法
如果T包含一个成员,该成员是指向另一个成员的指针或引用,则这将失败(假设指针/引用成员的目的是始终指向/引用属于该实例的数据成员).
struct foo
{
foo() : i(),ref_i(i),ptr_i(&i) {}
int i;
int& ref_i;
int *ptr_i;
};
如果有两个foo对象,比如f1&使用swapViaMemory交换f2,交换后,f1.ref_i和f1.ptr_i将引用/指向f2.i,反之亦然.此外,在引用成员的情况下,这会调用未定义的行为,因为重新定位引用是非法的.
