从维基百科:

从历史上看，字节是的数字 用于编码单个字符的位 电脑里的文本，的确如此 因此，基本可寻址 许多计算机中的元件 架构。

因此字节是基本的可寻址单位，低于它计算机体系结构不能寻址。由于(可能)不存在支持4位字节的计算机，所以没有4位bool等。

然而，如果你可以设计这样一个体系结构，它可以将4位作为基本可寻址单位，那么你将拥有大小为4位的bool值，只在那台计算机上!

你可以有1位的bool型和4位和2位的int型。但这将导致一个奇怪的指令集，没有性能提升，因为这是一种不自然的方式来看待体系结构。“浪费”一个字节的大部分，而不是试图回收未使用的数据，实际上是有意义的。

根据我的经验，唯一一个把几个bool包进一个字节的应用程序是Sql Server。

因为在一般情况下，CPU以1字节作为基本单位分配内存，尽管一些CPU如MIPS使用4字节字。

但是vector以一种特殊的方式处理bool类型，vector<bool>为每个bool类型分配一个位。

考虑一下如何在模拟器级别实现这一点……

bool a[10] = {false};

bool &rbool = a[3];
bool *pbool = a + 3;

assert(pbool == &rbool);
rbool = true;
assert(*pbool);
*pbool = false;
assert(!rbool);

因为字节是语言中最小的可寻址单位。

但是你可以让bool值为1位，如果你有很多 如。在结构体中，像这样:

struct A
{
  bool a:1, b:1, c:1, d:1, e:1;
};

即使最小大小可能是1字节，你可以在1字节上有8位布尔信息:

http://en.wikipedia.org/wiki/Bit_array

Julia语言有BitArray，我读过c++实现。