Как работает вызов функции?

@Regrin1 · Регистрация: 10.08.2021

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

Здравствуйте!
Скажите пожалуйста, как работает вызов функции? Я слышал, что там есть какой-то стек, но четкой картины у меня в голове нет. Не могли бы вы мне всё разъяснить? Подкинете ссылки на статьи?
Заранее спасибо!

@Catstail · 11.10.2022, 04:46

Опс... Вот это вопрос! Да, практически во всех языках для вызова функций используется стек. Прилагаю маленькую презентацию, которая несколько проясняет вопрос (на примере C/С++)

@helter · 11.10.2022, 11:44

Стандарт ничего такого не описывает, конечно. Но даже не говоря о конкретных реализациях, вызовы функций по своей природе образуют стек: last in first out. Если код функции вызывает другую функцию, нужно переключиться на эту вторую, вычислить её значение, и вернуться к коду первой функции.

Можно представить себе, что при вызове функции выделяются какие-то ресурсы (например, память для локальных переменных), а также запоминается место возврата - в какую точку программы нужно вернуться после выполнения функции. (Programmers don't die, they GOSUB without RETURN.

). После завершения ресурсы освобождаются и программа переходит в указанную точку. Если вызовов очень много, ресурсов приходится тоже выделять много, и получается stack overflow.

Хвостовая рекурсия - это хак, когда вызов не просто добавляется в верхушку стека, а заменяет её.

В сикпе написано весьма подробно.

@antares0 · 11.10.2022, 13:29

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

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

Это неправильнй вопрос. Компилятор оптимизирующий и нас должно волновать как он оформит вызов в конкретном коде. А делать он это может по разному. Иначем тот компилятор был бы програмисту без надобности.

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
(describe #'cl:1+)
 
#<FUNCTION 1+>
;  [compiled function]
 
 
;Lambda-list: (NUMBER)
;Declared type: (FUNCTION (NUMBER) (VALUES NUMBER &OPTIONAL))
;Derived type: (FUNCTION (T) (VALUES NUMBER &OPTIONAL))
;Documentation:
;  Return NUMBER + 1.
;Known attributes: foldable, flushable, unsafely-flushable, movable
;Source file: SYS:SRC;CODE;NUMBERS.LISP
(disassemble #'cl:1+)
 
; disassembly for 1+
; Size: 26 bytes. Origin: #x94B5965
; 65:       895DFC           MOV [EBP-4], EBX                 ; no-arg-parsing entry point
; 68:       BF04000000       MOV EDI, 4
; 6D:       8BD3             MOV EDX, EBX
; 6F:       E8CCA7B4F7       CALL #x1000140                   ; GENERIC-+
; 74:       8B5DFC           MOV EBX, [EBP-4]
; 77:       8BE5             MOV ESP, EBP
; 79:       F8               CLC
; 7A:       5D               POP EBP
; 7B:       C3               RET
; 7C:       CC12             BREAK 18                         ; INVALID-ARG-COUNT-ERROR
; 7E:       09               BYTE #X09                        ; ECX
NIL

Смотреть на правую колонку

@chessman2 · 11.10.2022, 19:37

В простейшем случае в так.
К примеру есть код:
...

Assembler
1
2
call func1
call func2

Команда call помещает в стек (отдельная область памяти)
адрес по которому находится код вызова функции func2

Команда ret извлекает из стека адрес вызова функции func2
и передает управление по этому адресу.

Assembler
1
2
3
4
5
6
7
; код функции func1
func1:
 
    ; некие команды, 
    ; в том числе вызовы других функций
 
    ret ; в этой точке будет вызвана func2

Новые блоги и статьи Все статьи Все блоги /
сукцессия микоризы: основная теория в виде двух уравнений. 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 законам Кирхгофа и. . .

@Regrin1 Автор канал по Лиспу 25 / 23 / 2 Регистрация: 10.08.2021 Сообщений: 357

	Как работает вызов функции? 11.10.2022, 02:42. Показов 421. Ответов 4 Метки нет (Все метки) Здравствуйте! Скажите пожалуйста, как работает вызов функции? Я слышал, что там есть какой-то стек, но четкой картины у меня в голове нет. Не могли бы вы мне всё разъяснить? Подкинете ссылки на статьи? Заранее спасибо! 0

@helter 4528 / 3522 / 358 Регистрация: 12.03.2013 Сообщений: 6,038
	11.10.2022, 11:44
	Стандарт ничего такого не описывает, конечно. Но даже не говоря о конкретных реализациях, вызовы функций по своей природе образуют стек: last in first out. Если код функции вызывает другую функцию, нужно переключиться на эту вторую, вычислить её значение, и вернуться к коду первой функции. Можно представить себе, что при вызове функции выделяются какие-то ресурсы (например, память для локальных переменных), а также запоминается место возврата - в какую точку программы нужно вернуться после выполнения функции. (Programmers don't die, they GOSUB without RETURN. ). После завершения ресурсы освобождаются и программа переходит в указанную точку. Если вызовов очень много, ресурсов приходится тоже выделять много, и получается stack overflow. Хвостовая рекурсия - это хак, когда вызов не просто добавляется в верхушку стека, а заменяет её. В сикпе написано весьма подробно. 2