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是否会激活？

是的，它是allowed to do so，通常是。

我不太清楚这里的布尔值。

你实际上没有得到array[0]评估的内容。

它不会评估为位。它评估为proxy object，正确处理转化为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;
}

在C ++中压缩bool :: vector的bool功能

2 个答案: