C语言main()函数

C 语言有两种可能的运行环境中，它们之间有一定差别：

(1) 独立环境（freestanding）
     在独立环境中，C 程序的运行没有操作系统的支持，因此，只具有最小部分的标准库能力。

(2) 宿主环境（hosted）
     在宿主环境中，C 程序会在操作系统的控制和支持下运行。可得到完整的标准库能力。

在独立环境中，程序开始时所调用的第一个函数，其类型和名称是由正在运行的 C 语言实现版本所决定的。除非是在嵌入式系统上进行 C 程序开发，否则程序一般都运行在宿主环境中。

在宿主环境中编译的 C 程序必须定义一个名为 main 的函数，这是程序开始时调用的第一个函数。main（）函数的定义有以下两种形式：
(1) 函数没有参数，返回值为 int 类型。

int main( void ) { /* … */ }

(2) 函数有两个参数，类型分别是 int 和 char**，返回值是 int 类型。

int main( int argc, char *argv[ ] ) { /* … */ }

这两种定义方式都符合 C 语言标准。除此之外，许多 C 的实现版本还支持第三种、非标准语法的定义方式：

int main( int argc, char *argv[ ], char *envp[ ] ) { /* … */ }

函数返回值是 int，有 3 个参数：第一个是 int，另外两个是 char**。

在上面所有的例子中，main（）函数都会把最终的执行状态以整数的方式传递给操作系统。返回值如果是 0 或 EXIT_SUCCESS，就表示程序执行过程一切顺利；任何非 0 的返回值，尤其是 EXIT_FAILURE，则表示程序执行时出现了某种问题。

头文件 stdlib.h 中定义了上述的两个常量 EXIT_SUCCESS 和 EXIT_FAILURE。main（）函数不一定要有 return 语句。如果程序运行到 main（）函数块的右括号（}），那么就会自动向执行环境返回状态值 0。

main（）函数结束等效于调用标准库函数 exit（），main（）的返回值作为 exit（）的参数。

参数 argc 和 argv（也可以根据需要另外命名），代表了程序的命令行参数。它们的作用如下：

(1) argc（全称为 argument count）的值为 0 或者为命令行中启动该程序的字符串的数量。程序本身的名称也算作该字符串，也要计算进去。

(2) argv（全称为 arguments vector）是一个 char 指针数组，每个指针都独立的指向命令行中每个字符串：
　  数组中元素的个数，比 argc 的值多 1；最后一个元素 argv[argc] 是空指针。
　  如果 argc 大于 0，那么第一个字符串，argv[0]，就是程序本身的名称。如果运行环境不支持程序名称，那么 argv[0] 为空。
　  如果 argc 大于 1，从字符串 argv[1] 到 argv[argc-1] 包含该程序命令行参数。

(3) envp（全称为 environment pointer）在非标准的、有 3 个参数的 main（）函数版本中，是一个指针数组，每个指针都指向组成程序环境的一个字符串。通常，这个字符串的格式是“名称=值”。在标准 C 语言中，可以利用函数 getenv（）获取得这些环境变量。

例 1 是一个简单的程序，它输出自己的名称以及从操作系统传入的命令行参数。

【例1】命令行

#include <stdio.h>
int main( int argc, char *argv[ ] )
{
  if ( argc == 0 )
    puts( "No command line available." );
  else
  {                                            // 输出程序的名称
     printf( "The program now running: %s\n", argv[0] );
     if ( argc == 1 )
       puts( "No arguments received on the command line." );
     else
     {
       puts( "The command-line arguments:" );
       for ( int i = 1; i < argc; ++i )      // 将每个参数输出到不同行
         puts( argv[i] );
      }
   }
}

假设我们在 Unix 系统上执行程序，输入下面的命令行：

$ ./args one two "and three"

输出结果如下：

The program now running: ./args
The command-line arguments:
one
two
and three