布尔标志与未签名的字符标志

免责声明：如果我在这篇文章中提出任何虚假声明，请纠正我。

考虑一个包含八个 bool 成员变量的结构。

/*
* Struct uses one byte for each flag.
*/
struct WithBools
{
bool f0 = true;
bool f1 = true;
bool f2 = true;
bool f3 = true;
bool f4 = true;
bool f5 = true;
bool f6 = true;
bool f7 = true;
};

分配给每个变量的空间长度为一个字节，如果变量仅用作标志，这似乎是一种浪费。就变量而言，减少这种浪费空间的一种解决方案是将八个标志封装到无符号字符的单个成员变量中。

/*
* Struct uses a single byte for eight flags; retrieval and
* manipulation of data is achieved through accessor functions.
*/
struct WithoutBools
{
unsigned char getFlag(unsigned index)
{
return flags & (1 << (index % 8));
}
void toggleFlag(unsigned index)
{
flags ^= (1 << (index % 8));
}
private:
unsigned char flags = 0xFF;
};

通过按位运算符检索和操作标志，结构为用户提供检索和操作标志的接口。虽然标志大小已减小，但我们现在有两个额外的方法来增加结构的大小。我不知道如何对这种差异进行基准测试，因此我无法确定上述结构之间的任何波动。

我的问题是：

1)这两种结构之间的空间差异可以忽略不计吗？

2)一般来说，这种通过将布尔集合压缩到单个字节中来"优化"布尔集合的方法是一个好主意吗？无论是在嵌入式系统环境中还是在其他方面。

3)C++编译器是否会进行这样的优化，在可能和适当的情况下压缩布尔集合。