std::vector<bool>

template<
    class Allocator
> class vector<bool, Allocator>;

std::vector<bool> — это специализация std::vector для типа bool, которая может быть реализована с эффективным использованием памяти.

Способ, которым std::vector<bool> обеспечивает эффективное использование памяти (а также наличие такой оптимизации) определяется реализацией. Один из возможных способов оптимизации — объединение элементов вектора таким образом, чтобы каждый элемент занимал один бит вместо sizeof(bool) байт.

std::vector<bool> ведёт себя подобно std::vector, но для эффективного использования памяти он:

• Не обязательно хранит свои элементы в виде непрерывного массива.
• Предоставляет класс std::vector<bool>::reference для доступа к отдельным битам. В частности, объекты этого класса возвращаются по значению методом operator[].
• Не использует std::allocator_traits::construct для создания значений битов.
• Не гарантирует, что разные элементы одного контейнера можно изменять одновременно из разных потоков.

Типы-члены

Функции-члены

Функции, не являющиеся членами

Вспомогательные классы

Руководства по выводу аргументов шаблона (C++17)

Примечания

Если размер битового набора известен во время компиляции, можно использовать std::bitset, предоставляющий более широкий набор функций-членов. Кроме того, boost::dynamic_bitset существует как альтернатива std::vector<bool>.

Поскольку представление может быть оптимизировано, std::vector<bool> не обязательно соответствует всем требованиям Container или SequenceContainer. Например, поскольку std::vector<bool>::iterator определяется реализацией, он может не удовлетворять требованиям LegacyForwardIterator. Использование таких алгоритмов, как std::search, требующих LegacyForwardIterators, может привести к ошибкам во время компиляции или выполнения.

Версия vector из Boost.Container не специализируется для bool.

Пример

#include <cassert>
#include <initializer_list>
#include <iostream>
#include <vector>

void println(auto rem, const std::vector<bool>& vb)
{
    std::cout << rem << " = [";
    for (std::size_t t{}; t != vb.size(); ++t)
        std::cout << (t ? ", " : "") << vb[t];
    std::cout << "]\n";
}

int main()
{
    std::vector<bool> v1; // creates an empty vector of boolean values
    println("1) v1", v1);

    std::vector<bool> v2{0, 1, 1, 0, 1}; // creates filled vector
    println("2) v2", v2);

    v1 = v2; // copies v2 to v1
    println("3) v1", v1);

    assert(v1.size() == v2.size()); // checks that v1 and v2 sizes are equal
    assert(v1.front() == false); // accesses first element, equivalent to:
    assert(v1[0] == false);
    assert(v1.back() == true); // accesses last element, equivalent to:
    assert(v1[v1.size() - 1] == true);

    v1 = {true, true, false, false}; // assigns an initializer list
    println("4) v1", v1);

    v1.push_back(true); // adds one element to the end
    println("5) v1", v1);

    v1.pop_back(); // removes one element from the end
    println("6) v1", v1);

    v1.flip(); // flips all elements
    println("7) v1", v1);

    v1.resize(8, true); // resizes v1; new elements are set to “true”
    println("8) v1", v1);

    v1.clear(); // erases v1
    assert(v1.empty()); // checks that v1 is empty
}

1) v1 = []
2) v2 = [0, 1, 1, 0, 1]
3) v1 = [0, 1, 1, 0, 1]
4) v1 = [1, 1, 0, 0]
5) v1 = [1, 1, 0, 0, 1]
6) v1 = [1, 1, 0, 0]
7) v1 = [0, 0, 1, 1]
8) v1 = [0, 0, 1, 1, 1, 1, 1, 1]

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены задним числом к ранее опубликованным стандартам C++.