本手册遵循二八定律。你将在 20% 的时间内学习 80% 的 C 编程语言。

这种方式将会让你对这门语言有一个全面的认识。

本手册并不会尝试覆盖与 C 有关的一切。它只会关注这门语言的核心部分，尽量将更加复杂的主题简单化。

提示：你可以从这里获得这本手册的 PDF 或 ePub 版本。

尽情享受吧！ C 语言简介 变量与类型 常量 运算符 条件语句 循环 数组 字符串 指针 函数 输入与输出 变量作用域 静态变量 全局变量 类型定义 枚举类型 结构体 命令行参数 头文件 预处理器 结语

C 可能是最广为人知的编程语言。它被全世界的计算机科学课程中用作参考语言，除了 Python 与 Java，它可能是人们在学校学得最多得编程语言。

我记得它是我在 Pascal 之后的第二门编程语言。

学生们用 C 来学习编程，但它的作用远不止这一点。它不是一门学术型语言。它不是最简单的语言，因为 C 是一门非常底层的编程语言。

今天，C 在嵌入式设备中广泛使用，它驱动着绝大多数用 Linux 搭建的因特网服务器。Linux 内核是用 C 写的，这也意味着 C 驱动着所有安卓设备的内核。可以这么说，此时此刻，整个世界的一大部分就是由 C 代码运行的，令人惊叹。

在诞生之初，C 被认为是一门高级语言，因为它可以在不同机器之间移植。如今，我们或多或少都认为在 Mac 或 Windows 或 Linux 运行一个程序（可能使用 Node.js 或 Python）是理所当然的。

在以前，完全不是这样的。C 带来了一门易于实现的语言，它的编译器可以很容易地被移植到不同的机器上。

我说下译器：C 是一门编译型语言，就像 Go、Java、Swift 或 Rust 一样。其它流行的语言，比如 Python、Ruby 或 JavaScript 都是解释型语言。编译型语言与解释型语言的差别是不变的：编译型语言生成的是可直接执行和分发的二进制文件。

C 不支持垃圾收集（garbage collection），这意味着我们必须自己管理内存。管理内存是一项复杂的任务，需要十分小心才能预防缺陷，但 C 也因此成为了嵌入式设备（例如 Arduino）编程的理想语言。

C 并不会隐藏下层机器的复杂性和能力。一旦知道你能做什么，你就能拥有巨大的能力。

现在，我想介绍第一个 C 程序，我们将会管它叫“Hello, World”。

hello.c

让我们描述一下这段程序源代码：我们首先导入了 库（ 表示的是标准输入输出库（standard input-output library））。

这个库允许我们访问输入/输出函数。

C 是一门内核非常小的语言，任何内核以外的部分都以库的形式提供。其中一些库由普通编程人员构建并供他人使用。另一些库被内置在编译器中，比如 等。

库提供了 函数。

这个函数被包裹在 函数中， 函数是所有 C 程序的入口。

但是，究竟什么是函数呢？

函数（function）是一个例程，它接收一个或多个参数并返回一个值。

在 的例子中，函数没有参数，返回一个整数。我们使用 关键字标识该参数，使用 关键字标识返回值。

函数有一个由花括号包裹的函数体，函数需要进行的所有操作的代码都在函数体内。

如你所见， 函数的写法稍有不同。它没有定义返回值，并且我们给它传入了一个用双引号包裹的字符串。我们并没有声明参数的类型。

那是因为这是一个函数调用。在 库中的某个地方， 被定义成

你现在不需要理解这是何含义，简单来说，这是就是函数定义。当我们调用 时，这就是该函数运行的地方。

我们在上面定义的 函数：

将会在程序被执行的时候由操作系统运行。

我们如何执行一个 C 程序呢？

如我所说，C 是一门编译型语言。要运行程序，我们必须先编译它。任何 Linux 或 macOS 计算机都自带了 C 编译器。至于 Windows，你可以使用适用于 Linux 的 Windows 子系统（WSL）。

无论如何，你都可以在打开终端时输入 ，这个命令应该会返回一个错误，提示你没有声明任何文件：

很好。它说明 C 编译器是有的，现在我们可以开始使用它了。

现在将上面的程序输入到一个名为 的文件中。你可以使用任何编辑器，不过为了简单起见，我将在命令行中使用 编辑器：

输入程序：

