Стек вызовов

@Avaddon74 · Регистрация: 15.09.2017

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

Прочитал про то, что память не очищается после очистки стека от функции и просто освобождается. Логично предположил, что можно получить доступ к этой памяти и данным которые там лежат, набросал небольшой код:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#include <iostream>
 
void func1() {
    int a[1] = { 200 };
    std::cout << &a[0] << ": " << a[0] << std::endl;
}
 
void func2() {
    int a[1];
    std::cout << &a[0] << ": " << a[0] << std::endl;
}
 
int main(){
    func1();
    func2();
}

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

Что я не правильно понял? И что я не так делаю?
Заранее спасибо!

Добавлено через 16 минут
то же самое и с динамической памятью:

C++
1
2
3
4
5
int *a = new int(200);
std::cout << a << ": " << *a << std::endl;
delete a;
a = new int;
std::cout << a << ": " << *a << std::endl;

@alex white · 03.02.2018, 12:19

Avaddon74, C++ никаких вам гарантий на этот счёт, естественно, давать не будет, это вопрос того, как он реализован. У меня,к примеру, значения одинаковые получаются (g++-7, ubuntu, amd64). Скомпилируйте в ассемблерный код или дизассемблируйте объектный и посмотрите, что там происходит.

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

По факту, указатели ссылаются на ту же ячейку памяти

&a[0] точно одинаковый?

@Avaddon74 · 03.02.2018, 12:28 **[ТС]**

alex white, Использую VS2015
Вот что у меня выдает

@Avaddon74 · 03.02.2018, 12:29 **[ТС]**

Сообщение от alex white

Скомпилируйте в ассемблерный код или дизассемблируйте объектный и посмотрите, что там происходит

Не материтесь, я новичек

)

@alex white · 03.02.2018, 12:35

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

Croessmah · 03.02.2018, 12:51

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

Вот что у меня выдает

В Debug, да? А в Release переключите.

@Avaddon74 · 03.02.2018, 13:00 **[ТС]**

Croessmah, А что тогда происходит в дебаг режиме? Что-то дополнительно пишется в стек?

Кстати, а с динамической памятью данные разные

C++
1
2
3
4
5
6
int *a = new int(200);
    std::cout << a << ": " << *a << std::endl;
    delete a;
    a = new int;
    std::cout << a << ": " << *a << std::endl;
    return 0;

@alex white · 03.02.2018, 13:09

Avaddon74, с динамической памятью всё также зависит на реализацию. Записывать значения просто так смысла особо нет (разве что при отладке, для облегчения идентификации висячих указателей), но система выделения/освобождения памяти (код, выполняющийся при new, delete), может записывать туда значения для своих собственных нужд, например производить разметку блоков и строить из них связные списки (то есть, записывать в блоки адреса следующих блоков).

Добавлено через 4 минуты
Avaddon74,
Например, у меня эта программа

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#include <iostream>
#include <algorithm>
using namespace std;
 
template<typename T> void print(T first, T last)
{
    while(first != last)
        cout << *first++ << " ";
    cout << endl;
}
 
int main(){
    int *a = new int[10];
    std::fill(a,a+10,200);
    cout << a << ":\n";
    print(a,a+10);
    delete [] a;
    print(a,a+10);
    return 0;
}

пишет:

0x1c28c20:
200 200 200 200 200 200 200 200 200 200
0 0 200 200 200 200 200 200 200 200

@Undisputed · 03.02.2018, 16:23

Avaddon74,
Рассмотрим те случаи когда время жизни объектов может завершится до того как завершится выполнение самой программы.

Просто поймите следующее:
1. У каждого объекта расположенного в памяти есть время жизни (в зависимости от класса памяти у каждого объекта свое время жизни)
2. Для переменных созданных внутри функции время жизни ограничено закрывающей фигурной скобкой этой функции (то же самое в принципе относится и к другим конструкциям, у которых есть фигурные скобки).
3. Объекты созданные в динамической памяти живут до тех пор пока для их указателя не будет вызван delete

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

Причем нет такого понятия как "уничтожить просроченные данные". В памяти всегда какие то данные есть, ну будут они например перезаписаны каким то мусором, и что? Только лишние операции будут что бы этот мусор туда забить.

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

Но опять же это не ваша забота.

По сути у вас на стек кладется 2 инта.
stack_pointer_addr = 1
push (stack_pointer_addr = 0)
pop (stack_pointer_addr = 1)
push (stack_pointer_addr = 0)

нет ничего удивительного эти int-ы были расположены по одному и тому же адресу...

@Avaddon74 · 03.02.2018, 17:18 **[ТС]**

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

