Каковы действительные подписи для функции C main ()?

В стандарте C11 прямо упоминаются эти два:

int main(void);
int main(int argc, char* argv[]);

хотя в нем упоминается фраза или ее эквивалент со следующей сноской:

Таким образом, int можно заменить на typedef имя, определенное как int, или тип argv можно записать как char ** argv и так далее.

Кроме того, он также предоставляет больше возможностей (определяемых реализацией).

Соответствующий текст (раздел 5.1.2.2.1, но этот конкретный аспект не изменился с C99) гласит:

Функция, вызываемая при запуске программы, называется main. Реализация не объявляет прототип для этой функции. Он должен быть определен с возвращаемым типом int и без параметров:

int main(void) { /* ... */ }

или с двумя параметрами (называемыми здесь argc и argv, хотя могут использоваться любые имена, поскольку они являются локальными для функции, в которой они объявлены):

int main(int argc, char *argv[]) { /* ... */ }

или эквивалент; или каким-либо другим способом, определяемым реализацией.

Если они объявлены, параметры функции main должны подчиняться следующим ограничениям:

• Значение argc должно быть неотрицательным.

• argv[argc] должен быть нулевым указателем.

• Если значение argc больше нуля, элементы массива с argv[0] по argv[argc-1] включительно должны содержать указатели на строки, которым среда хоста присваивает значения, определяемые реализацией, до запуска программы. Цель состоит в том, чтобы предоставить программе информацию, определенную до ее запуска, из другого места в размещенной среде. Если среда хоста не может предоставить строки с буквами как в верхнем, так и в нижнем регистре, реализация должна гарантировать, что строки будут получены в нижнем регистре.

• Если значение argc больше нуля, строка, на которую указывает argv[0], представляет имя программы; argv[0][0] должен быть нулевым символом, если имя программы недоступно в среде хоста. Если значение argc больше единицы, строки, указанные с argv[1] по argv[argc-1], представляют параметры программы.

• Параметры argc и argv и строки, на которые указывает массив argv, должны изменяться программой и сохранять свои последние сохраненные значения между запуском программы и ее завершением.

Обратите внимание, что это для размещенной среды, той, которую вы обычно видите в программах на C. Автономная среда (например, встроенная система) гораздо менее ограничена, как указано в 5.1.2.1 того же стандарта:

В автономной среде (в которой выполнение программы C может происходить без каких-либо преимуществ операционной системы) имя и тип функции, вызываемой при запуске программы, определяются реализацией. Любые библиотечные средства, доступные для автономной программы, кроме минимального набора, требуемого разделом 4, определяются реализацией.

Стандарт C

Для размещенной среды (это нормальная) стандарт C99 гласит:

5.1.2.2.1 Запуск программы

Функция, вызываемая при запуске программы, называется main. Реализация не объявляет прототип для этой функции. Он должен быть определен с возвращаемым типом int и без параметров:

int main(void) { /* ... */ }

или с двумя параметрами (называемыми здесь argc и argv, хотя могут использоваться любые имена, поскольку они являются локальными для функции, в которой они объявлены):

int main(int argc, char *argv[]) { /* ... */ }

или эквивалент; ⁹⁾ или каким-либо другим способом, определяемым реализацией.

⁹⁾ Таким образом, int может быть заменен именем typedef, определенным как int, или тип argv может быть записан как char **argv, и так далее.

Стандарты C11 и C18 говорят по существу то же, что и стандарт C99.

Стандартный C ++

Стандарт C ++ 98 гласит:

3.6.1 Основная функция [basic.start.main]

1 Программа должна содержать глобальную функцию с именем main, которая является назначенным запуском программы. [...]

2 Реализация не должна предопределять основную функцию. Эта функция не должна быть перегружена. Он должен иметь возвращаемый тип типа int, но в остальном его тип определяется реализацией. Все реализации должны допускать оба следующих определения main:

int main() { /* ... */ }

а также

int main(int argc, char* argv[]) { /* ... */ }

