Стек и куча: как все это работает?

@fuelcs · Регистрация: 23.01.2013

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

Добрый вечер, подскажите пожалуйста хорошую литературу (сайты) по куче и стеку. Как оно все работает?
Насколько я понял все статические переменные лежат в стеке. К примеру в программе есть несколько переменных: а, б и с. Значит где-то должен хранится адрес каждой из них? Как осуществляется доступ к переменным?
Указатели (переменные) к примеру хранятся в стеке?
Вообщем вопрос один где про это все толково написано?
Спасибо за все хорошие источники...

alsav22 · 21.02.2013, 23:21

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

Насколько я понял все статические переменные лежат в стеке.

Неправильно поняли. В стеке хранятся автоматические переменные.

@OhMyGodSoLong · 21.02.2013, 23:27

Ну почему, можно сказать и статические — о существовании которых известно ещё при компиляции, как противопоставление динамическим, создающимся во время работы программы. В этом смысле всё верно.

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

Написано в книжках — да в любой, затрагивающей низкий уровень не вскользь. Та же «Архитектура компьютера» Эндрю Танненбаума, не знаю...

@fuelcs · 21.02.2013, 23:47 **[ТС]**

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

В стеке хранятся автоматические переменные.

что такое автоматические переменные?
Читал что в стеке лежат локальные переменные функций, после выполнения которых они удаляются. int main() - тоже функция? Только ее переменные "живут" во время всего исполнения программы?

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

Сообщение от ~OhMyGodSoLong~

Адреса, доступ и т. п. у всех переменных единообразные

Указатель, к примеру:

C++

1	int* p = new int [n];

хранится в стеке?
Если так, то для доступа к p[i] мы должны сначала найти адрес (значение р) в стеке прибавить к нему i и только тогда получим адрес в куче где хранится значение p[i]?
Тогда как при доступе к arr[i]

C++

1	int arr [m]

мы напрямую обращаемся в стек?
Это верно?
Не знаю только как извлечь данные из стека....

alsav22 · 21.02.2013, 23:49

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

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

Это и есть автоматические.

alsav22 · 21.02.2013, 23:54

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

int main() - тоже функция?

Тоже.

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

Только ее переменные "живут" во время всего исполнения программы?

Смотря какие.

@fuelcs · 22.02.2013, 00:01 **[ТС]**

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

Смотря какие.

Приведите пожалуйста пример объявления переменной внутри int main() или переданной ей, которая "не доживет" до конца работы программы?

Vourhey · 22.02.2013, 00:03

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

Указатель, к примеру:

C++

1	int* p = new int [n];

хранится в стеке?

Да.

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

Если так, то для доступа к p[i] мы должны сначала найти адрес (значение р) в стеке прибавить к нему i и только тогда получим адрес в куче где хранится значение p[i]?

Ну, в общем, верно.

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

Тогда как при доступе к arr[i]

C++

1	int arr [m]

мы напрямую обращаемся в стек?

Тебе так же нужно знать смещение от начала массива в стеке, как в предыдущем примере. arr[] - вариант записи объявления указателя arr.
И на то, как это будет работать в точности (из стека возьмется адрес, или в регистре закеширует) влияет оптимизация компилятора. В целом, логику ты угадал.

alsav22 · 22.02.2013, 00:04

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

Приведите пожалуйста пример объявления переменной внутри int main() или переданной ей, которая "не доживет" до конца работы программы?

C++

int main()
{
   for (int i = 0; i < 5; i++)
   {}
...
   return 0;
}

@fuelcs · 22.02.2013, 00:14 **[ТС]**

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

C++

int main()
{
   for (int i = 0; i < 5; i++)
   {}
...
   return 0;
}

тут мне кажется влияет только область видимости переменной, при этом int i остается статической переменной

Vourhey · 22.02.2013, 00:17

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

тут мне кажется влияет только область видимости переменной

Да.

@palva · 22.02.2013, 00:20

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

остается статической переменной

Ну не факт. Если у вас несколько подобных циклов, то переменная i всех трех будет размещаться в одной области памяти, то есть затирать друг друга.

@fuelcs · 22.02.2013, 00:21 **[ТС]**

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

Vourhey · 22.02.2013, 00:22

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

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

Литературы полно. Почти любая книга по дизассемблированию и отладке.

@fuelcs · 22.02.2013, 00:24 **[ТС]**

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

Ну не факт. Если у вас несколько подобных циклов, то переменная i всех трех будет размещаться в одной области памяти, то есть затирать друг друга.

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

Vourhey · 22.02.2013, 00:25

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

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

Это тоже далеко не факт

alsav22 · 22.02.2013, 00:27

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

int i остается статической переменной

При чём здесь область видимости? Статические переменные хранятся в статической памяти. i - автоматическая переменная, живущая до выхода из for().

Vourhey · 22.02.2013, 00:28

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

живущая до выхода из for()

До выхода из for живет имя языкового уровня на стадии компиляции. А не переменная, как область в памяти. Все up to компилятор.

alsav22 · 22.02.2013, 00:32

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

До выхода из for живет имя языкового уровня на стадии компиляции. А не переменная, как область в памяти.

То есть, при выходе из for() память под i не объявляется свободной?

Vourhey · 22.02.2013, 00:34

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

То есть, при выходе из for() память под i не объявляется свободной?

Нет

в случае со стеком она вообще не может быть свободной и занятой.

