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


当前回答

返回什么取决于您要对可执行文件执行什么操作。例如,如果您使用带有命令行shell的程序,则需要返回0表示成功,返回非零表示失败。然后,您就可以根据代码的结果在shell中使用带有条件处理的程序。此外,您还可以根据您的解释分配任何非零值,例如,对于严重错误,不同的程序退出点可以终止具有不同退出值的程序,调用shell可以通过检查返回的值来决定要做什么。如果代码不打算与shell一起使用,并且返回的值不会影响任何人,那么可以省略它。我个人使用签名int main(void){..return 0;..}

其他回答

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

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

标准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),则无法编译,因为函数定义显示“无参数”。

操作系统可以使用返回值来检查程序是如何关闭的。

返回值0通常意味着大多数操作系统(我无论如何都能想到的操作系统)正常。

当您自己调用进程时,也可以检查它,看看程序是否退出并正确完成。

这不仅仅是一个编程惯例。

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(),但应避免。

请记住,即使您返回的是int,某些OS(Windows)也会将返回的值截断为单个字节(0-255)。