在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()的合法定义?


当前回答

如果您确实存在与从进程返回整数的效率相关的问题,那么您可能应该避免多次调用该进程,从而导致返回值成为问题。

如果你这样做(多次调用一个进程),你应该找到一种方法将你的逻辑直接放在调用者内部,或者放在一个DLL文件中,而不需要为每个调用分配一个特定的进程;在这种情况下,多个流程分配会带来相关的效率问题。

详细地说,如果您只想知道返回0是否比返回1更有效,在某些情况下,它可能取决于编译器,但一般来说,假设它们是从相同的源(本地、字段、常量、嵌入代码中的、函数结果等)读取的,则需要完全相同的时钟周期数。

其他回答

接受的答案似乎是针对C++的,所以我想添加一个与C相关的答案,这在一些方面有所不同。ISO/IEC 9899:1989(C90)和ISO/IEC 9899:1999(C99)之间也进行了一些更改。

main()应声明为:

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

或同等产品。例如,int main(int argc,char*argv[])等同于第二个。在C90中,int返回类型可以省略,因为它是默认值,但在C99和更高版本中,不能省略int返回类型。

如果实现允许,main()可以用其他方式声明(例如,int main(int argc,char*argv[],char*envp[])),但这会使程序实现被定义,不再严格遵守。

标准为返回定义了三个严格一致的值(即,不依赖于实现定义的行为):0和EXIT_SUCCESS表示成功终止,EXIT_FAILURE表示失败终止。任何其他值都是非标准的,并定义了实现。在C90中,main()必须在末尾有一个显式返回语句,以避免未定义的行为。在C99和更新版本中,可以省略main()中的return语句。如果您这样做了,main()完成了,则会有一个隐式返回0。

最后,从标准的角度来看,从C程序递归调用main()并没有错。

main()的返回值显示程序如何退出。如果返回值为零,则表示执行成功,而任何非零值都表示执行中出现了问题。

返回0应告诉程序员程序已成功完成作业。

标准C-托管环境

对于托管环境(这是正常环境),C11标准(ISO/IEC 9899:2011)规定:

5.1.2.2.1程序启动程序启动时调用的函数名为main。实现声明没有此函数的原型。应使用返回类型int和no来定义参数:int main(void){/*…*/}或具有两个参数(此处称为argc和argv,但任何名称都可以是使用,因为它们是声明它们的函数的本地函数):int main(int argc,char*argv[]){/*…*/}或同等产品;10) 或者以某种其他实施方式定义的方式。如果声明了这些参数,则主函数的参数应符合以下要求约束条件:argc的值应为非负。argv[argc]应为空指针。如果argc的值大于零,则数组成员argv[0]到argv[argc-1](含)应包含字符串指针在程序启动之前由主机环境定义的实现值。这个目的是向程序提供程序启动前确定的信息来自托管环境中的其他地方。如果主机环境无法为字符串提供大小写字母,实现应确保以小写形式接收字符串。如果argc的值大于零,则argv[0]指向的字符串表示程序名称;如果程序名在主机环境中不可用。如果argc的值为大于1,argv[1]到argv[argc-1]指向的字符串表示程序参数。参数argc和argv以及argv数组指向的字符串应可由程序修改,并在程序之间保留其最后存储的值启动和程序终止。10) 因此,int可以被定义为int的typedef名称替换,或者argv的类型可以写成char**argv等。

C99或C11中的程序终止

main()返回的值以实现定义的方式传输到“环境”。

5.1.2.2.3程序终止1如果主函数的返回类型是与int兼容的类型对主函数的初始调用相当于使用值调用exit函数由主函数返回作为其参数;11) 到达终止main函数返回值0。如果返回类型与int不兼容返回到主机环境的终止状态未指定。11) 根据6.2.4,具有自动存储持续时间的对象的生存期在将在前一种情况下结束,即使在后一种情况中不会结束。

请注意,0被强制要求为“成功”。如果愿意,可以使用<stdlib.h>中的EXIT_FAILURE和EXIT_SUCCESS,但0和1都已建立。另请参阅大于255的退出代码-可能?。

在C89中(因此在Microsoft C中),没有关于main()函数返回但未指定返回值时会发生什么的语句;因此,它导致了未定义的行为。

7.22.4.4退出功能¶5最后,控制返回到主机环境。如果状态值为零或EXIT_SUCCESS,则返回状态成功终止的实现定义形式。如果状态值为EXIT_FAILURE,则返回状态不成功终止的实现定义形式。否则,返回的状态是实现定义的。

