c

C 语言程序可以看成由一系列的外部对象(广义对象)构成，这些外部对象可能是变量或函数。

形容词external 与internal 相对的，internal 用于描述定义在函数内部的函数参数及变量。

外部变量定义在函数之外，因此可以在许多函数中使用。

默认情况下，外部变量与函数具有下列性质：通过同一个名字对外部变量的所有引用（即使这种引用来自于单独编译的不同函数）实际上都是引用同一个对象（标准中把这一性质称为外部链接）

在C 语言中，所有变量(变量有多种分类)都必须先声明(但是未必要定义,可以是在外部定义)后使用。

如果要在外部变量的定义之前使用该变量，或者外部变量的定义与变量的使用不在同一个源文件中，则必须在相应的变量声明中强制性地使用关键字extern。

将外部变量(非局部变量)的声明与定义严格区分开来很重要。

变量声明用于说明变量的属性（主要是变量的类型），而变量定义除此以外还将引起存储器的分配。

那么这两条语句将定义外部变量sp与val，并为之分配存储单元，同时这两条语句还可以作为该源文件中其余部分的声明。

下面的两行语句：

为源文件的其余部分声明了一个int 类型的外部变量sp 以及一个double 数组类型的外部变量val（该数组的长度在其它地方确定），但这两个声明并没有建立变量或为它们分配存储单元。

在不进行显式初始化的情况下，外部变量和静态变量都将被初始化为0，

而自动变量和寄存器变量的初值则没有定义（即初值为无用的信息）。

对于外部变量与静态变量来说，初始化表达式必须是常量表达式，且只初始化一次

对于自动变量与寄存器变量，则在每次进入函数或程序块时都将被初始化。

宏定义的形式如下： #define 名字 替换文本 这是一种最简单的宏替换——后续所有出现名字记号的地方都将被替换为替换文本。

#define指令中的名字与变量名的命名方式相同，替换文本可以是任意字符串。

通常情况下，#define指令占一行，替换文本是#define指令行尾部的所有剩余部分内容，但也可以把一

个较长的宏定义分成若干行，这时需要在待续的行末尾加上一个反斜杠符\。

#define 指令定义的名字的作用域从其定义点开始，到被编译的源文件的末尾处结束。

宏定义中也可以使用前面出现的宏定义。

替换只对记号进行，对括在引号中的字符串不起作用。

替换文本可以是任意的，例如：

宏定义也可以带参数，这样可以对不同的宏调用使用不同的替换文本。

例如，下列宏定义定义了一个宏max：

如果对各种类型的参数的处理是一致的，则可以将同一个宏定义应用于任何数据类型，而无需针对不同的数据类型需要定义不同的max函数。

仔细考虑一下max 的展开式，就会发现它存在一些缺陷。

同时还必须注意，要适当使用圆括号以保证计算次序的正确性。考虑下列宏定义：

宏还是很有价值的。

C 语言专门定义了两个预处理语句#ifdef与#ifndef，它们用来测试某个名字是否已经定义。上面有关#if的第一个例子可以改写为下列形式：

变量和常量是程序处理的两种基本数据对象。

对象的类型决定该对象可取值的集合以及可以对该对象执行的操作

声明语句说明变量的名字及类型，也可以指定变量的初值。

运算符指定将要进行的操作。

所有整型都包括signed（带符号）和unsigned（无符号）两种形式，

且可以表示无符号常量与十六进制字符常量。

浮点运算可以以单精度进行，还可以使用更高精度的long double 类型运算。

字符串常量可以在编译时连接。

对象有时也称为变量，它是一个存储位置。

Declarations

char类型、各种大小的int类型（无论是否带符号）以及枚举类型都统称为整型类型（integral type)

类型float、double和long double统称为浮点类型（floating type）

除基本类型外，我们还可以通过以下几种方法构造派生类型，从概念来讲，这些派生类型可以有无限多个：

