接受的答案似乎是针对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（）并没有错。

这里有一个关于返回代码用法的小演示。。。

当使用Linux终端提供的各种工具时，可以使用返回代码，例如在过程完成后进行错误处理。假设存在以下文本文件myfile：

这是一些示例，以检查grep的工作原理。

执行grep命令时，将创建一个进程。一旦它通过（并且没有中断），它将返回一些介于0和255之间的代码。例如：

$ grep order myfile

如果你这样做

$ echo $?
$ 0

您将获得0。为什么？因为grep找到了匹配项并返回了退出代码0，这是成功退出的通常值。原因可能在于简单检查是否一切正常的布尔性质。对0（布尔值假）的简单否定返回1（布尔值真），这可以在if-else语句中轻松处理。

让我们再次检查它，但不在文本文件中，因此不会找到匹配项：

$ grep foo myfile
$ echo $?
$ 1

由于grep未能将标记“foo”与文件内容匹配，因此返回代码为1（这是发生故障时的常见情况，但如上所述，您有很多值可供选择）。同样，如果我们将其放在简单的布尔上下文中（一切正常与否），则否定1（布尔值为真）会产生0（布尔值假），这同样可以通过if-else语句轻松处理。当涉及布尔值时，任何不是0的值都被视为等同于1（因此，在用于检查是否发生错误的简单if-else语句中，2、3、4等的工作方式与使用1的情况相同）。您可以使用不同的返回值来增加错误状态的粒度。对于成功执行的状态，使用0以外的任何值都被认为是不好的做法（由于上面给出的原因）。

以下bash脚本（只需在Linux终端中键入它）虽然非常基本，但应该能给出一些错误处理的概念：

$ grep foo myfile
$ CHECK=$?
$ [ $CHECK -eq 0] && echo 'Match found'; [ $CHECK -ne 0] && echo 'No match was found'
$ No match was found

在第二行之后，由于“foo”使grep返回1，所以没有任何内容打印到终端，我们检查grep的返回代码是否等于0。第二个条件语句在最后一行回显其消息，因为由于CHECK==1，它是真的。

正如您所看到的，如果您正在调用这个和那个进程，有时需要查看它返回了什么（通过main（）的返回值），例如在运行测试时。

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

接受的答案似乎是针对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（）并没有错。

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

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

main（）在C和C++中应该返回什么？

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

如果int main（），则返回1或0？

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

ISO现在要求C和C++都使用“int”作为“main”的返回类型。

这两种语言以前都允许隐式“int”，而“main”的声明没有任何返回类型。事实上，C++的第一个外部版本（1985年2月发布的“cfront”E版），用自己的语言编写，声明为“main”，没有任何返回类型。。。但返回了一个整数值：错误数或127，以较小者为准

至于返回什么的问题：C和C++的ISO标准与POSIX标准同步工作。对于符合POSIX标准的任何托管环境，（1） 126为OS的外壳保留以指示不可执行的实用程序，（2） 127为OS的外壳保留，（3） 公用设施的退出值在逐个公用设施的基础上单独列出，（4） 调用外壳外部的实用程序的程序应该为它们自己的出口使用类似的值，（5） 值128和以上用于指示由于接收信号而导致的终止，（6） 值1-125表示故障，（7） 值0表示成功。

在C和C++中，值EXIT_SUCCESS和EXIT_FAILURE用于处理最常见的情况：用于报告成功或仅报告一般失败的程序。它们可以但不必分别等于0和1。

这意味着，如果您希望程序为不同的故障模式或状态指示返回不同的值，同时继续使用这两个常量，您可能必须首先确保附加的“故障”或“状态”值严格位于max（EXIT_SUCCESS，EXIT_failure）和126之间（并希望两者之间有足够的空间），并保留EXIT_FAILURE以标记通用或默认故障模式。

否则，如果你不打算使用常量，那么你应该按照POSIX的要求去做。

对于在独立环境或不符合POSIX的主机上使用的程序，我只能说以下几点：

我已经编写了独立的程序——作为自定义运行时系统上的多线程程序（以及其他一切的自定义工具库）。我遵循的一般规则是：（1） “main”运行前台进程，通常仅由启动、配置或初始化例程组成，但也可能包含用于连续操作的前台进程（如轮询循环），（2） “main”返回到无限睡眠和等待循环，（3） 未定义或使用“main”的返回值，（4） 后台进程单独运行，作为中断驱动和事件驱动线程，独立于“主”，仅在收到重置信号或其他线程时终止。。。或者简单地关闭对驱动线程的任何事件的监视。