现在按 退出：

按 键确认，然后按回车键确认文件名：

就是这样，我们现在应该已经回到终端了：

现在输入

程序应该不会给你任何错误信息：

但是它应该已经生成了一个名为 的可执行程序。现在输入

运行它：

我在程序名的前面加了 ，告诉终端要执行的命令就在当前目录下。

太棒了！

现在，如果你调用 ，你能看到这个程序只有 12KB 大：

这是 C 的优点之一：它是高度优化的，这也是它非常适用于资源非常有限的嵌入式设备的原因之一。

C 是一门静态类型语言。

这意味着任何变量都有一个相关联的类型，并且该类型在编译时是可知的。

这与你在 Python、JavaScript、PHP 和其它解释型语言中使用变量的方式大有不同。

当你在 C 中创建变量时，你必须在声明中给出该变量的类型。

在这个示例中，我们初始化一个 类型的变量 ：

变量名可以包含任意大写或小写字母，也可以包含数字和下划线，但是不能以数字开头。 和 都是有效的变量名，但 就不是了。

你还可以在声明中初始化变量，给出初始值即可：

变量一旦声明，你就可以在程序代码中使用它了。你在任何时候都可以使用 改变它的值，例如 （提供的新值的类型与原值相同）。

在这种情况下：

编译器会在编译时发出警告，然后将小数转为整数。

C 的内置数据类型有 、、、、、、。咱们进一步了解这些数据类型吧。

C 给我们提供了下列定义整数的类型：

通常，你很可能会使用 保存整数。但是在某些情况下，你或许想在其它三个选项中选取合适的类型。

类型通常被用来保存 ASCII 表中的字母，但是它也可以用来保存 到 之间的小整数。它占据至少一个字节。

占据至少两个字节。 占据至少两个字节。 占据至少四个字节。

如你所见，我们并不保证不同环境下的值相同。我们只有一个指示。问题在于每种数据类型中所存储的具体值是由实现和系统架构决定的。

我们保证 不会比 长。并且我们还保证 不会比 短。

ANSI C 规范标准确定了每种类型的最小值，多亏了它，我们至少可以知道使用某个类型时可以期待的最小值。

如果你正在 Arduino 上用 C 编程，不同的板子上的限制会有所不同。

在 Arduino Uno 开发板上， 占两个字节，范围从 到 。在 Arduino MKR 1010 上， 占四个字节，范围从 到 。差异还真不小。

在所有的 Arduino 开发板上， 都占两个字节，范围从 到 。 占四个字节，范围从 到 。

对于以上所有的数据类型，我们都可以在其前面追加一个 。这样一来，值的范围就不再从负数开始，而是从 0 开始。这在很多情况下是很有用的。 的范围从 开始，至少到 的范围从 开始，至少到 的范围从 开始，至少到 的范围从 开始，至少到

鉴于所有这些限制，可能会出现一个问题：我们如何确保数字不超过限制？如果超过了限制会怎样？

如果你有一个值为 255 的 ，自增返回的值为 256，这在意料之中。如果你有一个值为 255 的 ，你得到的结果就是 0。它重置为了初始值。

如果你有一个值为 255 的 ，给它加上 10 会得到数字 ：

If you don't have a signed value, the behavior is undefined.

原文这里可能是 typo，从代码来看，这里描述的是有符号整数的溢出行为。

如果你的值是有符号的，程序的行为则是未知的。程序基本上会给你一个很大的值，这个值可能变化，就像这样：

换句话说，C 并不会在你超出类型的限制时保护你。对于这种情况，你需要自己当心。

如果你声明变量并用错误的值进行初始化， 编译器（你可能正在使用这个编译器）应该会发出警告：

如果你直接赋值，也会有警告：

但是对值进行增加操作（例如，使用 ）就不会有警告：

浮点类型可以表示的数值范围比整数大得多，还可以表示整数无法表示的分数。

使用浮点数时，我们将数表示成小数乘以 10 的幂。

你可能见过浮点数被写成

和其它的一些看起来很奇怪的形式。

下面的几种类型：

是用来表示带有小数点的数字（浮点类型）的。这几种类型都可以表示正数和负数。

任何 C 的实现都必须满足的最小要求是 可以表示范围在 10^-37 到 10^+37 之间的数，这通常用 32 位比特实现。 可以表示一组更大范围的数， 可以保存的数还要更多。

