概述

C 语言的执行环境分为独立环境（freestanding environment）与托管环境（hosted environment）两种。无论是哪种情况，当执行环境调用指定函数时，程序就启动了。在程序启动之前，所有静态存储对象（比如全局变量、static 修饰的变量）都被设置为初始化值。当程序终止时，它将控制权返回给执行环境。

独立环境

在独立环境中，C 程序的执行可以不借助于操作系统的任何帮助。在程序启动时，执行环境要调用的函数的名称和类型由实现决定。同样，该环境下程序的终止也取决于实现。

C 语言的规范与实现

如果一个严格一致程序中只用到了 C 库以下头文件中指定的功能，那么该程序一定会被一致独立环境实现所接受。

• <float.h>
• <iso646.h>
• <limits.h>
• <stdalign.h>
• <stdarg.h>
• <stdbool.h>
• <stddef.h>
• <stdint.h>
• <stdnoreturn.h>

托管环境

一般来说，我们不需要为 C 程序提供托管环境。但如果的确用到了该环境，那么必须满足以下几个条件。

• 程序启动

程序启动时被调用函数的名称是 main。该函数可以不带任何参数，返回 int 类型，形如：

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

或者，带有两个参数（这里写作 int argc, char *argv[]，也可使用其它等价形式），形如：

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

其中：

– argc 是非负整数

– argv[argc] 的值是空指针

– argv[0] 至 argv[argc-1] 中包含指向字符串的指针

– 如果 argc 大于 0，argv[0] 代表程序名称，argv[1] - argv[argc-1] 中是程序参数

– argc、argv 以及 argv 数组指向的字符串可以被程序修改，其值保留至程序终止

• 程序执行

在托管环境中，可以使用 C 库中所有的函数、宏定义、类型定义和对象。

• 程序终止

如果 main 函数的返回类型是 int 或兼容类型，那么函数最后的 return x; 相当于调用 C 库的 exit(x);。如果程序来到了 main 函数最后的 }，则 main 函数返回 0。

#头条创作挑战赛##C语言每日小知识#