Vourhey Почетный модератор 7393 / 2639 / 281 Регистрация: 29.07.2006 Сообщений: 13,696
	22.02.2013, 00:17	11
	Сообщение от fuelcs тут мне кажется влияет только область видимости переменной Да. 0

@palva 4240 / 2937 / 687 Регистрация: 08.06.2007 Сообщений: 9,817 Записей в блоге: 4
	22.02.2013, 00:20	12
	Сообщение от fuelcs остается статической переменной Ну не факт. Если у вас несколько подобных циклов, то переменная i всех трех будет размещаться в одной области памяти, то есть затирать друг друга. 0

@fuelcs 12 / 12 / 2 Регистрация: 23.01.2013 Сообщений: 143
	22.02.2013, 00:24 [ТС]	15
	Сообщение от palva Ну не факт. Если у вас несколько подобных циклов, то переменная i всех трех будет размещаться в одной области памяти, то есть затирать друг друга. а не тоже происходит при вызове функции? при этом переменные являются статическими и хранятся в стеке? 0

Vourhey Почетный модератор 7393 / 2639 / 281 Регистрация: 29.07.2006 Сообщений: 13,696
	22.02.2013, 00:25	16
	Сообщение от palva Если у вас несколько подобных циклов, то переменная i всех трех будет размещаться в одной области памяти Это тоже далеко не факт 1

Vourhey Почетный модератор 7393 / 2639 / 281 Регистрация: 29.07.2006 Сообщений: 13,696
	22.02.2013, 00:28	18
	Сообщение от alsav22 живущая до выхода из for() До выхода из for живет имя языкового уровня на стадии компиляции. А не переменная, как область в памяти. Все up to компилятор. 0

@fuelcs 12 / 12 / 2 Регистрация: 23.01.2013 Сообщений: 143
		1
	Стек и куча: как все это работает? 21.02.2013, 23:13. Показов 12760. Ответов 58 Метки нет (Все метки) Добрый вечер, подскажите пожалуйста хорошую литературу (сайты) по куче и стеку. Как оно все работает? Насколько я понял все статические переменные лежат в стеке. К примеру в программе есть несколько переменных: а, б и с. Значит где-то должен хранится адрес каждой из них? Как осуществляется доступ к переменным? Указатели (переменные) к примеру хранятся в стеке? Вообщем вопрос один где про это все толково написано? Спасибо за все хорошие источники... 2

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	21.02.2013, 23:21	2
	Сообщение от fuelcs Насколько я понял все статические переменные лежат в стеке. Неправильно поняли. В стеке хранятся автоматические переменные. 0

@OhMyGodSoLong ~ Эврика! ~ 1256 / 1005 / 74 Регистрация: 24.07.2012 Сообщений: 2,002
	21.02.2013, 23:27	3
	Ну почему, можно сказать и статические — о существовании которых известно ещё при компиляции, как противопоставление динамическим, создающимся во время работы программы. В этом смысле всё верно. Адреса, доступ и т. п. у всех переменных единообразные. Секция данных, стек и куча — это просто различные области памяти. Различается только способ управления распределением этой памяти — связывания этих самых адресов с переменными из программы. Написано в книжках — да в любой, затрагивающей низкий уровень не вскользь. Та же «Архитектура компьютера» Эндрю Танненбаума, не знаю... 1

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	21.02.2013, 23:49	5
	Сообщение от fuelcs что такое автоматические переменные? Читал что в стеке лежат локальные переменные функций, после выполнения которых они удаляются Это и есть автоматические. 0

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	21.02.2013, 23:54	6
	Сообщение от fuelcs int main() - тоже функция? Тоже. Сообщение от fuelcs Только ее переменные "живут" во время всего исполнения программы? Смотря какие. Миниатюры 0

@fuelcs 12 / 12 / 2 Регистрация: 23.01.2013 Сообщений: 143
	22.02.2013, 00:01 [ТС]	7
	Сообщение от alsav22 Смотря какие. Приведите пожалуйста пример объявления переменной внутри int main() или переданной ей, которая "не доживет" до конца работы программы? 0

@fuelcs 12 / 12 / 2 Регистрация: 23.01.2013 Сообщений: 143
	22.02.2013, 00:21 [ТС]	13
	До воскресенья должен подготовить доклад о динамической , статической работой с памятью но литературы стоящей не нашел, вопрос остается открытым... 0

Vourhey Почетный модератор 7393 / 2639 / 281 Регистрация: 29.07.2006 Сообщений: 13,696
	22.02.2013, 00:22	14
	Сообщение от fuelcs До воскресенья должен подготовить доклад о динамической , статической работой с памятью но литературы стоящей не нашел, вопрос остается открытым... Литературы полно. Почти любая книга по дизассемблированию и отладке. 0

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	22.02.2013, 00:27	17
	Сообщение от fuelcs int i остается статической переменной При чём здесь область видимости? Статические переменные хранятся в статической памяти. i - автоматическая переменная, живущая до выхода из for(). 0

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	22.02.2013, 00:32	19
	Сообщение от Vourhey До выхода из for живет имя языкового уровня на стадии компиляции. А не переменная, как область в памяти. То есть, при выходе из for() память под i не объявляется свободной? 0

Vourhey Почетный модератор 7393 / 2639 / 281 Регистрация: 29.07.2006 Сообщений: 13,696
	22.02.2013, 00:34	20
	Сообщение от alsav22 То есть, при выходе из for() память под i не объявляется свободной? Нет в случае со стеком она вообще не может быть свободной и занятой. 1