Стек вызовов

@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-овым сообщением помочь себе исправить.

Новые блоги и статьи Все статьи Все блоги /
сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .
Модель микоризы: классовый агентный подход 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 законам Кирхгофа и решает её. Последовательность действий:. . .

@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

Стек вызовов

Решение