C语言程序执行结束于return还是main函数结束？

简短回答

C语言程序的执行结束于 main 函数的返回。

当 main 函数执行完毕并返回一个值（或隐式返回）时，程序的主体部分就执行结束了，操作系统会接收到这个返回值，然后程序终止。

详细解释

让我们深入探讨一下这个过程。

程序的入口和出口

• 入口点：在大多数C语言实现中（如GCC、Clang、MSVC），程序的执行都是从 main 函数开始的，操作系统在启动你的程序后，会自动调用 main 函数。
• 出口点：程序的正常终止点就是 main 函数的结束，当 main 函数中的所有语句都执行完毕，或者遇到 return 语句时，程序就会开始关闭并退出。

main 函数的返回值

main 函数有两个常见的签名形式：

int main(void) 这是最常见的形式。int 表示 main 函数需要返回一个整数值给操作系统。

#include <stdio.h>
int main(void) {
    printf("Hello, World!\n");
    // 程序执行到这里，main函数结束。
    // 如果没有显式return，编译器会自动在末尾加上一个 "return 0;"。
    // 0 通常表示程序成功执行。
    return 0; // 程序正常结束，返回0给操作系统
}

*`int main(int argc, char argv[])** 这种形式允许程序接收来自命令行的参数。argc是参数个数，argv` 是参数字符串数组，返回值的含义与第一种形式相同。

#include <stdio.h>
int main(int argc, char *argv[]) {
    printf("程序启动，共 %d 个参数，\n", argc);
    for (int i = 0; i < argc; i++) {
        printf("参数 %d: %s\n", i, argv[i]);
    }
    return 0; // 程序正常结束
}

返回值的约定

• 返回 0：表示程序成功执行完毕，没有发生错误，这是约定俗成的成功标志。
• 返回非零值：通常表示程序执行过程中遇到了某种错误或异常，不同的非零值可以用来区分不同类型的错误，在Linux/Unix系统中，1 通常表示通用错误，2 表示误用Shell命令等。

程序的非正常结束

除了 main 函数正常返回，程序也可能通过以下方式非正常结束：

• 调用 exit() 函数：在代码的任何地方调用 stdlib.h 中声明的 exit() 函数，可以立即终止程序。

  #include <stdio.h>
  #include <stdlib.h> // 需要包含此头文件
  int main(void) {
      printf("程序即将调用 exit() 终止，\n");
      exit(0); // 立即终止程序，返回0
      printf("这行代码永远不会被执行。");
      return 0;
  }

  exit() 会执行一些清理工作，比如调用通过 atexit() 注册的函数，然后关闭所有打开的文件流（stdio 的缓冲区也会被刷新）。

• 调用 abort() 函数：调用 stdlib.h 中的 abort() 函数会异常终止程序，与 exit() 不同，abort() 不会调用清理函数（如 atexit 注册的函数），也不会刷新文件流，它通常会向操作系统发送一个异常终止信号（SIGABRT），并生成一个核心转储文件（用于调试）。

• 收到致命信号：程序可以被操作系统或用户通过信号终止。

  • 在终端按下 Ctrl+C 会发送 SIGINT 信号，通常会终止程序。
  • 程序访问非法内存（如空指针）会触发 SIGSEGV 段错误信号，导致程序崩溃。

return、exit() 和 abort() 的区别

• 正常情况下，C语言程序的执行结束于 main 函数的返回。
• main 函数返回的 int 值是 程序的退出状态码，0 表示成功，非零表示错误。
• 程序也可以通过调用 exit() 或 abort() 函数，或接收到致命信号来非正常结束。
• 在C++中，情况类似，但推荐使用 return 0 或 std::exit()，并且当 main 函数没有返回值时，编译器会自动添加 return 0;。