Работа с allocator (управление памятью)

@HardMorg · Регистрация: 29.08.2010

Студворк — интернет-сервис помощи студентам

Нормальной инфы на русском языке я так и не нашел в инете( про него читал в книге Программирование принципы и практика С++ Страуструп, но там так и реализацию функции для своего аллокатора , только дали интерфейс класс ), понял что есть 4 основные функции

C++
1
2
3
4
5
6
7
8
9
temlpate<class T>
class allocator {
// ...
    T* allocate(int n);
    void deallocate(T* p, int n);
 
    void construct(T *p, const T& v);
    void destroy(T *p);
};

вот не пойму как можно разрушить обьект не освобождая память( это просто затереть все значения которые находятся внутри обьекта?)

кто сними работал расскажите про него, вот к примеру у меня есть свой вектор но как сделать так что бы я мог добавлять в него обьекты которые не имеют конструктора по умолчанию, как в аллокаторе выделять память?

@alex_x_x · 28.02.2012, 22:32

Сообщение от HardMorg

вот не пойму как можно разрушить обьект не освобождая память( это просто затереть все значения которые находятся внутри обьекта?)

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
class A {
public:
  A() {};
  ~A() {};
};
 
typedef unsigned char BYTE;
 
int main() {
  BYTE* data = new BYTE[sizeof(A) * 10];
  A* a = new (data)A();
  a->~A();
  delete data;
}

смотреть placement new, и явные вызовы деструкторов например

@HardMorg · 28.02.2012, 23:53 **[ТС]**

Сообщение от alex_x_x

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
class A {
public:
  A() {};
  ~A() {};
};
 
typedef unsigned char BYTE;
 
int main() {
  BYTE* data = new BYTE[sizeof(A) * 10];
  A* a = new (data)A();
  a->~A();
  delete data;
}

смотреть placement new, и явные вызовы деструкторов например

прокоментируйте вот это строчку A* a = new (data)A();

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
typedef unsigned char BYTE;
 
template <class T>
class allocator {
 
public:
 
    T* allocate(int size_t) {
 
        BYTE *p = new BYTE[sizeof(T) * size_t];
        
        return (T*)p;
    }
 
    void deallocate(T *p, int n) {
        
    }
 
    void construct(T *p, T const & val) {
 
        *p = val;
    }
    void destroy(T *p) {
 
        p->~T();
    }
 
};

вот что то примерно этого?
только у меня еще 3 вопроса.
Как реализовать функцию деаллок?
правильно ли я реализовал конструкт?
и что мне делать в деструкторе контейнера для которого использую аллокатор( у меня вектор)
я так понял вызывать метод деаллок?

@alex_x_x · 29.02.2012, 00:28

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
#include <iostream>
#define DBG do { std::cout << __FUNCTION__ << std::endl; } while(0)
 
typedef unsigned char BYTE;
 
template <class T>
class allocator {
public: 
        T* allocate(int size) {
                DBG;
                if (size <= 0) return NULL; 
                return (T*) new BYTE[size * sizeof(T)];
        }
 
        void deallocate(T *p, int n) {
                DBG;
                delete [] (BYTE*)p;
        }
 
        void construct(T *p, T const & val) {
                DBG;
                new (p) T(val);
        }
        void destroy(T *p) {
                DBG;
                p->~T();
        }
};
 
class A {
public:
        A(int a) : m_a(a) { std::cout << __FUNCTION__ << std::endl; }
        ~A() { DBG; }
        A(const A& a) { 
                DBG;
                m_a = a.m_a; 
        }
        void setA(int a) { m_a = a; }
        int getA() { return m_a; }
private:
        int m_a;
};
 
int main() {
        allocator<A> alloc;
        unsigned i;
        A* arr[5], a(-1), *first = alloc.allocate(5);
 
        for (i=0 ; i<5 ; ++i) { arr[i] = &first[i]; }
        
        for (i=0;i<5;++i) {
            a.setA(i);
            alloc.construct(arr[i], a);
        }
        for (i=0;i<5;++i) {
            std::cout << arr[i]->getA() << std::endl;
            alloc.destroy(arr[i]);
        }
        alloc.deallocate(first, 5);       
}

Добавлено через 1 минуту

Сообщение от HardMorg

прокоментируйте вот это строчку A* a = new (data)A();

это placement new - не на гугл же мне ссылку давать

@HardMorg · 29.02.2012, 02:09 **[ТС]**

alex_x_x, я так понял placement new за указанным адресом создает обьект?
тоесть можно писать вот так

C++
1
int *p = new (new int) int(5);

только это не совсем привычно

@DU · 29.02.2012, 02:44

C++
1
int *p = new (pointerToAllocatedMemory) int(5);

Размещающему new передают уже выделенную где-то память. сам он ее не выделяет. он лишь конструирует в ней объекты.

C++
1
int *p = new (new int) int(5);

Так наверно можно написать, но это не естественное использование размещающего new.
зачем так делать, если можно просто int* p = new int(5);
К тому же это будет глючить в случае более сложных чем инт объектов. Сложный объект сперва создастся обычным способом (из-за new в скобочках) (для него повозется конструктор в котором поделается что-то очень важное), а потом на память в которой он находится накатят еще один объект (еще раз позовется конструктор). Действия конструктора при первом конструировании не отменятся. Ну в общем такое двойное конструирование объекта в одной и той же памяти. Так же плохо, как и двойное удаление одного и того же.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .
Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .	SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL3_image 8Observer8 27.01.2026 Содержание блога SDL3_image - это библиотека для загрузки и работы с изображениями. Эта пошаговая инструкция покажет, как загрузить и вывести на экран смартфона картинку с альфа-каналом, то есть с. . .	Влияние грибов на сукцессию anaschu 26.01.2026 Бифуркационные изменения массы гриба происходят тогда, когда мы уменьшаем массу компоста в 10 раз, а скорость прироста биомассы уменьшаем в три раза. Скорость прироста биомассы может уменьшаться за. . .