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

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

std::allocator<T> alloc_;

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

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

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

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

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

тогда все работает так, как должно.

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

Ответ 1

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

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

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

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

Ответ 2

Вам нужно как распределить, так и построить с помощью распределителя. Что-то вроде этого:

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

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