Стандарт C ++ явно говорит, что It [основная функция] должна иметь возвращаемый тип типа int, но в остальном его тип определяется реализацией и требует тех же двух сигнатур, что и стандарт C. Таким образом, void main () прямо не допускается стандартом C ++, хотя он ничего не может сделать, чтобы помешать нестандартной соответствующей реализации разрешать альтернативы (а также стандартной соответствующей реализации, позволяющей альтернативы в качестве расширений стандарта).

Стандарты C ++ 03, C ++ 11, C ++ 14 и C ++ 17 говорят по существу то же, что и C ++ 98.

Общее расширение

Традиционно системы Unix поддерживают третий вариант:

int main(int argc, char **argv, char **envp) { ... }

Третий аргумент - это список указателей на строки с завершающим нулем, каждая из которых является переменной среды, имеющей имя, знак равенства и значение (возможно, пустое). Если вы не используете это, вы все равно можете получить доступ к среде через 'extern char **environ;'. Эта переменная (все еще) не объявлена ​​ни в одном заголовке POSIX (несмотря на предыдущие версии этого ответа).

Это признано стандартом C как общее расширение, задокументированное в Приложении J:

### J.5.1 Аргументы среды

¶1 В размещенной среде основная функция получает третий аргумент, char *envp[], который указывает на массив указателей с завершающим нулем на char, каждый из которых указывает на строку, которая предоставляет информацию о среде для этого выполнения программы ( 5.1.2.2.1).

Microsoft C

Компилятор Microsoft VS 2010 является интересно. На сайте написано:

Синтаксис объявления для main:

 int main();

или, необязательно,

int main(int argc, char *argv[], char *envp[]);

В качестве альтернативы, функции main и wmain можно объявить как возвращающие void (без возвращаемого значения). Если вы объявляете main или wmain как возвращающие void, вы не можете вернуть код выхода родительскому процессу или операционной системе с помощью оператора return. Чтобы вернуть код выхода, когда main или wmain объявлено как void, вы должны использовать функцию exit.

Мне неясно, что происходит (какой код выхода возвращается родительскому элементу или o / s), когда программа с void main() действительно завершает работу - и веб-сайт MS тоже молчит.

Интересно, что MS не предписывает версию main() с двумя аргументами, которая требуется стандартами C и C ++. Он предписывает только форму с тремя аргументами, где третьим аргументом является char **envp, указатель на список переменных среды.

На странице Microsoft также перечислены некоторые другие альтернативы - wmain(), который принимает строки с расширенными символами, и некоторые другие.

Версия Microsoft VS 2005 для этой страницы не перечисляет void main() в качестве альтернативы. версии из Microsoft VS 2008 вперед делать.

int main() то же самое, что int main(void)?

Подробный анализ см. В конце моего ответа на Что main() должно возвращать в C и C ++. (Кажется, я когда-то считал, что этот вопрос относится к C ++, хотя это не так и никогда не было. В C ++ нет разницы между int main() и int main(void), а int main() является идиоматическим C ++.)

В C есть разница между двумя обозначениями, но вы замечаете это только в эзотерических случаях. В частности, есть разница, если вы вызываете функцию main() из своего собственного кода, что вам разрешено делать в C и не разрешено делать в C ++.

Обозначение int main() не является прототипом для main(), но это имеет значение только в том случае, если вы вызываете его рекурсивно. С int main() вы можете позже (в той же функции или в другой функции) написать int rc = main("absolute", "twaddle", 2):, и формально компилятор не должен жаловаться до такой степени, что отказывается компилировать код, хотя он может законно пожаловаться (предупредить вас) об этом (и использование -Werror с GCC преобразовало бы предупреждение в ошибку). Если вы используете int main(void), последующий вызов main() должен вызвать ошибку - вы сказали, что функция не принимает аргументов, но попытались предоставить три. Конечно, вы не можете законно вызвать main(), пока не объявили или не определили его (если вы все еще не используете семантику C90) - и реализация не объявляет прототип для main(). NB: Стандарт C11 иллюстрирует как int main(), так и int main(void) в разных примерах - оба действительны в C, хотя между ними есть небольшая разница.