Пишем аллокатор

@GetHelp · Регистрация: 27.02.2013

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

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
template <typename T>
T* allocate(T* ptr, size_t new_size, size_t old_size = 0)
{
    T* retval = new T[new_size];
    if (ptr)
    {
        memcpy(retval, ptr, old_size);
        delete[] ptr;
    }
    ptr = retval;
    return retval;
}
 
void main()
{
    int* x;
    allocate(x, 3);
    x[0] = 0; x[1] = 1; x[2] = 2;
    getch();
}

оставим в покое си стиль и деалокаторы из той темы... не больно то и надо на самом деле, а теперь к ошибкам: для начала пишет при подаче икса: "Run-Time Check Failure #3 - The variable 'x' is being used without being initialized."

и если жму продолжить, он заходит в функцию, заходит (как???) в условие и пытается скопировать и удалить невалидную память

помогите как исправить я че то никак не соображу...

@DrOffset · 03.08.2014, 02:44

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

помогите как исправить я че то никак не соображу...

Так ты же сам такой контракт придумал - вон же проверка на ноль внутри функции. Вот нужно ноль и передавать.

C++
1
2
int* x = 0;
x = allocate(x, 3);

@GetHelp · 03.08.2014, 07:22 **[ТС]**

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

Так ты же сам такой контракт придумал - вон же проверка на ноль внутри функции. Вот нужно ноль и передавать.

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

@0x10 · 03.08.2014, 07:26

GetHelp, неинициализированный указатель - не нулевой. В нем мусор.

@GetHelp · 03.08.2014, 07:30 **[ТС]**

Сообщение от 0x10

неинициализированный указатель - не нулевой. В нем мусор

