Dlaczego std :: swap nie działa na elementach wektora <bool> w Clang / Win?

Mam taki kod:

#include <vector>
#include <utility>

int main()
{
   std::vector<bool> vb{true, false};
   std::swap(vb[0], vb[1]);
}

vector<bool>Pomijając argumenty na temat rozsądku , działało to dobrze:

• Clang dla komputerów Mac
• Visual Studio dla Windows
• GCC dla systemu Linux

Następnie próbowałem zbudować go za pomocą Clanga w systemie Windows i otrzymałem następujący błąd (skrócony):

error: no matching function for call to 'swap'
                                std::swap(vb[0], vb[1]);
                                ^~~~~~~~~

note: candidate function [with _Ty = std::_Vb_reference<std::_Wrap_alloc<std::allocator<unsigned int> > >, $1 = void] not viable: expects an l-value for 1st argument
inline void swap(_Ty& _Left, _Ty& _Right) _NOEXCEPT_COND(is_nothrow_move_constructible_v<_Ty>&&

Dziwi mnie, że wyniki różnią się w zależności od implementacji.

Dlaczego nie działa z Clangiem w systemie Windows?

Standard nie wymaga tego do kompilacji na żadnym zestawie narzędzi!

Po pierwsze, vector<bool>to dziwne, a indeksowanie daje tymczasowy obiekt typu proxy std::vector<bool>::reference, a nie rzeczywisty bool&.

Komunikat o błędzie mówi ci, że nie może powiązać tego tymczasowego z constodwołaniem innym niż wartość w ogólnej template <typename T> std::swap(T& lhs, T& rhs)implementacji.

Rozszerzenia!

Jednak okazuje się, że libstdc ++ definiuje przeciążenie dla std::swap(std::vector<bool>::reference, std::vector<bool>::reference), ale ten jest rozszerzeniem standardu (lub, jeśli jest tam, nie mogę znaleźć żadnych dowodów na to).

Libc ++ też to robi .

Domyślam się, że implementacja stdlib programu Visual Studio, której nadal używasz, nie robi tego , ale aby dodać obrażenia do obrażeń , możesz powiązać tymczasowe odniesienia do wartości z VS (chyba że używasz trybu zgodności), więc standardowa, „ogólna” std::swapfunkcja działa do momentu zastąpienia kompilatora VS bardziej restrykcyjnym kompilatorem Clanga.

W rezultacie polegałeś na rozszerzeniach we wszystkich trzech łańcuchach narzędzi, dla których działał on dla Ciebie, a kombinacja Clang na Windows jest jedyną faktycznie wykazującą ścisłą zgodność.

(Moim zdaniem te trzy łańcuchy narzędzi powinny to zdiagnozować, więc cały czas nie wysyłałeś nieprzenośnego kodu.)

Co teraz?

Dodanie własnej specjalizacji std::swapi może być kuszące std::vector<bool>::reference, ale nie można tego robić w przypadku standardowych typów; w rzeczywistości byłoby to sprzeczne z przeciążeniami, które libstdc ++ i libc ++ zdecydowały się dodać jako rozszerzenia.

Aby być przenośnym i zgodnym, należy zmienić kod .

Być może dobry, staromodny:

const bool temp = vb[0];
vb[0] = vb[1];
vb[1] = temp;

Lub skorzystaj ze specjalnej statycznej funkcji składowej, która robi dokładnie to, co chciałeś :

std::vector<bool>::swap(vb[0], vb[1]);

Również pisownia w następujący sposób:

vb.swap(vb[0], vb[1]);