编译器对 STL 容器中的有状态分配器的支持

Question

新的 C++11 标准需要 STL 实现来支持容器中的有状态分配器。现在主要的 STL 实现（Visual Studio 2008、2010、libstdc++）是否符合此要求？我在 MSDN 或 libstdc++ 文档中没有找到任何关于此的信息。

Answer 1

看起来 STL 容器中的有状态分配器功能已经得到了广泛支持。在大多数情况下，分配器的状态性不会造成问题。目前尚未得到广泛支持的是新标准处理问题情况的方式（交换容器（是否也交换分配器）、列表拼接）。

此主题说：

在大多数当前标准库（包括 MS 使用的 Dinkumware 库）的代码中，支持有状态分配器

这个步骤（libstdc++，2004）说（如果我理解正确的话）：

我们已经支持 l1.get_allocator() != l2.get_allocator() 的分配器。我们没有做任何特殊的规定来检测 splice() 和 swap() 中的这些分配器。

此博客条目（libstdc++，2009）说：

C++0x 模式下的现有容器现在与有状态分配器一起使用更加高效（即，在元素构造时不会动态创建分配器）。

<一href="http://www.google.com/url?sa=t&source=web&cd=13&ved=0CCYQFjACOAo&url=http://llvm.org/devmtg/2010-11/Hinnant-libcxx .pdf&rct=j& ;q=libstdc%2b%2b%20stateful%20allocator&ei=SHs2TrTqDoXoOfmq6PAL&usg=AFQjCNEZjxZLqUP2tr_WyfH9HwoYEeP16w&sig2=u3V4tyggTYmtF3qk_IaUjg&cad=rja" rel="nofollow noreferrer">本文档介绍了新的libc++ 库：

所有容器均满足所有最新分配器要求
完全支持有状态分配器。
– 无状态分配器的空间被优化掉。

EASTL 支持有状态分配器。

此帖子关于此功能的可移植性存在一个有趣的争论。

因此，大多数 STL 实现都支持有状态分配器，这意味着它们不会在底层创建分配器类型的其他实例，而是存储客户端提供的分配器实例，并且所有分配/解除分配都是通过该实例完成的。然而，它们处理 swapping 和 list::splice 的方式没有文档记录，不可移植。

更新：VS2008 的 STL 要求分配器具有模板化的复制构造函数，在我看来，这使得自定义分配器最重要的用途变得不可能：简单的隔离存储。

对于对 STL 中有状态分配器的当前状态不满意的人，我建议考虑 Boost.Intrusive 和 Boost.Container。

Answer 2

g++ 还不支持作用域分配器。

VS2010 支持某些非标准分配器 但显然不是标准的