标准C++-托管环境

C++11标准(ISO/IEC 14882:2011)规定:

3.6.1主要功能[basic.start.Main]¶1程序应包含名为main的全局函数,该函数是程序的指定开始。[...]¶2实现不应预先定义主功能。该功能不应过载。它应返回类型为int,否则其类型是实现定义的。所有实现应允许以下两种主要定义:int main(){/*…*/}和int main(int argc,char*argv[]){/*…*/}在后一种形式中,argc应为从环境传递给程序的参数数程序在其中运行。如果argc为非零,则应在argv[0]中提供这些参数通过argv[argc-1]作为指向空终止多字节字符串(NTMBS)的初始字符的指针(17.5.1.4.2),argv[0]应是指向表示用于调用程序的名称或“”。argc的值应为非负值。argv的值[argc]应为0。[注意:建议在argv.-end之后添加任何其他(可选)参数注释]¶3不得在程序中使用函数main。main的链接(3.5)由实现定义。[...]¶5 main中的return语句具有离开main函数的效果(使用自动存储持续时间),并以返回值作为参数调用std::exit。如果控制到达终点在没有遇到return语句的情况下,执行返回0;

C++标准明确表示“它(主函数)应该有一个int类型的返回类型,否则它的类型是实现定义的”,并要求支持与C标准相同的两个签名作为选项。因此,C++标准直接不允许“void main()”,尽管它无法阻止允许替代方案的非标准实现。注意,C++禁止用户调用main(但C标准没有)。

C++11标准中的§18.5开始和终止有一段与§7.22.4.4 C11标准中的退出函数(如上所述)相同,除了脚注(仅说明exit_SUCCESS和exit_FAILURE在<cstdlib>中定义)。

标准C-通用扩展

典型地,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函数。

我不清楚当一个带有void main()的程序退出时会发生什么情况(返回给父系统或操作系统的退出代码),而且MS网站也保持沉默。

有趣的是,MS没有规定C和C++标准所要求的main()的双参数版本。它只规定了一个三参数形式,其中第三个参数是char**envp,一个指向环境变量列表的指针。

Microsoft页面还列出了其他一些替代方法-wmain(),它接受宽字符串,以及其他一些。

此页的Microsoft Visual Studio 2005版本未将void main()列为替代选项。从Microsoft Visual Studio 2008开始的版本可以。

标准C-独立环境

如前所述,上述要求适用于托管环境。如果您使用的是独立环境(这是托管环境的替代方案),那么标准就没什么好说的了。对于独立的环境,在程序启动时调用的函数不必称为main,并且对其返回类型没有限制。标准规定:

5.1.2执行环境定义了两种执行环境:独立环境和托管环境。在这两种情况下,当执行调用指定的C函数时,程序启动环境所有具有静态存储持续时间的对象应在程序启动前初始化(设置为其初始值)。这种初始化的方式和时间未另行规定。程序终止将控制权返回到执行环境。5.1.2.1独立环境在一个独立的环境中(在这种环境中,C程序的执行可能没有任何操作系统的好处),程序启动时调用的函数的名称和类型是由实现定义的。除第4条所要求的最小集合外,任何可供独立程序使用的图书馆设施均由实现定义。独立环境中程序终止的效果由实现定义。

第4条一致性的交叉引用指的是:

¶5严格符合要求的程序只能使用本国际标准中规定的语言和库的功能。3)它不能产生依赖于任何未指定、未定义或实现定义行为的输出,也不能超过任何最低实现限制。¶6两种形式的一致性实施是托管的和独立的。符合要求的托管实施应接受任何严格符合要求的程序。符合要求的独立实施应接受任何严格符合要求的程序,其中库条款(第7条)中规定的功能的使用仅限于标准标题<float.h>、<iso646.h>、<limits.h>、</stdalign.h>的内容,<stdarg.h>、<stdbool.h>、<tddef.h>、<stdint.h>和<stdnorturn.h>。一致的实现可能具有扩展(包括附加的库函数),前提是它们不会改变任何严格符合的程序的行为¶7符合性计划是符合性实施可接受的计划。5)3) 严格符合条件的程序可以使用条件特征(见6.10.8.3),前提是使用相关宏的适当条件包含预处理指令可以保护该使用。例如:#如果定义了__STDC_IEC_559__/*FE_UPWARD*//* ... */fesetround(FE_UPWARD);/* ... */#结束符4) 这意味着,除本国际标准中明确保留的标识符外,一致性实施不保留其他标识符。5) 严格一致的程序旨在在一致的实现中最大限度地可移植。符合性程序可能取决于符合性实现的非可移植特性。

