在C和C++中定义main()函数的正确(最有效)方法是什么?int main()或void main()-为什么?那争论呢?如果int main(),则返回1或0?


这个问题有很多重复之处,包括:

C的main()函数的有效签名是什么?main()函数的返回类型void main()和int main()之间的区别?main()在C中的签名++main()的正确声明是什么?-对于C++,确实有一个非常好的答案。C中main()函数的样式C中main()方法的返回类型C中的int main()与void main()

相关:

C++-int main(int argc,char**argv)C++-int main(int argc,char*argv[])char*envp[]作为main()的第三个参数是否可移植?int main()函数必须在所有编译器中返回值吗?为什么C和C++中main()函数的类型留给用户定义?为什么int main(){}编译?C++14中main()的合法定义?


当前回答

注意,C和C++标准定义了两种实现:独立的和托管的。

C90托管环境

允许的表单1:

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

main (void)
main (int argc, char *argv[])
/*... etc, similar forms with implicit int */

评论:

前两个被显式声明为允许的形式,其他的被隐式允许,因为C90允许返回类型和函数参数为“隐式int”。不允许使用其他形式。

C90独立环境

允许使用任何形式或名称的main 2。

C99托管环境

允许的表单3:

int main (void)
int main (int argc, char *argv[])
/* or in some other implementation-defined manner. */

评论:

C99删除了“隐式int”,因此main()不再有效。

引入了一个奇怪的、模棱两可的句子“或以某种其他实现定义的方式”。这可以被解释为“intmain()的参数可能不同”或“main可以有任何实现定义的形式”。

一些编译器选择以后一种方式解释标准。可以说,人们不能轻易地通过引用标准本身来说明他们不符合标准,因为它是模棱两可的。

然而,允许main()的完全野生形式可能不是(?)这个新句子的意图。C99的基本原理(非规范性)意味着该语句引用了int main 4的附加参数。

然而,托管环境程序终止部分继续讨论main不返回int 5的情况。尽管该部分对于如何声明main并不是规范性的,但它肯定意味着即使在托管系统上,main也可以以完全实现定义的方式声明。

C99独立环境

允许使用任何形式或名称的main。

C11托管环境

允许的表单7:

int main (void)
int main (int argc, char *argv[])
/* or in some other implementation-defined manner. */

C11独立环境

允许使用任何形式或名称的main。


注意,在上述任何版本中,int main()从未被列为C的任何托管实现的有效形式。在C中,与C++不同,()和(void)有不同的含义。前者是一种过时的特征,可以从语言中删除。参见C11未来语言方向:

6.11.6函数声明器使用带有空括号的函数声明符(而不是原型格式参数类型声明符)是一种过时的特性。


C++03托管环境

允许的表单9:

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

评论:

注意第一种形式中的空括号。在这种情况下,C++和C是不同的,因为在C++中,这意味着函数不带参数。但在C中,这意味着它可以采用任何参数。

C++03独立环境

启动时调用的函数的名称是实现定义的。如果它被命名为main(),它必须遵循所述的格式10:

// implementation-defined name, or 
int main ()
int main (int argc, char *argv[])

C++11托管环境

允许的表单11:

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

评论:

标准文本已更改,但含义相同。

C++11独立环境

启动时调用的函数的名称是实现定义的。如果它被命名为main(),它必须遵循所述的形式12:

// implementation-defined name, or 
int main ()
int main (int argc, char *argv[])

工具书类

ANSI X3.159-1989 2.1.2.2托管环境。“程序启动”

程序启动时调用的函数名为main。这个实现没有声明此函数的原型。应为定义为返回类型为int且没有参数:

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

或具有两个参数(这里称为argc和argv,但可以使用任何名称,因为它们是本地的声明它们的函数):

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

ANSI X3.159-1989 2.1.2.1独立环境:

在独立的环境中(C程序执行可能需要没有任何操作系统好处的地方)、名称和类型在程序启动时调用的函数的实现是定义的。

