壓縮bools在C ++中的std :: vector功能

Question

C ++中的std :: vector是否會壓縮？ 我的意思是我已經讀過std :: vector可以將8個布爾值組合成1個字節。 但是，當我在visual studio中嘗試此代碼時，

#include <vector>
#include <iostream>
using namespace std;

int main()
{
    vector<bool> array {true, false, false, true, true,false,false,true};
    cout << sizeof(array) << endl;
    cout << sizeof(array[0]) << endl;

    getchar();
    return 0;
}

它打印：

24
16

而在另一個IDE中，例如代碼塊，它打印20和8。

我不太清楚這里的布爾值。

Answer 1

C ++中的std :: vector是否會壓縮？

是的， 允許這樣做 ，通常會這樣做 。

我不太清楚這里的布爾值。

你實際上沒有得到array[0]計算結果。

它不計算為一個位 。 它的計算結果為代理對象正確處理兩者轉換為bool和分配來自bool 。

這個代理的sizeof沒有多大意義。 這不是一點點或一個布爾的大小。 它是一個被編程為對特定位進行操作的對象的大小。

Answer 2

std::vector通常默認在內部使用動態分配。 如果您定義自己的跟蹤實際分配大小的分配器，您將看到為vector<bool>分配的字節數意味着值存儲為位：

#include <vector>
#include <iostream>

template<typename T>
class my_allocator : public std::allocator<T> {
public:
    T * allocate(const size_t count) {
        std::cout << "Allocated " << count << " * " << typeid(T).name() << std::endl;
        std::cout << "Total size: " << count * sizeof(T) << std::endl;
        return std::allocator<T>::allocate(count);
    }

    T * allocate(const size_t count, const void *) {
        return allocate(count);
    }

    template<typename U>
    struct rebind {
        typedef my_allocator<U> other;
    };

    my_allocator() noexcept {};
    my_allocator(const my_allocator<T>&) noexcept = default;

    template<typename Other>
    my_allocator(const my_allocator<Other>&) noexcept {}
};

int main() {
    std::vector<int, my_allocator<int>> v1 { 0 };
    std::vector<bool, my_allocator<bool>> v2 { 0 };

    v1.reserve(100);
    v2.reserve(100);

    return 0;
}

相關產出：

Allocated 100 * int
Total size: 400
Allocated 4 * unsigned int
Total size: 16

演示： https ： //wandbox.org/permlink/WHTD0k3sMvd3E4ag