• 给定类型对象的数组 • 返回给定类型对象的函数 • 指向给定类型对象的指针 • 包含一系列不同类型对象的结构 • 可以包含多个不同类型对象中任意一个对象的联合 一般情况下，这些构造对象的方法可以递归使用。

存储类分为两类：自动存储类（automatic）和静态存储类（static）。声明对象时使用的一些关键字和声明的上下文共同决定了对象的存储类。

register声明的形式(自动变量)如下所示：

register声明只适用于自动变量以及函数的形式参数。

下面是后一种情况的例子：

将Length定义为与int具有同等意义的名字。类型Length可用于类型声明、类型转换等，它和类型int完全相同，例如：

类似地，声明

将String 定义为与char *或字符指针同义，此后，便可以在类型声明和类型转换中使用 String，例如：

注意，typedef 中声明的类型在变量名的位置出现，而不是紧接在关键字typedef 之后。typedef 在语法上类似于存储类 extern、static 等。我们在这里以大写字母作为typedef定义的类型名的首字母，以示区别。

上述类型定义创建了两个新类型关键字：Treenode（一个结构）和Treeptr（一个指向该结构的指针）。 这样，函数talloc可相应地修改为：

实际上，typedef 类似于#define 语句，但由于typedef 是由编译器解释的，因此它的文本替换功能要超过预处理器的能力。例如：

该语句定义了类型PFI 是“一个指向函数的指针，该函数具有两个char *类型的参数，返回值类型为int”，它可用于某些上下文中，例如，可以用在第5 章的排序程序中，如下所示：

The C(k&R)中有一节专门(5.12)介绍复杂声明,涉及语法分析树 复杂声明用的不多 完整形态的声明包含了许多部分 C 语言的语法力图使声明和使用相一致。对于简单的情况，C 语言的做法是很有效的， 但是，如果情况比较复杂，则容易让人混淆，原因在于，C 语言的声明不能从左至右阅读，而且使用了太多的圆括号

// int *f(); // f: function returning pointer to int // int (*pf)(); // pf: pointer to function returning int 对以下声明的分析: // (*pfa[])()

按照该语法分析，pfa将被识别为一个name，从而被认为是一个direct-dcl。于是，pfa[]也是一个direct-dcl。 接着，*pfa[]被识别为一个dcl，因此，判定(*pfa[])是一个direct-dcl。 再接着，(*pfa[])()被识别为一个direct-dcl，因此也是一个dcl。

declaration-specifiers init-declarator-list_opt;(文法:句型)

specifiers说明符(eg.static,registor)

identifier标识符(eg. word1,abc,…)

qualifier 限定符(eg. const)

declarator([dɪ’klærətə] )声明符(与一下几种符不同,较为抽象)

the declaration-specifiers consist of a sequence of type and storage class specifiers

声明符(declarator):

The storage class specifiers are:

The type-specifiers are :

类型限定符包括：

对于具有内存映像输入／输出的机器，指向设备寄存器的指针可以声明为指向volatile 的指针，目的是防止编译器通过指针删除明显多余的引用。 除了诊断显式尝试修改const对象的情况外，编译器可能会忽略这些限定符。

Meaning of Declarators

then the type of the identifier in D1 is the same as that of D.

The parentheses do not alter the type, but may change the binding of complex declarators.

一个粗糙的方式是:从声明的标识符(identifier)为起点开始外分析(结合附近的较高优先级)判定这个声明符的含义:(是指针?数组?函数?基本变量?)

在声明T D中，如果D具有下列形式： * 类型限定符表 D1 且声明T D1中的标识符的类型为“类型修饰符T”，则D中标识符的类型为“类型修饰符 类型限定符表指向T 的指针”。星号*后的限定符作用于指针本身，而不是作用于指针指向的对象。

