Как использовать std :: allocator в моем собственном классе контейнера

Question

Я пытаюсь написать класс контейнера, который использует STL-распределители. То, что я в настоящее время сделать это иметь частный член

std::allocator<T> alloc_; 

(это будет позже шаблонным, так что пользователь может выбрать другой аллокатор), а затем вызвать

T* ptr = alloc_.allocate(1,0); 

, чтобы получить указатель на вновь выделенный объект 'T' (и использовать alloc_.construct для вызова конструктора, см. ответ ниже). Это работает с библиотекой GNU C++.

Однако, при использовании STLPort на Solaris это не позволяет делать правильные вещи и ведет к различным видам ошибок коррупции в памяти. Если я вместо этого сделаю

std::allocator_interface<std::allocator<T> > alloc_; 

затем все работает как следует.

Каков правильный способ использования stl :: allocator? Версия STLPort/Solaris не скомпилирована с g ++, но правильно ли g ++?

Answer 1

Что-то, что вы, возможно, захотите сделать, это иметь собственный пользовательский номер allocator, который вы можете использовать, чтобы увидеть, как стандартные контейнеры взаимодействуют с распределителями. Стефан Т. Лававей написал красивый, простой, который называется mallocator. Бросьте его в тестовую программу, которая использует различные STL контейнеры и вы можете легко увидеть, как распределителем используется стандартными контейнерами:

• http://blogs.msdn.com/vcblog/archive/2008/08/28/the-mallocator.aspx

Не все функции интерфейса в mallocator (например как construct() и destroy()) используются выходные данные трассировки, поэтому вам может потребоваться отбросить инструкции трассировки, чтобы более легко увидеть, как стандартные контейнеры могут использовать эти функции, не прибегая к отладчику.

Это должно дать вам представление о том, как можно использовать ваши контейнеры для использования таможни allocator.

Answer 2

Вам необходимо выделить и построить с помощью распределителя. Что-то вроде этого:

T* ptr = alloc_.allocate(1,0); 
alloc_.construct(ptr, value); 

Много вещей прямо нарушены, если вы не начинаете с правильно построенного объекта. Представьте, что std::string выделяется, но не сконструирован. Когда вы попытаетесь назначить ему, сначала попробуйте очистить свое старое содержимое, освободив некоторые данные, что, конечно же, будет значением мусора из кучи и сбоя.