std:: vector<bool>

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)

Примечания

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

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

Boost.Container версия vector не специализируется для 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; // создает пустой вектор булевых значений
    println("1) v1", v1);
    std::vector<bool> v2{0, 1, 1, 0, 1}; // создает заполненный вектор
    println("2) v2", v2);
    v1 = v2; // копирует v2 в v1
    println("3) v1", v1);
    assert(v1.size() == v2.size()); // проверяет, что размеры v1 и v2 равны
    assert(v1.front() == false); // обращается к первому элементу, эквивалентно:
    assert(v1[0] == false);
    assert(v1.back() == true); // обращается к последнему элементу, эквивалентно:
    assert(v1[v1.size() - 1] == true);
    v1 = {true, true, false, false}; // присваивает список инициализации
    println("4) v1", v1);
    v1.push_back(true); // добавляет один элемент в конец
    println("5) v1", v1);
    v1.pop_back(); // удаляет один элемент с конца
    println("6) v1", v1);
    v1.flip(); // инвертирует все элементы
    println("7) v1", v1);
    v1.resize(8, true); // изменяет размер v1; новые элементы устанавливаются в «true»
    println("8) v1", v1);
    v1.clear(); // очищает v1
    assert(v1.empty()); // проверяет, что v1 пуст
}

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++.