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上限的存储器
限制.

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.

解决方法

one of intentions of implementing custom allocators was to be able to use them in a shared memory context

这可能是你打算用它做的,但这不是它们存在的原因.实际上,除了C 98/03中的basic_string之外,在对象之间共享分配的内存是不合法的.他们可以共享分配器对象,因此他们可以从同一个地方获取内存.但修改一个对象以影响另一个不相关的对象是违法的;每个实例必须是分开的.

写时复制字符串仅起作用,因为系统假定对字符的任何非常量访问都将写入,从而执行复制.在C 11中,甚至禁止basic_string执行这样的copy-on-write风格的东西.

For example I would like to have a situation where I can have two instances of std::string one per process sharing a common block of memory which maybe smaller than or equal to the SBO upper limit.

没有写自己的课,这是不可能的.分配器仅控制内存的来源.你想要的是一个有保证的写时复制字符串或某种共享字符串类.

您想要的是需要专门为此目的设计的容器类.

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

解决方法

相关推荐