разве? не знал... ну хорошо допустим даже я обнулю его перед подачей, но теперь мне просто после прохода функции выдает по прежнему нулевой указатель -_- совершенно не понятно почему =(

@0x10 · 03.08.2014, 07:38

GetHelp, см вторую строчку из примера DrOffset.
В твоем случае указатель передается по значению, поэтому за пределами функции не меняется.

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

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

разве? не знал...

Правила простые, логика прямая.
1. int x;
Если определение в локальной области видимости, то значением будет мусор. Потому что инициализация требует дооплнительных расходов во время выполнения.
Если определение в глобальной области, то значение - 0. Потому что инициализация возможна на этапе компиляции и не требует затрат во время выполнения.

2 int x[10];
При определении в локальной области видимости в массиве мусор. Потому что инициализация требует затрат во время выполнения.
При определении в глобальной области - нули, потому что это можно сделать без доп расходов во время выполнения.

3. std::vector v(10);
Вектор из 10 элементов. При объявлении в локальной области видимости значения вектора - нули. Потому что это требует дополнительных расходов во время выполнения. Б****, еб**** С++!

@GetHelp · 03.08.2014, 07:38 **[ТС]**

Сообщение от 0x10

В твоем случае указатель передается по значению, поэтому за пределами функции не меняется.

не фига не понимаю

указатели ведь это же УКАЗАТЕЛИ !!! они не могут быть валидными только в пределах функции ! это же не обычная переменная... память то на которую он указывает никуда не девается (в данном случае на delete она точно не попадает), переписал через двойной указатель вроде работает, но все равно не могу понять почему с одним не пашет

C++
1
2
3
4
5
6
7
8
9
10
11
12
template <typename T>
T* allocate(T** ptr, size_t new_size, size_t old_size = 0)
{
    T* retval = new T[new_size];
    if (*ptr)
    {
        memcpy(retval, *ptr, old_size);
        delete[] *ptr;
    }
    *ptr = retval;
    return retval;
}

@0x10 · 03.08.2014, 07:43

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

не фига не понимаю

Ну ты же понимаешь вот это:

C++
1
2
3
4
5
6
7
void f(int x) {
  x = 42;
}
 
int x = 10;
f(x);
std::cout << x << std::endl;

У тебя случай аналогичный, только с указателем. Указатель хранит адрес. В первом случае перезаписывался сам этот адрес для локальной переменной указателя в функции, и только.

@GetHelp · 03.08.2014, 07:46 **[ТС]**

а и все равно не до конца работает

как я понял значения копируются нормально, но при вызове delete[] ptr удаляются почему то...

вот такая конструкция дает в конечном счете в x[0] и x[1] NULL, а в x[3] == 2

C++
1
2
3
4
5
6
7
8
void main()
{
    int* x = new int[2];
    x[0] = 0; x[1] = 1;
    allocate(&x, 3);
    x[2] = 2;
    getch();
}

@0x10 · 03.08.2014, 07:49

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

как я понял значения копируются нормально

Как бы им копироваться, если третий аргумент memcpy - 0?

@GetHelp · 03.08.2014, 07:50 **[ТС]**

Сообщение от 0x10

Как бы им копироваться, если третий аргумент memcpy - 0?

хз как то копировались

но ваша правда забыл я третий аргумент... дописал ничего не изменилось

@0x10 · 03.08.2014, 07:52

Как обычно, реквестирую законченный компилируемый вариант кода.

@GetHelp · 03.08.2014, 07:57 **[ТС]**

Сообщение от 0x10

Как обычно, реквестирую

чего?

Сообщение от 0x10

законченный компилируемый вариант кода.

да он и не менялся со ввода двойного указателя...

C++
1
2
3
4
5
6
7
8
9
10
11
12
template <typename T>
T* allocate(T** ptr, size_t new_size, size_t old_size = 0)
{
    T* retval = new T[new_size];
    if (*ptr)
    {
        memcpy(retval, *ptr, old_size);
        delete[] *ptr;
    }
    *ptr = retval;
    return retval;
}

Добавлено через 2 минуты
в отладчик смотрел там вообще не копируются значения

@0x10 · 03.08.2014, 08:02

GetHelp, законченный и компилируемый - это когда скопировал, вставил, скомпилировал - посмотрел на эффект. Я же не вижу как ты там третий аргумент добавил. Но по этому куску кода предполагаю, что в передаешь колиечство элементов, а memcpy ожидает размер в байтах.

ValeryS · 03.08.2014, 08:02

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

указатели ведь это же УКАЗАТЕЛИ !!! они не могут быть валидными только в пределах функции ! это же не обычная переменная...

не поверишь, это банальная обычная переменная
только тип у неё указатель
смотри

C++
1
2
3
4
5
6
7
8
void func(int *B)
{
 B=0x10;
} 
 
...........................
int * A=0;
 func(A);

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

C++
1
2
3
4
5
6
7
8
void func(int **B)
{
 *B=0x10;
} 
 
...........................
int * A=0;
 func(&A);

или возвращать значение

C++
1
2
3
4
5
6
7
8
9
int* func(int *B)
{
 B=0x10;
return B;
} 
 
...........................
int * A=0;
 A=func(A);

в общем это трудно только на таком уровне абстракции
а если спустится на уровень ассемблера, все становится очевидным

Assembler
1
2
3
mov A,0;  обнулили переменную 
push A; предали функции, положили в стек
call func; функция будет работать со значением из стека не затрагивая значения A

@GetHelp · 03.08.2014, 08:16 **[ТС]**

Сообщение от 0x10

GetHelp, законченный и компилируемый - это когда скопировал, вставил, скомпилировал - посмотрел на эффект. Я же не вижу как ты там третий аргумент добавил. Но по этому куску кода предполагаю, что в передаешь колиечство элементов, а memcpy ожидает размер в байтах.

memcpy ожидает размер в байтах???

охренеть я не знал...

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
template <typename T>
T* allocate(T** ptr, size_t new_size, size_t old_size = 0)
{
    T* retval = new T[new_size];
    if (*ptr)
    {
        memcpy(retval, *ptr, old_size * sizeof(T));
        delete[] *ptr;
    }
    *ptr = retval;
    return retval;
}

@0x10 · 03.08.2014, 08:18

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

охренеть я не знал...

Доки в помощь, что тут добавить.

@GetHelp · 03.08.2014, 08:24 **[ТС]**

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

@0x10 · 03.08.2014, 08:30

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

ищется невалидная память

Свободная.

На уровне идеи - да, как-то так. В линуксе под капотом системный вызов brk, который тупо изменяет размер сегмента данных процесса.

Новые блоги и статьи Все статьи Все блоги /
Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .
Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .

@0x10 3258 / 2060 / 351 Регистрация: 24.11.2012 Сообщений: 4,909
	03.08.2014, 07:26
	GetHelp, неинициализированный указатель - не нулевой. В нем мусор. 0

@0x10 3258 / 2060 / 351 Регистрация: 24.11.2012 Сообщений: 4,909
	03.08.2014, 07:52
	Как обычно, реквестирую законченный компилируемый вариант кода. 0

@0x10 3258 / 2060 / 351 Регистрация: 24.11.2012 Сообщений: 4,909
	03.08.2014, 08:02
	GetHelp, законченный и компилируемый - это когда скопировал, вставил, скомпилировал - посмотрел на эффект. Я же не вижу как ты там третий аргумент добавил. Но по этому куску кода предполагаю, что в передаешь колиечство элементов, а memcpy ожидает размер в байтах. 1

@GetHelp 63 / 64 / 11 Регистрация: 27.02.2013 Сообщений: 1,116
	03.08.2014, 08:24 [ТС]
	а кто нибудь может рассказать как вообще происходит аллокация изнутри? там что ищется невалидная память размером подходящим под переданный, а потом просто выдает на нее указатель? 0