Рассмотрим те случаи когда время жизни объектов может завершится до того как завершится выполнение самой программы.
Просто поймите следующее:
1. У каждого объекта расположенного в памяти есть время жизни (в зависимости от класса памяти у каждого объекта свое время жизни)
2. Для переменных созданных внутри функции время жизни ограничено закрывающей фигурной скобкой этой функции (то же самое в принципе относится и к другим конструкциям, у которых есть фигурные скобки).
3. Объекты созданные в динамической памяти живут до тех пор пока для их указателя не будет вызван delete

Это я знаю

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

Использовать просроченные объекты нельзя, и если время жизни объекта истекло, это вовсе не означает что сами данные моментально должны быть уничтожены. Для уничтожения данных нужно выполнять доп. операции а это не выгодно. Проще просто перезаписать свободную область новыми данными если они будут.
Причем нет такого понятия как "уничтожить просроченные данные". В памяти всегда какие то данные есть, ну будут они например перезаписаны каким то мусором, и что? Только лишние операции будут что бы этот мусор туда забить.

Это я тоже прекрасно понимаю, поэтому и хотел воспользоваться этим и посмотреть что лежит в памяти

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

Насчет адресов - не парьтесь.

Как это не парьтесь, я же должен понимать принцип работы, какой тогда из человека программист если на всё забивать?! Лучший специалист в своем деле тот, который знает всё изнутри и до мелочей!

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

По сути у вас на стек кладется 2 инта.
stack_pointer_addr = 1
push (stack_pointer_addr = 0)
pop (stack_pointer_addr = 1)
push (stack_pointer_addr = 0)
нет ничего удивительного эти int-ы были расположены по одному и тому же адресу...

Так я этого и добивался! И был поражен что результат разный когда ожидал одинаковый
В общем, лично вы, меня не поняли, но ответ я уже получил.

Добавлено через 4 минуты
Я сисадмин с 15-летним стажем и прекрасно понимаю, что когда удаляешь файл с диска, то данные файла остаются, а удаляется только ссылка на него из таблицы, этим то я и хотел воспользоваться только по отношению к памяти и всё, вот и был поражен что я не смог получить нужные данные.

@Undisputed · 03.02.2018, 17:18

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

Как это не парьтесь, я же должен понимать принцип работы, какой тогда из человека программист если на всё забивать?! Лучший специалист в своем деле тот, который знает всё изнутри и до мелочей!

Чем больше знаете - тем лучше

Я не в этом смысле
Просто как бы вы не переживали по этому поводу
Это не ваша задача. Компилятор сам должен генерить нужный код чтоб все лежало на своих местах и соответствовало стандарту и это все что вы вправе ожидать.

Детали реализации - implementation defined
В разных компиляторах может быть разный результат
Их задача просто соответствовать стандарту а не оправдание ваших ожиданий

@Renji · 03.02.2018, 17:34

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

Т.е. первая функция помещается в стек и объявляет и инициализирует массив

Начнем с того, что пока функция ведет себя как будто массив инициализирован, компилятор может переделать ваш код в:

C++
1
std::cout << &a[0] << ": " << 200 << std::endl;//я точно знаю что a[0]==200, так что никто не заметит

Принцип "as if" - берем у пользователя чертежи бензинового автомобиля, ставим внутрь электрический двигатель и магнитофон с записью звука работающего ДВС. Едет как бензиновый? Гудит как бензиновый? Ну значит все по стандарту и нечего под капот лезть.

@Avaddon74 · 03.02.2018, 17:38 **[ТС]**

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

Принцип "as if" - берем у пользователя чертежи бензинового автомобиля, ставим внутрь электрический двигатель и магнитофон с записью звука работающего ДВС. Едет как бензиновый? Гудит как бензиновый? Ну значит все по стандарту и нечего под капот лезть.

Спасибо! Учту!

IGPIGP · 03.02.2018, 22:48

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

Прочитал про то, что память не очищается после очистки стека от функции и просто освобождается.

Avaddon74, очищается желудок. Клизма так и называется, - "очистительная". Память - освобождается (тоже плохой термин). Лучше бы сказать деинициализируются объекты в этой памяти, но это не верно для встроенных типов. А для классов гарантирован вызов конструктора для каждого созданного объекта. Никто не знает когда в точности. Однако и это не значит что в память будут записаны нули или как-то ещё. Она просто помечается как свободная и (никто не знает когда, опять же) в неё могут быть записаны другие данные (которые затрут всё что было). Использовать локальные данные только-что умершего скоупа опасная затея, но в своей программе в качестве хака и на свой страх и риск... В общем, я бы не стал этого делать.

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

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

гарантирован вызов конструктора

деструктора конечно. И главное же перечитывал...

