Распределитель по умолчанию имеет следующую специализацию для типа void:

namespace std { template <>

class allocator<void> { public:

typedef void* pointer;

typedef const void* const po1nter; typedef void value type;

template <class U> struct rebind {

typedef allocator<U> other;

Пользовательский распределитель

Написать собственный распределитель не так уж сложно. Самый важный вопрос - как будет организовано вьщеление или освобождение памяти? Все остальное более или менее очевидно. Для примера рассмотрим упрощенную реализацию распределителя по умолчанию:

util/defallochpp namespace std { template <class T> class allocator { public: Определения типов

typedef s1ze t s1ze type;

typedef ptrdiff t d1fference type;

typedef T* pointer;

typedef const T* const po1nter:

typedef TS reference;

typedef const TS const reference:

typedef T value type;

Привязка распределителя к типу U template <class U> struct rebind {

typedef allocator<U> other;

Функции возвращают адреса значений pointer address (reference value) const ( return Svalue;

const pointer address (const reference value) const { return Svalue;

/* Конструкторы и деструктор

* - ничего не делаем, поскольку распределитель не имеет состояния */

allocatorO throwO { }

allocator(const allocators) throwO { }

template <class U> allocator {const allocator<U>&) throwO {

-allocatorO throwO { }

Функция возвращает максимальное количество элементов. для которых может быть выделена память sl2e type rrax s1ze {) const throwO {

return numericjlmits<size t>; :max{) / sizeof(T);

Выделение памяти для num элементов типа Т без инициализации

pointer allocate (size type num.

allocator<void>;:const pointer hint = 0) { allocate memory with global new return (pointer)(::operator new(num*sizeof(T)));

Инициализация элементов выделенного блока р значением value void construct (pointer p. const T& value) {

Инициализация памяти оператором new

new((void*)p)T(value):

Удаление элементов инициализированного блока р void destroy (pointer р) {

Уничтожение обьектов вызовом деструктора

р->-Т():

Освобождение блока р. содержащего удаленные элементы void deallocate (pointer p. size type num) {

Освобождение памяти глобальным оператором delete

-operator delete((void*)p);

Оператор сообщает, что все специализации данного распределителя

являются взаиноэаненяеными.

template <class TI. class Т2>

bool operator== {const allocator<Tl>S,

const allocator<T2>S) throwO {

return true;

template <class TI. class T2>

bool operator!= (const allocator<Tl>&.

const allocator<T2>&) throwO {

return false;

Используя эту базовую реализапию, вы можете без особых трудностей реализовать собственный распределитель. Как правило, все отличия от приведенной реализации сосредоточены в функциях max size(), allocate() и deallocate(). В этих трех функциях вы программируете политику выделения памяти (например, повторного использования памяти вместо се немедленного освобождения), расходования общей памяти или отображения памяти на сегменты объектно-ориентированной базы данных.

За дополнительными примерами обращайтесь по адресу http: www.josuttis.com/ libbook/examples. html.

Требования к распределителям памяти

Ниже перечислены типы и операции, которые должны поддерживаться распределителями в соответствии с требованиями стандарта. Для распределителей, которые могут использоваться стандартными контейнерами, устанавливаются особые требования - более жесткие, чем для обычных распределителей.

Определения типов

рдспределитель::value type

О Тип элементов.

О Эквивалент Т для allocator<T>.

рдспределитель::size type

О Тип беззнаковых целочисленных значений, представляющих размер наибольшего объекта в модели распределения памяти.

О Чтобы распределитель мог использоваться со стандартными контейнерами, этот тип должен быть эквивалентен size t.

рдспределитель:;di fference type

О Тип знаковых целочисленных значений, представляющих разность между двумя указателями в модели распределения памяти.