ISO 9899:1999 5.1.2.2托管环境->5.1.2.2.1程序启动

程序启动时调用的函数名为main。这个实现没有声明此函数的原型。应为定义为返回类型为int且没有参数:

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

或具有两个参数(这里称为argc和argv,但可以使用任何名称,因为它们是本地的声明它们的函数):

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

或同等产品;9) 或在定义的某些其他实现中方式

国际标准编程语言-C的基本原理,修订版5.10。5.1.2.2托管环境-->5.1.2.2.1程序启动

main参数的行为,以及exit、main和atexit的交互作用(见§7.20.4.2)已被编入法典,以抑制argv表示中的一些不必要的变化字符串,以及main返回值的含义。

argc和argv作为main参数的规范承认了广泛的先前实践。argv[argc]必须是空指针,以便为列表末尾提供冗余检查,这也是基于常见的做法。

main是唯一一个可以用零或两个参数声明的函数。(其他函数的参数数量必须在调用和定义之间完全匹配。)这种特殊情况只是认识到当程序不访问程序参数字符串时,将参数保留为main的普遍做法。尽管许多实现支持两个以上的主要论点,但标准既不支持也不禁止这种做法;用三个参数定义main的程序并不严格符合(见§J.5.1.)。

ISO 9899:1999 5.1.2.2托管环境-->5.1.2.2.3程序终止

如果主函数的返回类型是与int兼容的类型,那么从初始调用到主函数的一个返回就相当于用主函数返回的值作为其参数调用退出函数;11) 到达终止主函数的}返回值0。如果返回类型与int不兼容,则返回到主机环境的终止状态未指定。

ISO 9899:1999 5.1.2.1独立环境

在一个独立的环境中(在这种环境中,C程序的执行可能没有任何操作系统的好处),程序启动时调用的函数的名称和类型是由实现定义的。

ISO 9899:2011 5.1.2.2托管环境->5.1.2.2.1程序启动

本节与上述C99节相同。

ISO 9899:1999 5.1.2.1独立环境

本节与上述C99节相同。

ISO 14882:2003 3.6.1主要功能

实现不应预先定义主功能。该功能不应过载。它应该具有int类型的返回类型,否则它的类型是实现定义的。所有实现应允许以下两种主要定义:

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

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

ISO 14882:2003 3.6.1主要功能

它定义了独立环境中的程序是否需要定义主功能。

ISO 14882:2011 3.6.1主要功能

实现不应预先定义主功能。该功能不应过载。它应该具有int类型的返回类型,否则它的类型是实现定义的。所有实施应允许两者-返回int和-返回int的(int,指向指向char的指针)函数作为主要类型(8.3.5)。

ISO 14882:2011 3.6.1主要功能

本节与上述C++03节相同。

其他回答

在Windows上,如果程序因访问冲突而崩溃,则退出代码将为STATUS_access_violation(0xC0000005)。类似于x86异常导致的其他类型的崩溃。

因此,除了从main返回或传递到exit之外,还有其他东西可以导致退出代码被看到。

main的返回值指示程序如何退出。正常出口由main的0返回值表示。异常退出是由非零返回发出的信号,但对于如何解释非零代码没有标准。正如其他人所指出的,void main()是C++标准所禁止的,不应该使用。有效的C++主签名是:

int main(void)

and

int main(int argc, char **argv)

相当于

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

还值得注意的是,在C++中,int main()可以不带return语句,此时默认返回0。C99项目也是如此。是否返回0;是否应被省略值得商榷。有效的C程序主签名的范围要大得多。

效率不是主要功能的问题。根据C++标准,只能输入和离开一次(标记程序的开始和终止)。对于C,允许重新输入main(),但应避免。

在C中,C11标准第5.1.2.2.1节(强调矿井):

应使用返回类型int和no来定义参数:int main(void){/*…*/}或者使用两个参数(这里称为argc和argv可以使用任何名称,因为它们是所在函数的本地名称声明):int main(int argc,char*argv[]){/*…*/}

