Корректно ли в C++ называть стек статической памятью?

Question

[Kirgus]

Корректно ли в контексте C++ называть стек статической памятью?
Насколько я знаю, статическая память выделяется до начала исполнения программы. И в таком случае мне становится не понятно, почему везде стек называют статической памятью.

Comments

[Василий Банников]

а что память для стека не заранее выделяется?

[shurshur]

Память malloc'ом тоже "заранее выделяется" - до первого использования :)

[mayton2019]

Это терминологический спор. Я предлагаю на рассмотрение два варианта кода. Вот где будет статический а где другой?

void function() {
    int x[100];
}

и

void function() {
    int *x = new int[100];
}

Вообще должен быть понятен контекст вопроса. И идущие цели. Иначе можно вспомнить ребенка
который спрашивает физика о том почему ночью небо - черное. Казалось бы вопрос простой.
Но ответить на него простыми словами, не привлекая целую науку просто невозможно.

[Kirgus]

Василий Банников, да вроде ж нет :\

[Kirgus]

mayton2019, https://tproger.ru/articles/memory-model/

Существует 3 типа памяти: статический, автоматический и динамический.

Статический — выделение памяти до начала исполнения программы. Такая память доступна на протяжении всего времени выполнения программы. Во многих языках для размещения объекта в статической памяти достаточно задекларировать его в глобальной области видимости.

Автоматический, также известный как «размещение на стеке», — самый основной, автоматически выделяет аргументы и локальные переменные функции, а также прочую метаинформацию при вызове функции и освобождает память при выходе из неё.

Динамическая — выделение памяти из ОС по требованию приложения.

[Kirgus]

Василий Банников, разве при вызове функции данные формируются в стеке заранее (при запуске программы)?

[mayton2019]

Кирилл Гусарев, какой умница. Включил цитирование. Это ты как-бы нам подсказываешь?

[Александр Ананьев]

Кирилл Гусарев, Вопрос терминологии. Сама память стека выделяется при запуске потока, переменные на стеке - нет.

[Kirgus]

mayton2019, нет

[res2001]

В программе может быть несколько потоков, у каждого потока свой стек. При старте программы стартует только один главный поток, память для него выделяется загрузчиком ОС. Память для стеков других потоков выделяется при создании соответствующего потока уже во время выполнения программы.

https://en.cppreference.com/w/cpp/language/storage...
Поскольку на стеке хранятся переменные с автоматической длительностью хранения, то стек стоит считать автоматической памятью. Но это немного другой взгляд на сегменты памяти.

Подобная терминология может вводить в заблуждение. И стек и .bss и .data и .rodata и даже .text могут физически находится на одной и той же плашке (или микросхеме) памяти.

Эти термины относятся к ЯП и к тому как компилятор работает с переменными (т.е. какие инструкции генерирует для доступа к переменным), размещенными в том или ином сегменте памяти.

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

Answer 1

[Vindicar]

Кирилл Гусарев, по вашему определению статическая память - это секция инициализированных данных exeшника.
ЕМНИП, C++ в эту секцию кладёт инициализирвоанные глобальные переменные. Насчёт статических локальных не уверен.

Вообще программа имеет доступ к четырём видам памяти:
- секция инициализированных данных выделяется загрузчиком, её содержимое загружается из EXE файла, где оно хранится как образ.
- секция неинициализированных данных выделяется загрузчиком, её содержимое забивается нулями. В EXE файле хранится только её размер.
- Насчёт стека не уверен. Вроде со стеком главного потока исполнения то же самое, его размер прописан в экзешнике. Но кто его выделяет - загрузчик или рантайм языка... я подозреваю, что загрузчик. Стеки дополнительных потоков выделяются по запросу программы.
- куча выделяется по ходу работы программы. Менджер кучи Windows создаёт одну кучу для процесса, дальнейшее управление кучами - дело самого процесса.

Всё это - только для виндовых EXE. Про линукс я не в курсе.

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

Answer 2

[Wataru]

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

Answer 3

[Qubc]

RAM - это RAM. static - это ключевое слово, которое заставляет компилятор что-то сделать. Стек - структура данных. Структура данных - это данные и способ взаимодействия с ними. Например, OS использует стек для размещения программ в памяти, а компилятор использует стек для организации выделения памяти для переменных и вызовов функций.
Зачем используют понятия "статическая память" и "автоматическая" - я не знаю. На мой (возможно, ошибочный взгляд) это лишь порождает запутанность. Особенно, в Си и С++, где анализ static зависит от контекста... В принципе, можно вообще запросить огромный кусок памяти с помощью static и размещать все данные только там. Сделать какой-нибудь указатель, имитирующий SP и размещать данные в таком же стиле, как это делает OS и компилятор.