与整数一样，浮点数的确切值取决于具体实现。

在现代的 Mac 上， 用 32 位表示，精度为 24 个有效位，剩余 8 位被用来编码指数部分。

用 64 位表示，精度为 53 个有效位，剩余 11 为用于编码指数部分。

类型用 80 位表示，精度为 64 位有效位，剩余 15 位被用来编码指数部分。

你如何能在自己的计算机上确定这些类型的大小呢？你可以写一个程序来干这事儿：

在我的系统上（一台现代 Mac），输出如下：

咱们现在来谈谈常量。

常量的声明与变量类似，不同之处在于常量声明的前面带有 关键字，并且你总是需要给常量指定一个值。

就像这样：

这在 C 中是完全有效的，尽管通常情况下将常量声明为大写，就像这样：

虽然这只是一个惯例，但是在你阅读或编写 C 程序时，他能给你提供巨大的帮助，因为它提高了可读性。大写的名字意味着常量，小写的名字意味着变量。

常量的命名规则与变量相同：可以包含任意大小写字母、数字和下划线，但是不能以数字开头。 和 都是有效的变量名，而 就不是了。

另一种定义常量的方式是使用这种语法：

在这种情况下，你不需要添加类型，也不需要使用等于符号 ，并且可以省略末尾的分号。

C 编译器将会在编译时从声明的值推断出相应的类型。

C 给我们提供了各种各样的运算符，我们可以用来操作数据。

特别地，我们可以识别不同分组的运算符： 算术运算符 比较运算符 逻辑运算符 复合赋值运算符 位运算符 指针运算符 结构运算符 混合运算符

在这一节中，我们将用两个假想的变量 和 举例，详细介绍所有这些运算符。

为了简单起见，我将不会介绍位运算符、结构运算符和指针运算符。

我将把这个小型分组分为二元运算符和一元运算符。

二元操作符需要两个操作数： 操作符 名字 示例 赋值 加 减 乘 除 取模

一元运算符只需要一个操作数： 运算符 名字 示例 一元加 一元减 自增 or 自减 or

与 的区别在于： 在使用 之后才自增它的值，而 会在使用 之前自增它的值。

例如：

这也适用于递减运算符。 运算符 名字 示例 相等 不相等 大于 小于 大于等于 小于等于 非（例如：） 与（例如：） 或（例如：）

这些运算符在使用布尔值时非常有用。

当赋值与算术运算同时进行时，这些运算符非常有用。 运算符 名字 示例 加且赋值 减且赋值 乘且赋值 除且赋值 求模且赋值

三目运算符是 C 中唯一一个使用三个操作数的运算符，并且它是表达条件的简便方法。

它看起来长这样：

示例：

若 的值为 ，就执行语句 ，否则执行语句 。

三目运算符的功能与 if/else 条件语句相同，但是它更短，还可以被内联进表达式。

运算符返回你传入的操作数的大小。你可以传入变量，或者甚至是类型也可以。

使用示例：

对于所有的这些运算符（以及我们还没有在本文中介绍的其它运算符，包括位运算符、结构运算符和指针运算符），我们在单个表达式中一起使用它们时必须要留意。

假如我们有这个运算：

的值是多少？我们在执行乘和除之前有进行加法操作吗？

这里是给我们解惑的一组规则。

按照顺序，优先级从低到高： 赋值运算符 二元运算符 和 运算符 和 一元运算符 和

运算符还具有关联规则，除了一元运算符和赋值运算符之外，该规则总是从左到右的。

在：

中，我们首先执行 ，由于是从左到右的，我们可以拆分为 与其结果 ：，。

然后我们可以进行加法操作和减法操作：4 + 1 - 2。 的值是 。

然而，在所有的示例中，我都想确保你意识到你可以使用括号让任何相似的表达式更易读和易理解。

括号的优先级比其它任何运算符都要高。

上述示例表达式可以被重写为：

并且我们不必考虑太多。

任何编程语言都给程序员提供了进行选择的能力。

我们想要在一些情况下进行 X，而在其它情况下进行 Y。

我们想检查数据，根据数据的状态做选择。

C 给我们提供了两种方式。

第一种方式是带 的 语句，第二种是 语句。

在 语句中，你可以在检查到条件为 true 的时候，执行花括号内的代码块：