然而,对于像我这样的初学者来说,一个抽象的例子可以让我掌握它:

在程序中编写方法时,例如int read_file(char filename[LEN]);,然后,作为此方法的调用方,您希望知道一切是否顺利(因为可能会发生故障,例如找不到文件)。通过检查方法的返回值,您可以知道一切是否顺利,这是该方法向您发出成功执行(或失败)的信号,并让调用者(例如,在主方法中)决定如何处理意外失败的机制。

现在想象一下,我为一个用于更复杂系统的微机构编写了一个C程序。当系统调用微机制时,它想知道一切是否按预期进行,以便能够处理任何潜在的错误。如果C程序的主方法返回void,那么调用系统如何知道其子系统(微机制)的执行?它不能,这就是main()返回int的原因,以便向调用方传达成功(或失败)的执行。

换句话说:

原因是主机环境(即操作系统(OS))需要知道程序是否正确完成。如果没有int兼容类型作为返回类型(例如void),则“返回到主机环境的状态未指定”(即大多数操作系统上的未定义行为)。

在C和C++中定义main()函数的正确(最有效)方法是什么?int main()或void main()-为什么?

这些词“(最有效)”并不能改变问题。除非您处于独立的环境中,否则有一种普遍正确的方法来声明main(),那就是返回int。

main()在C和C++中应该返回什么?

一个int,纯粹而简单。它不仅仅是“应该返回什么”,而是“必须返回什么”。main()当然是其他人调用的函数。您无法控制调用main的代码。因此,必须使用类型正确的签名声明main以匹配其调用者。你在这件事上没有任何选择。你不必问自己什么效率更高或更低,什么风格更好或更差,或者诸如此类的问题,因为答案已经由C和C++标准完美地定义了。跟着他们就行了。

如果int main(),则返回1或0?

0表示成功,非零表示失败。同样,这不是你需要(或得到)选择的东西:它是由你应该遵守的接口定义的。

注意,C和C++标准定义了两种实现:独立的和托管的。

C90托管环境

允许的表单1:

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

main (void)
main (int argc, char *argv[])
/*... etc, similar forms with implicit int */

评论:

前两个被显式声明为允许的形式,其他的被隐式允许,因为C90允许返回类型和函数参数为“隐式int”。不允许使用其他形式。

C90独立环境

允许使用任何形式或名称的main 2。

C99托管环境

允许的表单3:

int main (void)
int main (int argc, char *argv[])
/* or in some other implementation-defined manner. */

评论:

C99删除了“隐式int”,因此main()不再有效。

引入了一个奇怪的、模棱两可的句子“或以某种其他实现定义的方式”。这可以被解释为“intmain()的参数可能不同”或“main可以有任何实现定义的形式”。

一些编译器选择以后一种方式解释标准。可以说,人们不能轻易地通过引用标准本身来说明他们不符合标准,因为它是模棱两可的。

然而,允许main()的完全野生形式可能不是(?)这个新句子的意图。C99的基本原理(非规范性)意味着该语句引用了int main 4的附加参数。

然而,托管环境程序终止部分继续讨论main不返回int 5的情况。尽管该部分对于如何声明main并不是规范性的,但它肯定意味着即使在托管系统上,main也可以以完全实现定义的方式声明。

C99独立环境

允许使用任何形式或名称的main。

C11托管环境

允许的表单7:

int main (void)
int main (int argc, char *argv[])
/* or in some other implementation-defined manner. */

C11独立环境

允许使用任何形式或名称的main。


注意,在上述任何版本中,int main()从未被列为C的任何托管实现的有效形式。在C中,与C++不同,()和(void)有不同的含义。前者是一种过时的特征,可以从语言中删除。参见C11未来语言方向:

6.11.6函数声明器使用带有空括号的函数声明符(而不是原型格式参数类型声明符)是一种过时的特性。


C++03托管环境

允许的表单9:

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

评论:

