Dlaczego std :: swap nie działa z zawartością std :: bitset <n>?

Question

Rozważmy ten test Jednostka:

std::bitset<8> temp("11010100"); 
reverseBitSet(temp); 
CPPUNIT_ASSERT(temp == std::bitset<8>("00101011")); 

Ta implementacja działa:

template<size_t _Count> static inline void reverseBitSet(std::bitset<_Count>& bitset) 
{ 
    bool val; 
    for (size_t pos = 0; pos < _Count/2; ++pos) 
    { 
     val = bitset[pos]; 
     bitset[pos] = bitset[_Count-pos-1]; 
     bitset[_Count-pos-1] = val; 
    } 
} 

Chociaż ten jeden nie:

template<size_t _Count> static inline void reverseBitSet(std::bitset<_Count>& bitset) 
{ 
    for (size_t pos = 0; pos < _Count/2; ++pos) 
    { 
     std::swap(bitset[pos], bitset[_Count-pos-1]); 
    } 
} 

Wynik jest "11011011" zamiast "00101011"

Dlaczego swap robi to źle?

Answer 1

to:

std::swap(bitset[pos], bitset[_Count-pos-1]); 

powinna rzeczywista nie skompilować. operator[] dla std::bitset nie zwraca referencji, zwraca obiekt proxy. Ten obiekt proxy nie jest lwartością, więc nie może się połączyć z T& w std::swap. Zakładam, że kompilacja w ogóle oznacza, że ​​używasz MSVC, który ma rozszerzenie, które pozwala na powiązanie tymczasowych z referencjami nie-const - w którym momencie prawdopodobnie po prostu zamienisz proxy, a nie to, co są w rzeczywistości proxy odnosi się do.

---

Side-uwaga: nazwa _Count zarezerwowana jest w normie, podobnie jak wszelkie inne imię, które zaczyna się od _ następnie literą.