非启动状态下main()函数的运行规则是否与启动时一致？

以下讨论基于宿主环境下的ISO C、ISO C++官方标准，独立环境（如嵌入式裸机、内核模块）的规则由具体实现自定义。

C 语言（允许程序内调用main） #

1. 非启动调用时，默认返回0的规则是否适用？ #

C99及后续版本的C标准明确规定，只要main函数执行到函数体末尾的闭合}且没有显式return语句，无论调用方是操作系统还是普通用户函数，都会隐式返回0。这和普通函数的规则不同：普通函数走到末尾无return时，若调用方使用其返回值，属于未定义行为。

2. 非启动调用时，argc是否必须为非负？ #

标准对argc非负的强制要求，仅适用于操作系统启动调用main的场景——启动时操作系统传入的argc必须是非负值，且argv[argc]为合法空指针。如果是普通函数主动调用main，传入的argc、argv完全由调用方自行决定，标准没有强制约束必须为非负，只要你写的main逻辑能正确处理即可。

3. 非启动状态的规则和启动时完全一致吗？ #

不完全一致，核心差异包括两点：

• 启动调用时，main的返回值会被操作系统用作程序退出状态码，非0值通常代表异常退出；非启动调用时，返回值只是普通int类型的函数返回值，由调用方自行处理，不会触发程序退出流程。
• 启动调用的入参遵循标准约定：比如argv[0]为程序的启动路径，命令行参数由操作系统按照shell规则拆分；非启动调用的入参完全是调用方自定义的，不遵循这套启动约定。

注意：即使是允许调用main的C语言场景，实际工程中也不推荐这么做，很容易引发栈溢出、参数越界访问等难以排查的问题。

C++ 语言规则 #

C从C98标准开始就明确禁止程序内部代码调用main，要求main不能被程序内代码引用（包括直接调用、取地址等odr-use行为）。这种情况下不存在合法的「非启动状态调用main」的场景，相关问题也就失去了讨论前提——如果强行写代码调用main，要么编译器直接报错，要么属于未定义行为。主流编译器（GCC、Clang、MSVC）都会对程序内调用main的代码直接报错，符合标准约束。

内容的提问来源于stack exchange，提问作者user2698605