值得注意的是,实际定义任何函数的独立环境所需的唯一标头是<stdarg.h>(甚至那些可能是而且通常只是宏)。

标准C++-独立环境

正如C标准承认托管和独立环境一样,C++标准也承认。(引自ISO/IEC 14882:2011。)

1.4实施合规性[简介合规性]¶7定义了两种实现:托管实现和独立实现。对于托管实现,本国际标准定义了一组可用的库。一个独立的实现是一种可以在没有操作系统的情况下执行的实现,它有一组实现定义的库,其中包括某些语言支持库(17.6.1.3)。¶8一致性实现可能具有扩展(包括附加的库函数),前提是它们不会改变任何格式良好的程序的行为。需要实施来诊断使用根据本国际标准格式不正确的扩展。然而,这样做之后,他们就可以编译和执行这样的程序了。¶9每个实现都应包括文档,以识别其不支持的所有有条件支持的构造,并定义所有特定于语言环境的特征。33) 本文档还定义了实现定义的行为;见1.9。17.6.1.3独立实施[合规]定义了两种实现:托管和独立(1.4)。对于托管实现,本国际标准描述了一组可用的头。独立的实现有一组实现定义的头。该装置应至少包括表16所示的集管。提供的头<cstdlib>版本应至少声明函数abort、atexit、at_quick_exit、exit和quick_eexit(18.5)。此表中列出的其他头应满足托管实现的相同要求。表16-独立实现的C++头子类标题

                                    <ciso646>
18.2  Types                         <cstddef>
18.3  Implementation properties     <cfloat> <limits> <climits>
18.4  Integer types                 <cstdint>
18.5  Start and termination         <cstdlib>
18.6  Dynamic memory management     <new>
18.7  Type identification           <typeinfo>
18.8  Exception handling            <exception>
18.9  Initializer lists             <initializer_list>
18.10 Other runtime support         <cstdalign> <cstdarg> <cstdbool>
20.9  Type traits                   <type_traits>
29    Atomics                       <atomic>

在C中使用int main()怎么样?

C11标准的标准§5.1.2.2.1显示了首选符号int main(void),但标准中也有两个示例显示int main():§6.5.3.4¶8和§6.7.6.3¶20。现在,需要注意的是,示例不是“规范性的”;它们只是说明性的。如果示例中存在错误,它们不会直接影响标准的主要文本。也就是说,它们强烈地表明了预期的行为,因此如果标准在一个示例中包含int main(),则表明int main(()不是禁用的,即使它不是首选的表示法。

6.5.3.4 sizeof和_Aligef运算符…¶8示例3在本示例中,计算可变长度数组的大小并从函数返回:#包括<stddef.h>size_t fsize3(整数n){字符b[n+3];//可变长度阵列返回sizeof b;//执行时间大小}int main(){size_t大小;size=fsize3(10);//fsize3返回13返回0;}

像int main(){…}这样的函数定义确实指定函数不接受参数,但不提供函数原型AFAICT。对于main(),这很少是问题;但这确实意味着,如果对main()进行递归调用,则不会检查参数。对于其他函数,这更是一个问题——当调用函数时,您确实需要在作用域中使用原型,以确保参数正确。

您通常不会在IOCCC之类的地方之外递归调用main(),并且在C++中明确禁止您这样做。我确实有一个测试程序,主要是为了新奇。如果您有:

int i = 0;
int main()
{
    if (i++ < 10)
        main(i, i * i);
    return 0;
}

并且使用GCC编译,不包括-Wstrict原型,它在严格的警告下干净地编译。如果它是main(void),则无法编译,因为函数定义显示“无参数”。

C89中的main()和K&R C未指定的返回类型默认为“int”。

return 1? return 0?

如果不在int main()中编写return语句,则默认情况下关闭的}将返回0。

(仅在c++和c99以后的版本中,对于c90,您必须编写return语句。请参阅为什么main不在此处返回0?)

父进程将接收返回0或返回1。在shell中,它会进入一个shell变量,如果您以shell形式运行程序而不使用该变量,则不必担心main()的返回值。

参见如何获取主函数返回的内容?。

$ ./a.out
$ echo $?

这样您可以看到它是变量$?它接收main()返回值的最低有效字节。

在Unix和DOS脚本中,成功时返回0,错误时返回非零。这是Unix和DOS脚本用来发现程序发生了什么并控制整个流程的标准。