Hafızaya şablon, xor ve işaretçiler kullanılarak yapılan çok fazla değiş tokuş

Question

Bu tür bir takas uygulamasını kullanmanın en büyük tehditleri nelerdir? İplik güvenliği ve zayıf optimizasyonun yanı sıra. Ne zaman başarısız olur (counterexample)?

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); 
    } 
} 

dilbilgisi hatalar için yazık

, ve yanlış (=

Answer 1

T, bu başarısız olacak üyelerinin başka bir işaretçi veya referans bir üye ihtiva eder (niyet varsayılarak her zaman noktası/atıfta işaretçi/başvuru elemanı için olan o örneğe ait veri üyesi).

struct foo 
{ 
    foo() : i(), ref_i(i), ptr_i(&i) {} 
    int i; 
    int& ref_i; 
    int *ptr_i; 
}; 

iki foo amaçları, f1 & f2f2.i ve tersi/noktası sevk edecektir, f1.ref_i ve f1.ptr_i değiştirildikten sonra, swapViaMemory kullanılarak takas söylemek. Ayrıca, referans üye durumunda, bir referansı yeniden yerleştirmek yasadışı olduğu için tanımlanmamış bir davranışı çağırır.

Answer 2

Bu niyet taşıma başarısız olur.

kod başlıca amacıdır

.

template<typename T> 
    typename std::enable_if<std::is_pod<T>, void>::type 
    swapViaMemory(T& left, T& right) 
{ 
    using std::swap; 

    swap(left, right); 
} 

Answer 3

korkunç olmanın yanı sıra sol ve sağdaki işaret aynı adrese atanırsa başarısız olur.

a^a = 0 
0^a = a 
a^a = 0 

Answer 4

Bu tanımsız davranış olmadığını çağırır:(

left == right ise (bu 'hile' için kullanmak budur) ve 'a' Sonra yapacak içeren 1 bayt varlık olduğunu varsayalım a^a = 0 yana T, kolayca kopyalanabilen bir tip değildir.

Answer 5

ki için:

struct B{ 
    virtual ~B() {} 
}; 
struct X : B 
{ 
    int x; 
    ~X() { std::cout << x; } 
}; 
struct Y : B 
{ 

}; 

//... 
X x = X(); 
Y y; 
swapViaMemory<B>(x,y);