Использование return в main

@Undisputed · Регистрация: 10.06.2014

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

Если возвращаем 0 то это означает что прога норм завершилась, иначе значит были какие то ошибки, это понятно.

Но зачем ОС нужны эти коды?
Чего она с ними делает?
Можно ли к этим кодам получить доступ из третьей программы?

Evg · 12.08.2017, 18:04

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

А если возвращаемый тип main указан как void, то какой код получит вызывающая программа?

В реальности main вызывается не из космоса, а из другой функции, спрятанной в системной библиотеке. Эта функция вызывает main с прототипом, ожидающим возврата int. Поэтому после возврата из main эта функция будет искать возвращаемое значение в регистре или в стеке, в котором по программным соглашениям должно быть передано значение. Т.е. прочитает какой-то мусор, а потому программа в окружающий в любом случае что-то вернёт, но не известно что. Т.е. это эквивалентно использованию неинициализированного значения

@Tree depth · 12.08.2017, 21:39

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

А... Я вроде путаю shall и should

should это не "должен, но не обязательно", а "рекомендовано".

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

И желательно (shall)...

Найми репетитора по английскому.

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

Есть разница между must и shall.

В общем случае — только стилистическая. В обычной речи shall в смысле "обязан" не употребляют.

@gng · 12.08.2017, 22:39

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

прочитает какой-то мусор, а потому программа в окружающий в любом случае что-то вернёт, но не известно что.

У компилятора от MS void main() - вещь вполне законная - поэтому функция, о которой вы говорите, скорее всего, вернет среде (Венде) 0.
Здесь в теме немного другая интрига. Адепты MS занялись творческим переводом с английского, чтобы доказать, что эта самая void main() не нарушает стандарт, а только является особенностью реализации.
С другой стороны, это дополнение есть не просит и никому сильно не мешает.
Кто-то здесь на форуму доказывал, что ругань Мелкосовтвского компилятора на strcpy() с требованием заметить ее на strcpy_s() тоже соответствует стандарту. Только они обосновывали это соображениями безопасности, а не тонкостями лингвистики.

Evg · 12.08.2017, 23:41

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

У компилятора от MS void main() - вещь вполне законная - поэтому функция, о которой вы говорите, скорее всего, вернет среде (Венде) 0.

Вполне возможно. Просто я описал самый общий случай. Просто в учебниках обычно пишут, что main - это точка начала работы программы, хотя почти везде (а может даже и везде) это не так. Реальная точка входа в программу находится в другом месте, а main - это лишь точка входа в пользовательскую часть программы. Это далеко не всем очевидно, а потому моё объяснение будет явно не лишним

Croessmah · 13.08.2017, 07:16

Кто-то здесь на форуму доказывал, что ругань Мелкосовтвского компилятора на strcpy() с требованием заметить ее на strcpy_s() тоже соответствует стандарту. Только они обосновывали это соображениями безопасности, а не тонкостями лингвистики.

функции с суффиксом _s теперь входят в стандарт C11,
хотя их поддержка является опциональной для компилятора.

@Undisputed · 13.08.2017, 10:41 **[ТС]**

Evg,
А каким образом происходит поиск этого значения?

Насколько я понимаю т.к функция мейн может быть войд делать вызов под капотом code = main() было бы не корректным.
Второй вариант(более менее похожий на правду) это создание указателя в той самой функции на конкретный адрес возврата, и чтение данных путём разыменования. Но адреса при каждом перезапуске меняются. Как вызывающая сторона знает где именно лежит нужное значение?

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

@gng · 13.08.2017, 12:45

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

Насколько я понимаю т.к функция мейн может быть войд делать вызов под капотом code = main() было бы не корректным.
Второй вариант(более менее похожий на правду) это создание указателя в той самой функции на конкретный адрес возврата, и чтение данных путём разыменования. Но адреса при каждом перезапуске меняются. Как вызывающая сторона знает где именно лежит нужное значение?

Вы углубляетесь в детали реализации. Что конкретно делает компилятор MS - его проблемы. Самое простое решение - поменять при компилировании void маin() на int main() ... returm 0l; и дальше передавать модуль линкеру.
"Съевший собаку" на дизассемблированиии Evg может найдет время описать вам действия Мксофт-компилятора детальнее.

ValeryS · 13.08.2017, 13:55

написал две проги (VS2008)

C++
1
2
3
void main()
{
}

C++
1
2
3
4
int main()
{
return 0;
}

и дизасемблировал их
для первой
точка входа в программу

Assembler
1
2
3
4
public start
start proc near
jmp     _mainCRTStartup
start endp

Assembler
1
2
3
4
5
6
7
8
9
_mainCRTStartup proc near
mov     edi, edi
push    ebp
mov     ebp, esp
call    j____security_init_cookie
call    __tmainCRTStartup
pop     ebp
retn
_mainCRTStartup endp

Assembler
1
2
3
4
5
6
7
8
9
10
11
__tmainCRTStartup proc near
........
;здесь интересуют вот эти строки
 call    j__main
   add     esp, 0Ch
   mov     mainret, eax
   cmp     managedapp, 0
   jnz     short loc_411725
   mov     eax, mainret
   push    eax             ; Code
   call    ds:__imp__exit

ну и сама функция Main