如果原始条件的结果是 false，你可以追加一个 块以不同的代码块：

谨防一种常见的缺陷源——总是在比较中使用比较运算符 ，而不是赋值运算符 。如果你不这么做，除非参数为 ，否则 条件检查的结果将一直都是 true。例如，如果你这么做：

为什么会这样呢？因为条件检查会寻找一个布尔类型的结果（比较的结果），数字 总是等于 false。其它的任何东西都是 true，包括负数。

通过将多个 语句堆叠在一起，你可以有多个 块：

如果你的检查需要使用非常多的 if/else/if 块，可能是因为你需要检查变量的具体值，这时 语句对你来说就非常有用了。

你可以提供一个变量作为条件，然后为期望的每个值使用一个 入口点：

当前一个 case 执行完后，为了避免下一个 case 被执行，我们需要在每个 case 的末尾使用 关键字。这种“级联”效果在某些创造性方法中非常有用的。

你可以在末尾添加一个“捕获所有的” case，名为 ：

C 给我们提供了三种循环：For 循环、while 循环 和 do while 循环。它们都允许你在数组上进行迭代，但又各有不同。咱们仔细来看一看它们。

第一种执行循环是 for 循环，它可能也是最常见的循环。

使用 关键字时，我们可以先定义循环的 规则，然后提供反复执行的那个代码块。

就像这样：

代码块包含与循环细节有关的三个部分： 初始条件（） 测试（） 增长（）

我们首先定义循环变量，本示例中为 。 是循环中的一个常用变量名， 是嵌套循环（循环内的循环）内使用的变量名。这只是一个惯例。

变量 的值被初始化为 0，并且第一次迭代执行完毕。然后 像增长部分（这个示例中是 ，递增 1）所说的那样增长，并且所有的循环会一直重复，直到 的值达到数字 10。

在循环的主代码块内，我们可以访问变量 ，从而获知我们当前所处的是哪个迭代。这个程序应该打印 ：

循环可以从较高的数字开始，往较低的数字逼近，就像这样：

你也可以让循环变量的增量为 2 或者其它值：

while 循环 写起来比 循环要简单，因为它需要你在自己的部分做更多的事情。

使用 时，你只需要检查条件，而不用在循环开始时预先定义所有的循环数据（就像你在 循环中做的那样）：

这段代码假定 已经定义并且用某个值进行了初始化。

除非你在循环内的某些地方增加变量 的值，否则这个循环会变成一个 无限循环。无限循环非常糟糕，因为它会阻塞程序，从而使其它任何事情都不会发生。

对于一个“正确的” while 循环，这是你需要知道的：

其中有一个例外，我们将会在一分钟后看到它。在这之前，让我介绍下 。

while 循环非常棒，但是有些时候你可能需要做某件特定的事情：你总是想执行某个代码块，然后 可能 一直重复它。

这可以通过 关键字来完成。它在某种程度上和 循环非常类似，但是会有些许不同：

尽管条件检查在底部，但是包含注释 的代码块总是会至少执行一次。

然后，只要 小于 10，我们都将会重复这个代码块。

在所有的 C 循环内，不管循环的条件设置得如何，我们都有一种在某个时间立即跳出循环的方法。

这是通过 关键字来完成的。

这在很多情况下非常有用，你可能想检查某个变量的值，例如：

对 循环（也适用于 循环）来说，使用这种方式跳出循环非常有趣，因为我们可以创建一个看似无限的循环，不过我们可以在某个条件发生时结束这个循环。你可以在循环代码块里面定义它：

这种循环在 C 中非常普遍。

数组是存储多个变量的变量。

在 C 中，数组中的每个值都必须有 相同的类型。这意味着你将会有 值组成的数组， 值组成的数组，等等。

你可以像这样定义一个 型的数组：

你必须总是声明数组的大小。C 没有提供开箱即用的动态数组（为此，你必须使用像链表这样的数据结构）。

你可以使用常量定义数组的大小：

你可以在定义数组的时候进行初始化，就像这样：

但是你也可以在定义数组之后为其赋值，用这种方式：

或者使用循环，这更加实际：

数组的索引从 0 开始，所以一个有五个元素的数组，比如上面的 数组，将会包含的数组项的范围为 到 。

有趣的是，C 数组中的所有元素都是顺序存放的，一个接一个。高级编程语言通常不会出现这种情况。