@Avaddon74 · 03.02.2018, 23:03 **[ТС]**

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

деструктора конечно. И главное же перечитывал...

Я понял вас сразу

Что вы опечатались

IGPIGP · 03.02.2018, 23:11

Не по теме:

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

Я понял вас сразу Что вы опечатались

Это приятно. :)
Я заметил поздновато, но решил отметить, так как читать будут может ещё. Avaddon74, тут (как и везде) случается, что кому-то захочется высказаться лет эдак через надцать. :D
Жаль только забыл что можно fake-овым сообщением помочь себе исправить.

Новые блоги и статьи Все статьи Все блоги /
Автоматическое создание документа при проведении другого документа Maks 29.03.2026 Реализация из решения ниже выполнена на нетиповых документах, разработанных в конфигурации КА2. Есть нетиповой документ "ЗаявкаНаРемонтСпецтехники" и нетиповой документ "ПланированиеСпецтехники". В. . .	Настройка движения справочника по регистру сведений Maks 29.03.2026 Решение ниже реализовано на примере нетипового справочника "ТарифыМобильнойСвязи" разработанного в конфигурации КА2, с целью учета корпоративной мобильной связи в коммерческом предприятии. . . .	Автозаполнение реквизита при выборе элемента справочника Maks 27.03.2026 Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. При выборе "Спецтехники" (Тип Справочник. Спецтехника), заполняется. . .	Сумматор с применением элементов трёх состояний. Hrethgir 26.03.2026 Тут. https:/ / fips. ru/ EGD/ ab3c85c8-836d-4866-871b-c2f0c5d77fbc Первый документ красиво выглядит, но без схемы. Это конечно не даёт никаких плюсов автору, но тем не менее. . . всё может быть. . .
Автозаполнение реквизитов при создании документа Maks 26.03.2026 Программный код из решения ниже размещается в модуле объекта документа, в процедуре "ПриСозданииНаСервере". Алгоритм проверки заполнения реализован для исключения перезаписи значения реквизита,. . .	Команды формы и диалоговое окно Maks 26.03.2026 1. Команда формы "ЗаполнитьЗапчасти". Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. В качестве источника данных. . .	Кому нужен AOT? DevAlt 26.03.2026 Решил сделать простой ланчер Написал заготовку: dotnet new console --aot -o UrlHandler var items = args. Split(":"); var tag = items; var id = items; var executable = args;. . .	Отправка уведомления на почту при создании или изменении элементов справочника Maks 24.03.2026 Программная отправка письма электронной почты на примере типового справочника "Склады" в конфигурации БП3. Перед реализацией необходимо выполнить настройку системной учетной записи электронной. . .

@Avaddon74 571 / 353 / 133 Регистрация: 15.09.2017 Сообщений: 1,239
	03.02.2018, 12:28 [ТС]
	alex white, Использую VS2015 Вот что у меня выдает Миниатюры 0

@alex white 277 / 226 / 93 Регистрация: 27.06.2016 Сообщений: 639
	03.02.2018, 12:35
	Avaddon74, попробуйте скомпилировать без каких либо отладочных опций, мб. код для отладки спец значения записывает в стек. 1

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	03.02.2018, 16:23
	Avaddon74, Рассмотрим те случаи когда время жизни объектов может завершится до того как завершится выполнение самой программы. Просто поймите следующее: 1. У каждого объекта расположенного в памяти есть время жизни (в зависимости от класса памяти у каждого объекта свое время жизни) 2. Для переменных созданных внутри функции время жизни ограничено закрывающей фигурной скобкой этой функции (то же самое в принципе относится и к другим конструкциям, у которых есть фигурные скобки). 3. Объекты созданные в динамической памяти живут до тех пор пока для их указателя не будет вызван delete Использовать просроченные объекты нельзя, и если время жизни объекта истекло, это вовсе не означает что сами данные моментально должны быть уничтожены. Для уничтожения данных нужно выполнять доп. операции а это не выгодно. Проще просто перезаписать свободную область новыми данными если они будут. Причем нет такого понятия как "уничтожить просроченные данные". В памяти всегда какие то данные есть, ну будут они например перезаписаны каким то мусором, и что? Только лишние операции будут что бы этот мусор туда забить. Насчет адресов - не парьтесь. Какие там выделяются адреса - вас особо заботить не должно, главное что бы одновременно используемые объекты не записывались по одному адресу Но опять же это не ваша забота. По сути у вас на стек кладется 2 инта. stack_pointer_addr = 1 push (stack_pointer_addr = 0) pop (stack_pointer_addr = 1) push (stack_pointer_addr = 0) нет ничего удивительного эти int-ы были расположены по одному и тому же адресу... 0

Стек вызовов

Решение