在声明T D中，如果D具有下列形式： D1[常量表达式opt] 且声明T D1 中标识符的类型是“类型修饰符T”，则D 的标识符类型为“类型修饰符T类型的数组”。

如果存在常量表达式，则该常量表达式必须为整型且值大于0。 若缺少指定数组上界的常量表达式，则该数组类型是不完整类型。

数组可以由算术类型、指针类型、结构类型或联合类型构造而成，也可以由另一个数组构造而成（生成多维数组）。 构造数组的类型必须是完整类型，绝对不能是不完整类型的数组或结构。 也就是说，对于多维数组来说，只有第一维可以缺省。

对于不完整数组类型的对象来说，其类型可以通过对该对象进行另一个完整声明或初始化来使其完整。 例如： float fa[17], *afp[17]; 声明了一个浮点数数组和一个指向浮点数的指针数组，而 static int x3d[3][5][7]; 则声明了一个静态的三维整型数组，其大小为3×5×7。 具体来说，x3d是一个由3 个项组成的数组，每个项都是由5 个数组组成的一个数组，5 个数组中的每个数组又都是由7 个整型数组成的数组。 x3d、x3d[i]、x3d[i][j]与3d[i][j][k]都可以合法地出现在某个表达式中。

前三者是数组类型，最后一个是int类型。 更准确地说，x3d[i][j]是一个有7 个整型元素的数组； x3d[i]则是有5 个元素的数组，而其中的每个元素又是一个具有7 个整型元素的数组。

根据数组下标运算的定义，E1[E2]等价于*(E1+E2)。

因此，尽管表达式的形式看上去不对称，但下标运算是可交换的运算。根据适用于运算符+和数组的转换规则，若E1是数组且E2是整数，则E1[E2]代表E1的第E2个成员。

在本例中，x3d[i][j][k]等价于*(x3d[i][j]+k)。 第一个子表达式x3d[i][j]将按规则(A7.7)转换为“指向整型数组的指针”类型，这里的加法运算需要乘以整型类型的长度。 它遵循下列规则：数组按行存储（最后一维下标变动最快），且声明中的第一维下标决定数组所需的存储区大小，但第一维下标在下标计算时无其它作用。

在新式的函数声明T D中，如果D具有下列形式：

并且，声明T D1中标识符的类型为“类型修饰符T”，则D的标识符类型是“返回T类型值且具有‘形式参数类型表’中的参数的‘类型修饰符’类型的函数”。

形式参数的语法定义为： 形式参数类型表： 形式参数表 形式参数表, … 形式参数表： 形式参数声明 形式参数表, 形式参数声明 形式参数声明： 声明说明符 声明符 声明说明符 抽象声明符opt

并且声明D1 中的标识符的类型是“类型修饰符T”，则D 的标识符类型为“返回T 类型值且未指定参数的‘类型修饰符’类型的函数”。

形式参数（如果有的话）的形式如下：

声明不提供有关形式参数类型的信息。 例如，下列声明：

在这种新式的声明中，形式参数表指定了形式参数的类型。

这里有一个特例，按照新式方式声明的无形式参数函数的声明符也有一个形式参数表，该表仅包含关键字void。

strcpy是一个返回int类型的函数，它有两个实际参数，第一个实际参数是一个字符指针，第一个实际参数星一个指向常量字符的指针。其中的形式参数名字可以起到注释说明的作用。 第二个函数rand不带参数，且返回类型为int。

说明：到目前为止，带形式参数原型的函数声明符是ANSI标准中引入的最重要的一个语言变化。 它们提供了函数调用时的错误检查和参数强制转换，但引入的同时也带来了很多混乱和麻烦，而且还必须兼客这两种形式。 为了保持兼容，就不得不在语法上进行一些处理，即采用void作为新式的无形式参数函数的显式标记。

采用省略号“, …”表示函数变长参数表的做法也是ANSI标准中新引入的，并且，结合标准头文件中的一些宏，共同将这个机制正式化了。