另一件有趣的事情是：数组的变量名，上述示例中的 ，是一个指向数组中首个元素的 指针。因此，可以像普通指针一样使用数组。

稍后会介绍更多有关指针的内容。

在 C 中，字符串是一种特殊的数组：字符串是由 值组成的数组：

我在介绍 C 中的数据类型时介绍过 类型，但是简而言之，它通常用于存储 ASCII 表中的字母。

可以像初始化一个普通的数组那样初始化一个字符串：

或者使用更加方便的字符串字面量（也被称为字符串常量），一组用双引号引起来的字符：

你可以通过 打印字符串，使用 ：

你有注意到“Flavio”是 6 个字符长，但是我定义了一个长度为 7 的数组吗？这是因为字符串中的最后一个字符必须是 ，它是字符串的终止符号，我们必须给它留个位置。

记住这个非常重要，尤其是当你操作字符串的时候。

说到操作字符串，C 提供了一个非常重要的标准库：。

这个库是必不可少的，因为它抽象了很多与字符串有关的底层细节，给我们提供了一组非常有用的函数。

你可以在程序中加载这个库，需要在文件顶部加上：

一旦你这么做了之后，你就可以访问函数： ：将一个字符串复制到另一个字符串 ：将一个字符串追加到另一个字符串 ：比较两个字符串是否相等 ：比较两个字符串的前 个字符 ：计算字符串的长度

还有很多很多其它的函数供你调用。

在我看来，指针是 C 中最令人不解/最具挑战的部分。尤其当你是编程新手的时候，如果你是从像 Python 或 JavaScript 这样的高级语言来到 C 的，也会这样。

在这一节中，我想以最简单但又不模糊的方式介绍它们。

指针是某个内存块的地址，这个内存块包含一个变量。

当你像这样声明一个整数时：

我们可以使用 运算符获取内存中该变量的地址值：

我在 内声明 格式来打印地址值。

我们可以将该地址赋给一个变量：

当在声明中使用 时，我们并没有在声明一个整数值，而是在声明一个 指向一个整数的指针。

我们可以使用指针运算符获取该地址指向的变量的值：

我们又一次使用指针运算符，但是由于这次它不是一个声明，所以它表示“该指针指向的变量的值”。

在这个示例中，我们声明了一个 变量，但是我们使用了一个指针来初始化它的值：

在使用 C 时，你会发现很多东西都建立在这个简单的概念之上。所以自己运行一下上面的示例，确保你对它有所熟悉。

指针是一个非常好的机会，因为它们迫使我们考虑内存地址以及数据是如何组织的。

数组就是一个例子。当你声明一个数组时：

变量实际上是一个指向数组首个元素的指针。在这种情况下，你可以使用这个 函数获取第一个数组元素的值：

我们可以通过给 指针加一来获取第二个元素，这是一件非常酷的事情：

这种做法对于所有的其它值也适用。

我们还可以进行很多非常美妙的字符串操作，因为字符串的底层就是数组。

我们还有很多其它的使用场景，包括传递对象或函数的引用，从而避免消耗更多的资源来进行复制。

我们通过函数将代码组织成子例程，这样就可以： 给它一个名字 在需要它们的时候进行调用

从你的第一个程序（“Hello, World!”）开始，你就在使用 C 函数了：

函数是一个非常重要的函数，它是 C 程序的入口点。

这是另一个函数：

函数有 4 个重要的方面： 它们有一个名字，所以我们可以在之后调用它们 它们声明一个返回值 它们可以有参数 它们有一个函数体，用花括号包裹

函数体是一组指令，任何时候，只要函数被调用，这组指令就会被执行。

如果函数没有返回值，你可以在函数名前面使用关键字 。否则你就要声明该函数的返回值类型（整数为 ，浮点数为 ，字符串为 ，等等）。

函数返回值的数量不能超过一个。

函数可以有参数。它们是可选的。如果函数没有参数，我们就在括号内插下 ，就像这样：

在这种情况下，当我们调用该函数时，括号内没有任何东西：

如果有一个参数，我们就声明该参数的类型和名字，就像这样：

当我们调用该函数时，我们会在括号内传递对应的参数，就像这样：

我们可以有多个参数，为此我们使用逗号对它们进行分隔，在声明和调用时都是这样：

