STL标准库容器元素类型有哪些要求？是否需支持copy assignable？

Great question! Let's tackle these two points one by one:

容器元素类型T的额外要求 #

你提到的copy-constructible（拥有可访问的复制构造函数）确实是很多标准容器的基础要求，但不同容器的不同操作会对元素类型有额外的要求：

• 如果你需要对容器元素进行赋值操作（比如vec[i] = new_val这种场景），那么T必须满足copy assignable（拥有可访问的复制赋值运算符）。像vector、array这类支持随机访问的容器，修改元素值时就会用到这个特性。
• 在C++11及以后的标准中，很多容器还支持移动语义，这时候T如果满足move-constructible或move assignable，能获得更好的性能（比如vector扩容时会优先移动元素而非复制）。
• 另外，像map、set这类关联容器，还要求T满足comparable（支持<运算符或者自定义比较规则），因为它们需要对元素进行排序。

简单来说，具体要求取决于你使用容器的哪些操作，不过copy-constructible和copy assignable是大多数常见容器操作的核心要求。

为什么vector<bool>不是标准容器 #

你提到《Effective STL》里的点非常准确——vector<bool>是C++标准库中的一个特殊特化版本，它本质上是一个位容器（用单个bit存储每个"bool"元素），而非真正的标准容器，原因主要有：

• 标准容器要求c[n]返回T&类型（这里T是元素类型），但vector<bool>::operator[]返回的是一个代理对象（vector<bool>::reference），而非bool&。这就导致T* p = &c[0]这个操作不合法，因为你无法取一个bit的地址，也无法将代理对象的地址转换为bool*。
• 这个代理对象的存在还会引发其他问题：比如无法直接将vector<bool>的元素传递给期望bool&的函数，某些标准算法的行为也会不符合预期。

所以虽然它名字里带vector，但并不满足标准容器的所有要求，《Effective STL》才会强调它不是真正的标准容器。

内容的提问来源于stack exchange，提问作者choxsword