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

распределитель::pointer

О Тип указателя на тип элемента,

О Чтобы распределитель мог использоваться со стандартными контейнерами, этот тип должен быть эквивалентен Т* для allocator<T>.

распределитель :;const po1nter

О Тип константного указателя на тип элемента.

О Чтобы распределитель мог использоваться со стандартными контейнерами, этот тип должен быть эквивалентен const Т* для allocator<T>.

распределитель ;;reference

О Тип ссылки на тип элемента. О Эквивалент T8i для allocator<T>.

распределитель::const reference

О Тип константной ссылки на тин элемента. О Эквивалент const T8i для aIlocator<T>.

распределитель::геЫ nd

О Шаблонная структура, позволяющая любому распределителю косвенно выделять память для другого типа.

О Объявление должно выглядеть так:

template <class Т> class распределитель { public: template <class U> struct rebind {

typedef распреаепитель<\}> other:

О Назначение структуры rebind разъясняется на с. 707.

Операции

распределитель::allocator ()

О Конструктор но умолчанию. О Создает объект распределителя.

распределитель::allocator (const allocators а)

О Копирующий конструктор.

712 Глава 15, Распределители памяти

О Создает объект распределителя таким образом, что память, выделенная ори-гинатом, может освобождаться через копию, и наоборот.

распределитель:-.-allocator () О Деструктор.

О Уничтожает объект распределителя.

pointer распределитель::a66ress {reference value)

constjpointer распределитель::a(]6ress (const reference value)

О Первая форма возвращает неконстантный указатель на неконстантное значение value.

О Вторая форма возвращает константный указатель на константное значение value.

распределитель: :mx. size ()

О Возвращает максимальное значение, которое может передаваться функции allocateO для выделения памяти.

pointer распределитель::allocate Csize type пит) const polnter распределитель: :allocate {size type num.

allocator<void>:;const pointer hint)

О Обе формы возвращают указатель на память, выделенную для шт элементов типа Т.

О Элементы не конструируются и не инициализируются (для них не вызываются конструкторы).

о Смысл необязательного второго аргумента определяется реализацией. Например, в нем может передаваться дополнительная информация для повышения эффективности.

void распределитель::ueallocate (pointer p. size type пит)

О Освобождает память, на которую ссылается указатель р.

О Блок/? должен быть выделен функцией allocate() того же или равного распределителя.

О Аргумент/? не может быть равен NULL или 0.

О К моменту вызова deallocate() элементы должны быть уже уничтожены.

void распределитель:[Construct (pointer p. const Т& value)

О Инициализирует память одного элемента, на которую ссылается указатель р, значением value.

О Эквивалент:

new((vo1d*)p)T(;/a/t;e)

void allocator::destroy (pointer p)

О Уничтожает объект, на который ссылается указатель р, без освобождения памяти.

О Просто вызывает деструктор объекта. О Эквивалент:

((Т*)р)->-Т()

bool operator== {const распределитель al. const распределитель a2)

О Возвращает true, если распределители a1 и а2 взаимозаменяемы.

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

О Чтобы распределитель мог использоваться со стандартными контейнерами, распределители одного типа обязаны быть взаимозаменяемыми, поэтому функция должна всегда возвращать true.

bool operator!= (const распределитель al. const распределит enьЬ. a2)

О Возвращает true, если распределители a1 и а2 взаимозаменяемы. О Эквивалент:

\{al==a2)

О Чтобы распределитель мог испо.7ьзоваться со стандартными контейнерами, распределители одного типа обязаны быть взаимозаменяемыми, поэтому функция должна всегда возврапщть false.

Операции с неинициализированной памятью

В этом разделе подробно описаны вспомогательные функции для работы с неинициализированной памятью. Примеры реализаций, безопасных с точки зрения исключений, основаны (с разрешения автора) на коде Грега Колвина (Greg Colvin).

void unin1tialized fill (Forwardlterator beg. Forwardlterator end.

const T& value)

О Инициализирует элементы интервала [beg,end) значением value. О Функция либо выполняется успешно, либо не вносит изменений. О Типичная реализация uninitialized fill():

namespace std {

template <class Forwlter. class T>

void un1n1t1alized f1ll(ForwIter beg, Forwlter end.

const T& value)

typedef typename iterator traits<ForwIter>::value type VT: Forwlter save(beg): try {

for (; beg!=end: ++beg) {