参数是通过 拷贝 传递的。这意味着如果你修改 ，它的值是在局部作用域内修改的。函数外的那个值，即我们在调用时传入的值，并不会改变。

如果你传入的参数为一个 指针，你可以修改该变量的值，因为你现在可以使用它的内存地址直接访问它。

你不能为参数定义默认值。C++ 是可以的（Arduino Language 程序也可以），但是 C 不行。

确保你在调用函数之前定义了该函数，否则编译器将会给出一个警告和一个错误：

你收到的警告与顺序有关，我之前有提到过这个。

错误与另一件事情有关。因为 C 没有在调用函数之前没有“看到”该函数的声明，所以它必须进行假设。并且，它假设该函数返回 。然而该函数返回的是 ，因此出现了错误。

如果你将该函数的定义修改为：

你就只会得到警告，错误消失了：

不管是何种情况，确保你在使用函数之前声明了它。要么将函数上移，要么在头文件中加入该函数的原型。

在函数内部，你可以声明变量：

变量在调用该函数的那一刻创建，并且在函数退出的时候销毁。它对函数外面来说是不可见的。

在函数内部，你可以调用函数自己。这被称为 递归，它提供了特有的机会。

C 是一门小型语言，并且 C 的“内核”并不包含任何输入/输出（I/O）功能。

当然，这并不是 C 所独有的。语言内核与 I/O 无关是很常见的。

在 C 中，输入/输出由 C 的标准库通过一组定义在 头文件中的函数向我们提供。

你可以在 C 文件顶部使用：

导入这个库。

这个库给我们提供了很多其它的函数：

在描述这个函数干啥之前，我想先花一分钟讲一下 I/O 流。

在 C 中，我们有三种类型的 I/O 流： （标准输入） （标准输出） （标准错误）

借助 I/O 函数，我们始终可以和流一起工作。流是一个高级接口，可以代表一个设备或文件。从 C 的角度来看，我们在从文件读取和命令行读取没有任何差异：不论如何，它都是一个 I/O 流。

那是我们需要牢记的一件事情。

某些函数是为与特定的流一起工作而设计的，就像 一样，我们用它来将字符串打印到 。使用它更加通用的版本 时，我们可以指定我们要写到的流。

由于我最开始谈论的是 ，咱们现在就介绍它吧。

是你在学习 C 编程时最先使用的函数之一。

在它最简单的使用形式中，你给它传递一个字符串字面量：

并且程序会将该字符串的内容打印到屏幕上。

你可以打印一个变量的值。但是这有点棘手，因为你需要添加一个特殊的字符，一个占位符，它会根据变量的类型变化。例如，我们为有符号十进制整数使用 ：

通过使用逗号，我现在可以打印多个变量：

还有其它像 一样的格式指示符： 用于字符 用于字符串 用于浮点数 用于指针

还有很多。

我们可以在 中使用转义字符，比如 可以用来让输出创建一个新行。

被用作输出函数。我现在想介绍一个输入函数，这样我们就能完成所有的 I/O 操作：。

这个函数被用来从用户运行的程序，从命令行获取一个值。

我们必须先定义一个变量，它将被用来存放我们从输入中获取的值：

然后我们调用 ，传入两个参数：变量的格式（类型），和变量的地址：

如果我们想在输入时获取一个字符串，还记得字符串名是一个指向第一个字符的指针，所以你不需要在它前面加上 ：

这里是一个小程序，它同时使用了 和 ：

当你在 C 程序中定义一个变量时，根据你声明它的位置，它会有一个不同的 作用域（scope）。

这意味着它将会在某些地方可用，而在其它地方不可用。

该位置决定了两种类型的变量： 全局变量（global variables） 局部变量（local variables）

这就是区别：在函数内部声明的变量就是局部变量，比如这个：

局部变量只有在函数内才能访问，它们会在函数结束后不复存在。它们会被从内存中清除掉（有一些例外）。

定义在函数外部的变量就是全局变量，比如这个示例：

全局变量可以从程序中的任何一个函数访问，它们在整个程序的执行过程中都是可用的，直到程序结束。

我提到过局部变量在函数结束之后就不再可用。

原因是局部变量默认是在 栈（stack） 上声明的，除非你使用指针在堆中显式地分配它们。但是这样一来，你就不得不自己管理内存了。

