C++ memory allocator

new_allocator потому что выделяется память конструкцией new.

затрудение вызывает ::new(void* adr) ...

По ссылке не нашел такого.

Тьфу ты. Конструирование объекта.

new_allocator.h строка 00108

а так allocator наследует все функции от new_allocator, какой смысл в самом allocator? получается что просто новая сущность, которая делает тоже самое, что и new_allocator ...

где я могу почитать про ::new(void* adr) ?

Вот тут (cppreference.com), например. Или в гугле по запросу «placement new».

Там в коде очень хитрая ловушка. Пример.

template<class T>
class A {};

class B {};

template<class T>
class C;

template<>
class C<void> {};

template<typename T>
class C : public A<T> {};

template<>
class C<float> : public B {};

огромное спасибо, сразу всё понятно стало.

у allocator есть специализация в allocator<void> -> чтобы не пытаться выделить память под void(?). ну и стандартный allocator<_Tp> - для всего остального. нельзя ли было точно также специализировать new_alloc на void и всё остальное? и поясните пожайста про ловушку, я глупый, я не понял(

Извините, это я неправильно выразился. Хотел сказать, что new_allocator возможно не единственный, с такой схемой возможна специализация allocator под разные типы данных. Но это лишь моё предположение, которое я пока не могу подтвердить.

Существование new_allocator, объясняется только специализацией allocator<void>.

Ты пытаешься осмыслить вещи которые вызывают затруднения у самих авторов STL. Например, не приходила тебе в голову мысль почему аллокатор возвращает T*, хотя никакого T до того как отработал конструктор там нет, только сырые байты? Саттер вот не знает почему.

это как раз понятно - чтобы при allocate нескольких элементов мы могли итерировать по T*, а не по void*, чтобы дальше там делать construct.

а вот существование new_allocator действительно объясняется только существованием allocator<void>, хотя я всё равно не понял, почему нельзя было сразу сделать new_allocator<void> & new_allocator<_Tp> для всего остального...

А записать sizeof(T) в локальный enum и считать смещение через умножение это недостаточно концептуально?

new(void* adr)

char *data = new char[sizeof(MyClass)]; MyClass *class = new (data) MyClass();

Вызывается оператор new(void *)

всё оказалось намного проще

http://gcc.gnu.org/onlinedocs/libstdc /manual/bk01pt04ch11.html

секция про interface design