Assembler
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
; Attributes: bp-based frame
 
; int __cdecl main()
_main proc near
 
var_C0= byte ptr -0C0h
 
push    ebp
mov     ebp, esp
sub     esp, 0C0h
push    ebx
push    esi
push    edi
lea     edi, [ebp+var_C0]
mov     ecx, 30h
mov     eax, 0CCCCCCCCh
rep stosd
xor     eax, eax
pop     edi
pop     esi
pop     ebx
mov     esp, ebp
pop     ebp
retn
_main endp

для второго все тоже самое (стратап)
функция main

Assembler
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
; Attributes: bp-based frame
 
; int __cdecl main()
_main proc near
 
var_C0= byte ptr -0C0h
 
push    ebp
mov     ebp, esp
sub     esp, 0C0h
push    ebx
push    esi
push    edi
lea     edi, [ebp+var_C0]
mov     ecx, 30h
mov     eax, 0CCCCCCCCh
rep stosd
xor     eax, eax
pop     edi
pop     esi
pop     ebx
mov     esp, ebp
pop     ebp
retn
_main endp

как видно никакой разницы
void main компилятор заменил на int main
добавив

C++
1
return 0;

Assembler
1
2
xor eax,eax;
retn

по моему мнению это сделали для того, чтобы компилировать старые сишные программы с void main без лишней ругани

Croessmah · 13.08.2017, 14:05

ValeryS, из ответов на msdn:

In general, a void function returns nothing, while an int function returns an int. In the context of 'main' specifically, having a void return type is illegal, and is only accepted for backwards compatibility purposes -- always use 'int main'.

ValeryS · 13.08.2017, 14:13

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

and is only accepted for backwards compatibility purposes

ну так

я так и говорю

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

компилировать старые сишные программы с void main без лишней ругани

Evg · 13.08.2017, 23:07

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

А каким образом происходит поиск этого значения?

По программным соглашениям. Конкретно для intel/amd функция main пишет в регистр %eax возвращаемое значение. А там, где функцию main вызывали, читают регистр %eax. Если функция main в регистр %eax ничего не запишет, то в точке вызова main просто прочитается какое-нибудь мусорное значение

Добавлено через 33 минуты
Ну и чтобы пощупать вживую, можно это проверить на модели этого самого:

C
/* Файл t1.c */
#include <stdio.h>
 
extern int my_main (void);
 
int main (void)
{
  int r;
  r = my_main ();
  printf ("%d\n", r);
  return 0;
}

C
/* Файл t2.c */
int A = 5, B = 6;
 
void my_main (void)
{
  /* Сюда добавим пофиг какой код, лишь бы оптимизатор его не вытравил */
  int i;
  for (i = 0; i < A; i++)
    B += A;
}

Code
$ gcc t1.c t2.c
$ ./a.exe
5

Примерно так будет выглядеть функция main, которая в точке вызова описана с результатом типа int, а в реальности имеет результат типа void

@Undisputed · 14.08.2017, 00:04 **[ТС]**

Evg,
Спасибо! А что за регистр %eax? Я встречал просто eax, без процента

@DrOffset · 14.08.2017, 00:38

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

А что за регистр %eax?

AT&T-синтаксис

Новые блоги и статьи Все статьи Все блоги /
Установка MinGW GCC 16.2 и CMake 8Observer8 10.08.2026 VK Видео: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия	Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо anaschu 10.08.2026 Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .	Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .
Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .	Как ИИ начал спорить и врать (возможно почуяв опасность для себя от индустрии - уход от электроники). Hrethgir 04.08.2026 Недельный диалог, на фоне событий с НПЗ. Да, из спирта можно получать бензин, и это не сложно. Но потом в схеме я решил избавиться от насоса, при этом полностью сделав контроль подачи спирта в. . .	Термопринтер QR701 Argus19 03.08.2026 Термопринтер QR701 Купил два термопринтера QR701. На сэлф-тесте написано: Language: PC936 (GB18030). Что означает, что принтеры могут печатать только латиницу и китайские иероглифы. Так же. . .

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700

	Использование return в main 11.08.2017, 12:33. Показов 3311. Ответов 32 Метки нет (Все метки) Если возвращаем 0 то это означает что прога норм завершилась, иначе значит были какие то ошибки, это понятно. Но зачем ОС нужны эти коды? Чего она с ними делает? Можно ли к этим кодам получить доступ из третьей программы? 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	13.08.2017, 10:41 [ТС]
	Evg, А каким образом происходит поиск этого значения? Насколько я понимаю т.к функция мейн может быть войд делать вызов под капотом code = main() было бы не корректным. Второй вариант(более менее похожий на правду) это создание указателя в той самой функции на конкретный адрес возврата, и чтение данных путём разыменования. Но адреса при каждом перезапуске меняются. Как вызывающая сторона знает где именно лежит нужное значение? Пока первое что пришло в голову это то что т.к программы используют виртуальные адреса а не физические, ОС при выделении виртуальных адресов для программы сама выделяет адрес возврата этого кода, который можно получить с помощью какого нибудь системного вызова... Кстати не подскажешь где сорцы этой штуки можно глянуть? 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	14.08.2017, 00:04 [ТС]
	Evg, Спасибо! А что за регистр %eax? Я встречал просто eax, без процента 0