在函数内部，你可以使用 关键字初始化一个 静态变量（static variable）。

我说了“在函数内部”，因为全局变量默认就是静态的，所以没有必要再添加这个关键字。

什么是静态变量？静态变量在没有声明初始值的时候会被初始化为 0，并且它会在函数调用中保持该值。

考虑这个函数：

如果我们调用一次 ，我们将会得到返回值 。如果我们再调用一次，我们总是会得到 1，因为 是一个局部变量并且在每次调用该函数的时候都会被重新初始化为 。

如果我们将该函数改为：

现在我们每调用一次这个函数，我们就会得到一个增加了的值：

将会给我们：

我们也可以在 中省略初始化 为 0 的代码，只写 ，因为静态变量在创建时会自动设置为 0。

我们也可以有静态数组。这时，每一个数组元素都被初始化为 0：

在这一节中，我想多谈论一点 全局变量与局部变量 之间的差异。

局部变量 被定义在函数内部，只在该函数内可用。

就像这样：

在 函数之外的任何地方都不可用。

全局变量 定义在所有函数的外部，就像这样：

全局变量可以被程序内的任何函数访问。该访问并不只局限于读取全局变量的值：任何函数都可以更新全局变量的值。

因此，全局变量是一种在函数间共享相同数据的一种方式。

局部变量的主要不同在于，分配给局部变量的内存会在函数结束之后立即释放。

全局变量只在程序结束时才会释放。

C 中的 关键字允许你定义新的类型。

我们可以从 C 内置的类型开始创建自己的类型，使用这个语法：

按照惯例，我们创建的新类型通常是大写的。

这样可以更加容易区分它，并且可以立即识别出它是一种类型。

例如，我们可以定义一个新的 类型，它还是 ：

一旦你这么做了之后，你就可以定义新的 变量了：

现在你可能会问：为什么？为什么不直接使用内置的 类型呢？

嗯，当两个东西搭配在一起的时候， 会变得真的很有用：枚举类型和结构体。

使用 和 关键字，我们可以定义具有指定值的类型。

这是 关键字最重要的使用场景之一。

这是枚举类型的语法：

按照惯例，我们创建的枚举类通常是大写的。

这里是一个简单的示例：

C 自带 类型，所以这个示例并不实用，但是它会让你领悟到其中的精髓。

另一个示例是定义一周中的那几个日子：

这里是使用这个枚举类的一个简单程序：

枚举定义中的每个枚举项在内部都与一个整数配对。所以在这个示例中 是 0， 是 1，以此类推。

这意味着对应的条件可以是 而不是 ，但是对于我们人类来说，使用名字比数字更合理，所以它是一个非常便利的语法。

利用 关键字，我们可以使用基本的 C 类型创建复杂的数据结构。

结构体是一组由不同类型的值组成的集合。C 中的数组被限制为一种类型，所以结构体在很多用例中会显得非常有趣。

这里是结构体的语法：

示例：

通过将变量添加到右花括号之后，分号之前，你可以声明类型为该结构体的变量，就像这样：

或者多个变量也行，就像这样：

这次我声明一个名为 的 变量，以及一个具有 20 个 的名为 的数组。

我们也可以稍后再声明变量，使用这个语法：

我们可以在声明的时候初始化一个结构体：

一旦定义了结构体，我们就可以使用一个点（）来访问它里面的值了：

我们也可以使用点语法改变结构体中的值：

结构体非常有用，因为它们既可以作为函数的参数，也可以作为函数的返回值，以及它们内部的嵌入变量。每个变量都有一个标签。

注意到结构体是 复制传递 的，这一点很重要，除非，当然你可以传递一个指向结构体的指针，这种情况下它就是引用传递。

使用 ，我们可以简化处理结构体时的代码。

咱们看一个示例：

按照惯例，我们使用 创建的结构体通常是大写的。

现在，我们可以像这样声明一个新的 变量：

并且我们可以用这种方式在声明的时候初始化它们：

在 C 程序中，你可能需要在命令启动时从命令行接收参数。

对于简单的需求而言，你只需要将 函数的签名从

修改为

是一个整数，包含从命令行提供的参数的数量。

是一个字符串数组。

当程序开始运行时，我们用这两个参数给主函数提供参数。

注意 数组中总是至少有一个元素：程序的名字。

咱们以我们用来运行程序的 C 编译器作为示例吧，就像这样：

