c – STL容器,SBO和自定义分配器冲突

我最近一直在努力开发基于内存池的自定义分配器,它在分配器的多个实例之间共享.

目的是分配器与基于STL和标准C的容器兼容,例如vector,deque,map,String等

然而,特别是某些事情让我有些困惑.容器的各种实现(例如std :: vector,std :: String)使用小缓冲区优化 – 基于堆栈的分配用于小的初始内存需求.

例如,MSVC9.1在basic_String类中具有以下成员：

union _Bxty
{   // storage for small buffer or pointer to larger one
   _Elem _Buf[_BUF_SIZE];
   _Elem *_Ptr;
   char _Alias[_BUF_SIZE];  // to permit aliasing
} _Bx;

我无法看到如何在实例化这样的容器时可以哄骗
实现只有并始终使用提供的分配器
而不是使用SBO.我问是因为其中一个意图实施
自定义分配器能够在共享内存中使用它们
上下文,其中共享内存的数量可能小于
SBO限制了各种实现可能使用的一些限制.

例如,我想有一个我可以有两个的情况
每个进程共享一个公共块的std :: String一个实例
可能小于或等于SBO上限的存储器
限制.

可能相关：May std::vector make use of small buffer optimization?

typedef std::vector<int,mysharedmemallocator> shmvtype;

shmvtype v(2,0); //<-- if SBO then error as memory is allocated on
                 //stack not via the allocator

v[1] = 1234;  //<-- if SBO then error as wrong piece of memory
              // is being modified.

让我们看看另一个不基于共享内存的示例,因为它似乎使某些人的事情变得复杂.假设我想要将一个分配器专门化我的std :: basic_String或std :: vector等,该分配器在将指针呈现给调用实体之前填充它分配的值为0xAB,而不是奇思妙想.

专门使用此新分配器但也使用SBO的容器不会使其基于SBO的内存填充0xAB模式.例如：

typedef std::basic_String<char,myfillmemallocator> stype

stype s;
s.resize(2);

assert(s[0] == 0xAB); // if SBO this will fail.

@H_403_32@

解决方法