Краткий ответ

std::vector<bool> — специальная оптимизация std::vector, в которой элементы обычно хранятся упакованными по битам. Поэтому v[0] возвращает не настоящий bool&, а специальный прокси-объект std::vector<bool>::reference.

В выражении bool x = v[0] прокси преобразуется в обычное значение bool, поэтому x не связан с контейнером. В выражении auto y = v[0] сохраняется тип прокси, и присваивание y = true изменяет соответствующий бит в v.

Исторический контекст

Обычный bool часто занимает не один бит, а минимальную адресуемую единицу памяти. Специализация std::vector<bool> появилась как способ хранить последовательность логических значений компактнее: несколько значений размещаются внутри одного машинного слова или байта.

Такая экономия памяти требует дополнительного слоя абстракции. Отдельный бит нельзя вернуть как обычную ссылку bool&, поэтому контейнер возвращает объект, имитирующий ссылку и умеющий читать или изменять нужный бит.

Постановка проблемы

Код, использующий auto или шаблоны, может незаметно сохранить прокси вместо значения. Это приводит к неожиданному изменению контейнера, отличиям от поведения std::vector<int> и проблемам при передаче элементов в функции, ожидающие настоящую ссылку или указатель на bool.

Неверное предположение о типе элемента особенно опасно в обобщённом коде: визуально v[i] выглядит как обычный bool, но его семантика зависит от контекста и типа переменной, в которую результат сохраняется.

Подробное решение

У std::vector<bool> выражение v[0] имеет прокси-тип, обычно обозначаемый как std::vector<bool>::reference. Его объект хранит достаточно информации, чтобы обратиться к конкретному биту: например, указатель на блок памяти и маску нужного бита.

При чтении прокси неявно преобразуется в bool. Поэтому bool x = v[0] считывает текущее значение, а последующее x = true меняет только локальную переменную.

auto выводит фактический тип выражения, а не результат его неявного преобразования. Поэтому auto y = v[0] создаёт копию прокси. Оператор присваивания этого прокси устанавливает или сбрасывает бит в исходном контейнере.

#include <iostream>
#include <vector>

int main() {
    std::vector<bool> v{false};
    bool value = v[0];
    auto proxy = v[0];

    value = true;
    std::cout << v[0] << ' '; // 0

    proxy = true;
    std::cout << v[0];         // 1
}

Прокси — это не настоящая ссылка. Например, получить из std::vector<bool> обычный bool* нельзя, а auto& ref = v[0] обычно некорректно, потому что operator[] возвращает временный прокси-объект. Для явного сохранения такого объекта можно использовать auto&&, но это обычно ухудшает читаемость.

Практическое правило: если требуется независимое логическое значение, используйте bool value = v[i]. Если нужен переносимый обобщённый код, не предполагайте, что Container<T>::operator[] всегда возвращает T&; корректнее работать через auto, decltype и требования концепций контейнера.

Преимущество vector<bool> — существенно меньшее потребление памяти. Компромиссы — прокси-семантика, дополнительные операции чтения и записи битов и несовместимость с частью кода, которому нужны обычные ссылки или указатели. Если компактность несущественна, std::vector<unsigned char> или std::vector<bool>-независимая структура данных часто проще для интеграции.

Ситуация из практики

В модуле хранения флагов разработчик заменил std::vector<unsigned char> на std::vector<bool>, чтобы уменьшить объём больших таблиц признаков. После этого шаблонный код с auto item = flags[index] стал изменять исходную таблицу при присваивании item.

Вариант с сохранением auto использует память эффективно, но сохраняет прокси и требует явно учитывать его семантику. Вариант с bool item = flags[index] безопасен для локальных копий, однако не решает задачи, если код должен универсально изменять элементы контейнера.

Вариант с возвратом bool из обобщённого интерфейса устраняет утечку деталей контейнера, но для изменения элемента нужен отдельный метод или присваивание через итератор. В рассматриваемом случае интерфейс разделили на операции чтения и записи: чтение возвращает bool, запись принимает индекс и значение. Это сохранило компактное хранение и исключило неожиданные изменения через копии.

Что кандидаты часто упускают

Вопрос: Что выведет decltype(v[0]) для std::vector<bool>?

Ответ: Это будет прокси-тип, возвращаемый operator[], а не bool&. Важно различать decltype(v[0]) и decltype((v[0])): во втором случае учитывается категория выражения, но результат всё равно не превращается в настоящий bool&, поскольку сам контейнер не хранит отдельный адресуемый объект bool для каждого элемента.
Вопрос: Почему std::vector<bool> нельзя безусловно передать в функцию, принимающую bool&?

Ответ: Элемент контейнера представлен прокси-объектом, а не объектом типа bool. Прокси умеет преобразовываться в bool для чтения, но это преобразование создаёт значение и не даёт обычной изменяемой ссылки. Для функций, которым требуется bool&, нужно сначала получить отдельную переменную bool, а результат при необходимости записать обратно.
Вопрос: Почему замена auto y = v[0] на auto y = static_cast<bool>(v[0]) меняет семантику?

Ответ: Явное приведение заставляет немедленно выполнить преобразование прокси в значение bool. После этого y имеет тип bool и не связан с контейнером, поэтому y = true изменяет только локальную копию. Такой приём полезен в обобщённом коде, когда нужно гарантированно получить значение, а не объект, потенциально связанный с контейнером.