如果这就是我们的程序，我们的 将会是 4， 将是一个包含以下内容的数组：

咱们写一个打印它收到的参数的程序吧：

如果我们的程序名为 ，并且我们像这样运行它：，我们就会得到以下输出：

如果我们传递一些随机参数，就像这样：，我们竟会在终端中得到这个输出：

对于简单的需求而言，这个系统工作得很好。对于更加复杂的需求，有一些常用的包，比如 getopt。

简单的程序可以直接放在单个文件中。但是当你的程序变大，将它放在单个文件中就不可能了。

你可以将程序一些部分移动到一个单独的文件中，然后创建一个 头文件。

头文件看起来就像普通的 C 文件一样，但是它是以 而不是 结尾的。它里面的内容是 声明，而不是函数的实现和程序的其它部分。

你已经在第一次使用 函数或其它 I/O 函数的时候使用过头文件了，如果你要使用它，需要输入以下内容：

是一个预处理器指令。

该预处理器会在标准库中寻找 文件，因为你使用了花括号包裹它。若要包含你自己的头文件，你需要使用引号（），就像这样：

上述代码会让预处理器在当前文件夹内寻找 。

你也可以使用文件夹结构的库：

咱们看一个示例。这个程序计算自给定年份以来的年数：

假设我想将 函数移到一个单独的文件中。

我创建一个名为 的文件：

我还创建了一个名为 的文件，我在其中放入了 函数原型，除了函数体，它与 文件中的函数完全相同：

现在在主 文件中，我们可以移除 函数的定义，并且我们可以导入 ，它会让 函数可用：

别忘了编译多个文件组成的程序，你需要在命令行中列出它们，就像这样：

如果配置更加复杂，一个告诉编译器如何编译该程序的 Makefile 是必需的。

预处理器是一个工具，当我们用 C 编程时，它对我们有很大的帮助。它是 C 标准的一部分，就像语言本身、编译器和标准库一样。

它解析我们的程序，确保编译器在处理之前获得所有需要的东西。

在实践中，它是做什么的呢？

例如，它查找你使用 指令包含的所有头文件。

它还查看你使用 定义的每个常量并将其替换为实际的值。

这只是一个开始。我提到了这两个操作，是因为它们是最常见的两个。预处理器能做的事情还有很多。

你有注意到 和 在开头有一个 吗？那在预处理器指令中是很常见的。如果某一行以 开始，它就会被预处理器关照。

我们能做的一件事情是使用条件让表达式决定程序的编译方式。

例如，我们可以检查 常量是否为 0：

我们可以定义一个 符号常量（symbolic constant）：

当我们在自己的程序中使用 NAME 或 PI 或 VALUE 时，预处理器会在执行程序之前将名字替换成对应的值。

符号常量非常有用，因为我们可以给值名字，而不用在编译时创建变量。

我们还可以使用 定义 宏（macro）。宏与符号常量之间的差别在于：宏可以接受一个参数，并且通常包含代码，而符号常量只是一个值：

注意参数两侧的括号：当宏在预编译过程中被替换时，这是一个避免问题的好方法。

然后我们可以在代码中使用它，像这样：

它与函数之间的一个大差别就是：宏不会声明参数或返回值的类型，这在一些场景中可能很方便。

然而，宏的定义被限制成只有一行。

我们可以使用 来检查某个符号常量或宏是否被定义过：

我们也可以使用 检查对立面（宏未定义）。

我们还可以使用 和 来达到同样的目的。

像这样将一些代码块包裹到单个块中是很常见的：

这样可以临时防止程序运行，也可以使用一个 DEBUG 符号常量：

预处理器还定义了很多你可以直接使用的符号常量，它们的名字的前后有两个下划线作为标识，包括： 代表源代码文件中的当前行 代表文件的名字 表示编译日期，格式为 表示编译实践，格式为

非常感谢阅读本手册！

我希望它将鼓励你去了解更多有关 C 的知识。

若想查看更多教程，你可以访问我的博客。

通过 hey@flaviocopes.com 给我发送反馈、勘误或者意见。

记住：你可以从这里获得这本手册的 PDF 或 ePub 版本。

你可以在 Twitter @flaviocopes 联系我。

原文：The C Beginner's Handbook: Learn C Programming Language basics in just a few hours，作者：Flavio Copes