注意第一种形式中的空括号。在这种情况下,C++和C是不同的,因为在C++中,这意味着函数不带参数。但在C中,这意味着它可以采用任何参数。

C++03独立环境

启动时调用的函数的名称是实现定义的。如果它被命名为main(),它必须遵循所述的格式10:

// implementation-defined name, or 
int main ()
int main (int argc, char *argv[])

C++11托管环境

允许的表单11:

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

评论:

标准文本已更改,但含义相同。

C++11独立环境

启动时调用的函数的名称是实现定义的。如果它被命名为main(),它必须遵循所述的形式12:

// implementation-defined name, or 
int main ()
int main (int argc, char *argv[])

工具书类

ANSI X3.159-1989 2.1.2.2托管环境。“程序启动”

程序启动时调用的函数名为main。这个实现没有声明此函数的原型。应为定义为返回类型为int且没有参数:

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

或具有两个参数(这里称为argc和argv,但可以使用任何名称,因为它们是本地的声明它们的函数):

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

ANSI X3.159-1989 2.1.2.1独立环境:

在独立的环境中(C程序执行可能需要没有任何操作系统好处的地方)、名称和类型在程序启动时调用的函数的实现是定义的。

ISO 9899:1999 5.1.2.2托管环境->5.1.2.2.1程序启动

程序启动时调用的函数名为main。这个实现没有声明此函数的原型。应为定义为返回类型为int且没有参数:

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

或具有两个参数(这里称为argc和argv,但可以使用任何名称,因为它们是本地的声明它们的函数):

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

或同等产品;9) 或在定义的某些其他实现中方式

国际标准编程语言-C的基本原理,修订版5.10。5.1.2.2托管环境-->5.1.2.2.1程序启动

main参数的行为,以及exit、main和atexit的交互作用(见§7.20.4.2)已被编入法典,以抑制argv表示中的一些不必要的变化字符串,以及main返回值的含义。

argc和argv作为main参数的规范承认了广泛的先前实践。argv[argc]必须是空指针,以便为列表末尾提供冗余检查,这也是基于常见的做法。

main是唯一一个可以用零或两个参数声明的函数。(其他函数的参数数量必须在调用和定义之间完全匹配。)这种特殊情况只是认识到当程序不访问程序参数字符串时,将参数保留为main的普遍做法。尽管许多实现支持两个以上的主要论点,但标准既不支持也不禁止这种做法;用三个参数定义main的程序并不严格符合(见§J.5.1.)。

ISO 9899:1999 5.1.2.2托管环境-->5.1.2.2.3程序终止

如果主函数的返回类型是与int兼容的类型,那么从初始调用到主函数的一个返回就相当于用主函数返回的值作为其参数调用退出函数;11) 到达终止主函数的}返回值0。如果返回类型与int不兼容,则返回到主机环境的终止状态未指定。

ISO 9899:1999 5.1.2.1独立环境

在一个独立的环境中(在这种环境中,C程序的执行可能没有任何操作系统的好处),程序启动时调用的函数的名称和类型是由实现定义的。

ISO 9899:2011 5.1.2.2托管环境->5.1.2.2.1程序启动

本节与上述C99节相同。

ISO 9899:1999 5.1.2.1独立环境

本节与上述C99节相同。

ISO 14882:2003 3.6.1主要功能

实现不应预先定义主功能。该功能不应过载。它应该具有int类型的返回类型,否则它的类型是实现定义的。所有实现应允许以下两种主要定义:

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

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

ISO 14882:2003 3.6.1主要功能

它定义了独立环境中的程序是否需要定义主功能。

ISO 14882:2011 3.6.1主要功能

实现不应预先定义主功能。该功能不应过载。它应该具有int类型的返回类型,否则它的类型是实现定义的。所有实施应允许两者-返回int和-返回int的(int,指向指向char的指针)函数作为主要类型(8.3.5)。

ISO 14882:2011 3.6.1主要功能

本节与上述C++03节相同。