关于STL中的不相等分配器

Question

我正在阅读Scott Meyers在C ++中关于分配器的有效STL中的第10项。

标准说，允许STL的实现假定所有相同类型的分配器对象都是等效的，并且始终比较相等。

一切都很好，但是您会考虑的更多。 您越会意识到STL实现可能假定相同类型的分配器是等效的，这是多么严格的限制。 这意味着可移植的分配器对象（可以在不同的STL实现下正常运行的分配器）可能没有状态。 让我们对此进行明确说明：这意味着可移植分配器可能没有任何非静态数据成员，至少没有任何影响其行为的成员。 没有。 纳达。 举例来说，这意味着您不能有一个从一个堆分配的SpecialAllocator和另一个从另一个堆分配的SpecialAllocator。 这样的分配器将不等效，并且存在尝试使用这两个分配器可能导致运行时数据结构损坏的STL实现。

公平地说，我要指出的是，在允许STL实现者假定相同类型的分配器等效的文本之后，它立即包含以下声明：

鼓励实现者提供支持非相等实例的库。 在这样的实现中。 ...当分配器实例比较不相等时，容器和算法的语义是实现定义的。

这是一种可爱的感觉，但是作为STL的用户，考虑开发具有状态的自定义分配器时，它几乎为您提供任何帮助。 仅当（1）您知道所使用的STL实现支持不等价分配器，（2）您愿意深入研究其文档以确定实现定义的行为是否为“非相等”行为时，才可以利用此语句。分配器是您可以接受的，并且

（3）您不必担心将代码移植到STL实现中，这些实现可能会利用标准明确规定的扩展范围。 简而言之，本款-第20.1.5节的第5款。 对于那些坚持知道的人来说，这是标准的分配者的“ 1拥有梦想”的演讲。 在这个梦想成为现实之前，关注可移植性的程序员将自己局限于无状态的自定义分配器。

我对以上段落的问题是

1. 作者是指不相等或不相等的分配器？

2. 以上文字的最后一段，即第3点，用简单的术语表示什么？

Answer 1

该信息已过期。 C ++ 11和更高版本支持状态分配器。

只有在编写需要自定义分配器，不需要C ++ 11并支持针对未知/未指定标准库进行构建的C ++库时，才需要关注从有效C ++中发布的报价。 初步估算，没有人再这样做了。 以前这样做的人通常拥有自己的“增强型”标准库实现以支持有状态的分配器，例如EASTL或BDESTL。

Answer 2

如果一个分配器可以释放另一个分配器的内存，则两个分配器应该比较相等。 因此，例如，从其所拥有的池中进行分配的分配器对象可以从该池中分配和释放内存，但是具有不同池的其他分配器对象无法（没有大量额外的簿记）分配已分配的内存由第一个对象。

正确执行这项工作超出了首次引入分配器时标准委员会要承担的责任，这就是为什么这些词如此糊涂的原因。 该许可证在最新版本的标准中已被撤销。

最后一段意味着如果您编写一个分配器，该分配器的对象依赖于内部状态（例如，我上面提到的池分配器），并且您使用的库尊重相等运算符（例如，它将不会尝试传递指针在不相等的分配器之间），当您尝试将其与不关注相等运算符的其他实现一起使用时，代码将中断。