数学函数

在数学中我们用过sin和ln这样的函数，例如Vin(ʌ ，ln1=0等等，在C语言中也可以使用这些函数（ln函数在C标准库中叫做log）：

在C语言中使用数字函数

#include <math.h>
#include <stdio.h>
int main(void)
{
 double pi = 3.1416;
 printf("sin(pi/2)=%f\nln1=%f\n", sin(pi/2), 
log(1.0));
 return 0;
}

编译运行这个程序，结果如下:

$ gcc main.c -lm
$ ./a.out
sin(pi/2)=1.000000
ln1=0.000000

在数学中写一个函数有时候可以省略括号，而C语言要求一定要加上括号，例如log(1.0)。在C语言的术语中，1.0是参数（Argument），log是函数（Function），log(1.0)是函数调用（FunctionCall）。sin(pi/2)和log(1.0)这两个函数调用在我们的printf语句中处于什么位置呢？在上一章讲过，这应该是写表达式的位置。因此函数调用也是一种表达式，这个表达式由函数调用运算符（()括号）和两个操作数组成，操作数log是一个函数名（Function Designator），它的类型是一种函数类型（Function Type），操作数1.0是double型的。log(1.0)这个表达式的值就是对数运算的结果，也是double型的，在C语言中函数调用表达式的值称为函数的返回值（Return Value）。总结一下我们新学的语法规则：

表达式 → 函数名

表达式 → 表达式(参数列表)

参数列表 → 表达式, 表达式, ...

现在我们可以完全理解printf语句了：原来printf也是一个函数，上例中的printf("sin(pi/2)=%f\nln1=%f\n", sin(pi/2), log(1.0))是带三个参数的函数调用，而函数调用也是一种表达式，因此printf语句也是表达式语句的一种。但是printf感觉不像一个数学函数，为什么呢？因为像log这种函数，我们传进去一个参数会得到一个返回值，我们调用log函数就是为了得到它的返回值，至于printf，我们并不关心它的返回值（事实上它也有返回值，表示实际打印的字符数），我们调用printf不是为了得到它的返回值，而是为了利用它所产生的副作用（SideEffect）－－打印。C语言的函数可以有Side Effect，这一点是它和数学函数在概念上的根本区别。

Side Effect这个概念也适用于运算符组成的表达式。比如a + b这个表达式也可以看成一个函数调用，把运算符+看作函数，它的两个参数是a和b，返回值是两个参数的和，传入两个参数，得到一个返回值，并没有产生任何Side Effect。而赋值运算符是有Side Effect的，如果把a = b这个表达式看成函数调用，返回值就是所赋的值，既是b的值也是a的值，但除此之外还产生了Side Effect，就是变量a被改变了，改变计算机存储单元里的数据或者做输入输出操作都算Side Effect。

回想一下我们的学习过程，一开始我们说赋值是一种语句，后来学了表达式，我们说赋值语句是表达式语句的一种；一开始我们说printf是一种语句，现在学了函数，我们又说printf也是表达式语句的一种。随着我们一步步的学习，把原来看似不同类型的语句统一成一种语句了。学习的过程总是这样，初学者一开始接触的很多概念从严格意义上说是错的，但是很容易理解，随着一步步学习，在理解原有概念的基础上不断纠正，不断泛化（Generalize）。比如一年级老师说小数不能减大数，其实这个概念是错的，后来引入了负数就可以减了，后来引入了分数，原来的正数和负数的概念就泛化为整数，上初中学了无理数，原来的整数和分数的概念就泛化为有理数，再上高中学了复数，有理数和无理数的概念就泛化为实数。坦白说，到目前为止本书的很多说法都是不完全正确的，但这是学习理解的必经阶段，到后面的章节都会逐步纠正的。

程序第一行的#号（Pound Sign，Number Sign或Hash Sign）和include表示包含一个头文件

（Header File），后面尖括号（Angel Bracket）中就是文件名（这些头文件通常位于/usr/include目录下）。头文件中声明了我们程序中使用的库函数，根据先声明后使用的原则，要使用printf函数必须包含stdio.h，要使用数学函数必须包含math.h，如果什么库函数都不使用就不必包含任何头文件，例如写一个程序int main(void){int a;a=2;return 0;}，不需要包含头文件就可以编译通过，当然这个程序什么也做不了。

使用math.h中声明的库函数还有一点特殊之处，gcc命令行必须加-lm选项，因为数学函数位于libm.so库文件中（这些库文件通常位于/lib目录下），-lm选项告诉编译器，我们程序中用到的数学函数要到这个库文件里找。本书用到的大部分库函数（例如printf）位于libc.so库文件中，使用libc.so中的库函数在编译时不需要加-lc选项，当然加了也不算错，因为这个选项是gcc的默认选项。关于头文件和库函数目前理解这么多就可以了，到后面再做详解。

注意:
C标准库和glibc
C标准主要由两部分组成，一部分描述C的语法，另一部分描述C标准库。C标准库定义了一组标准头文件，每个头文件中包含一些相关的函数、变量、类型声明和宏定义。要在一个平台上支持C语言，不仅要实现C编译器，还要实现C标准库，这样的实现才算符合C标准。不符合C标准的实现也是存在的，例如很多单片机的C语言开发工具中只有C编译器而没有完整的C标准库。
在Linux平台上最广泛使用的C函数库是 glibc，其中包括C标准库的实现，也包括第三部分介绍的所有系统函数。几乎所有C程序都要调用 glibc的库函数，所以 glibc是Linux平台C程序运行的基础。 glibc提供一组头文件和一组库文件，最基本、最常用的C标准库函数和系统函数在 libc.so库文件中，几乎所有C程序的运行都依赖于 libc.so，有些做数学计算的C程序依赖于 libm.so，以后我们还会看到多线程的C程序依赖于 libpthread.so。以后我说 libc时专指 libc.so这个库文件，而说 glibc时指的是 glibc提供的所有库文件。 glibc并不是Linux平台唯一的基础C函数库，也有人在开发别的C函数库，比如适用于嵌入式系统的 uClibc。

自定义函数

我们不仅可以调用C标准库提供的函数，也可以定义自己的函数，事实上我们已经这么做了：我们定义了main函数。例如：

int main(void)
{
 int hour = 11;
 int minute = 59;
 printf("%d and %d hours\n", hour, minute / 60);
 return 0;
}

main函数的特殊之处在于执行程序时它自动被操作系统调用，操作系统就认准了main这个名字，除了名字特殊之外，main函数和别的函数没有区别。我们对照着main函数的定义来看语法规则：

函数定义 → 返回值类型函数名(参数列表) 函数体

函数体 → {语句列表 }

语句列表 → 语句列表项语句列表项 ...

语句列表项 → 语句

语句列表项 → 变量声明、类型声明或非定义的函数声明

非定义的函数声明 → 返回值类型函数名(参数列表);

我们稍后再详细解释“函数定义”和“非定义的函数声明”的区别。从结构体开始我们才会看类型声明。

给函数命名也要遵循上一章讲过的标识符命名规则。由于我们定义的main函数不带任何参数，参数列表应写成void。函数体可以由若干条语句和声明组成，C89要求所有声明写在所有语句之前（本书的示例代码都遵循这一规定），而C99的新特性允许语句和声明按任意顺序排列，只要每个标识符都遵循先声明后使用的原则就行。main函数的返回值是int型的，return 0;这个语句表示返回值是0，main函数的返回值是返回给操作系统看的，因为main函数是被操作系统调用的，通常程序执行成功就返回0，在执行过程中出错就返回一个非零值。比如我们将main函数中的return语句改为return 4;再执行它，执行结束后可以在Shell中看到它的退出状态（Exit Status）：

$ ./a.out 
11 and 0 hours
$ echo $?
4

$?是Shell中的一个特殊变量，表示上一条命令的退出状态。关于main函数需要注意两点：

main函数定义写成main(){...}的形式，不写返回值类型也不写参数列表，这是Old Style C的风格。Old Style C规定不写返回值类型就表示返回int型，不写参数列表就表示参数类型和个数没有明确指出。这种宽松的规定使编译器无法检查程序中可能存在的Bug，增加了调试难度，不幸的是现在的C标准为了兼容旧的代码仍然保留了这种语法，但读者绝不应该继续使用这种语法。

其实操作系统在调用main函数时是传参数的，main函数最标准的形式应该是int main(int argc, char *argv[])，在指针那里会详细介绍。C标准也允许intmain(void)这种写法，如果不使用系统传进来的两个参数也可以写成这种形式。但除了这两种形式之外，定义main函数的其它写法都是错误的或不可移植的。

关于返回值和return语句我们将在第 1 节 “return语句”详细讨论，我们先从不带参数也没有返回值

的函数开始学习定义和使用函数：

最简单的自定义函数

#include <stdio.h>
void newline(void)
{
 printf("\n");
}
int main(void)
{
 printf("First Line.\n");
 newline();
 printf("Second Line.\n");
 return 0;
}

执行结果是：

First Line.

Second Line.

我们定义了一个newline函数给main函数调用，它的作用是打印一个换行，所以执行结果中间多了一个空行。newline函数不仅不带参数，也没有返回值，返回值类型为void表示没有返回值，说明我们调用这个函数完全是为了利用它的Side Effect。如果我们想要多次插入空行就可以多次调用newline函数：

int main(void)
{
 printf("First Line.\n");
 newline();
 newline();
 newline();
 printf("Second Line.\n");
 return 0;
}

如果我们总需要三个三个地插入空行，我们可以再定义一个threeline函数每次插入三个空行：

较简单的自定义函数

#include <stdio.h>
void newline(void)
{
 printf("\n");
}
void threeline(void)
{
 newline();
 newline();
 newline();
}
int main(void)
{
 printf("Three lines:\n");
 threeline();
 printf("Another three lines.\n");
 threeline();
 return 0;
}

通过这个简单的例子可以体会到：

同一个函数可以被多次调用。

可以用一个函数调用另一个函数，后者再去调第三个函数。

通过自定义函数可以给一组复杂的操作起一个简单的名字，例如threeline。对于main函数来说，只需要通过threeline这个简单的名字来调用就行了，不必知道打印三个空行具体怎么做，所有的复杂操作都被隐藏在threeline这个名字后面。

使用自定义函数可以使代码更简洁，main函数在任何地方想打印三个空行只需调用一个简单的threeline()，而不必每次都写三个printf("\n")。

读代码和读文章不一样，按从上到下从左到右的顺序读代码未必是最好的。比如上面的例子，按源文件的顺序应该是先看newline再看threeline再看main。如果你换一个角度，按代码的执行顺序来读也许会更好：首先执行的是main函数中的语句，在一条printf之后调用了threeline，这时再去看threeline的定义，其中又调用了newline，这时再去看newline的定义，newline里面有一条printf，执行完成后返回threeline，这里还剩下两次newline调用，效果也都一样，执行完之后返回main，接下来又是一条printf和一条threeline。如下图所示：

函数调用的执行顺序

读代码的过程就是模仿计算机执行程序的过程，我们不仅要记住当前读到了哪一行代码，还要记住

现在读的代码是被哪个函数调用的，这段代码返回后应该从上一个函数的什么地方接着往下读。

现在澄清一下函数声明、函数定义、函数原型（Prototype）这几个概念。比如voidthreeline(void)这一行，声明了一个函数的名字、参数类型和个数、返回值类型，这称为函数原型。在代码中可以单独写一个函数原型，后面加;号结束，而不写函数体，例如:

void threeline(void);

这种写法只能叫函数声明而不能叫函数定义，只有带函数体的声明才叫定义。上一章讲过，只有分配存储空间的变量声明才叫变量定义，其实函数也是一样，编译器只有见到函数定义才会生成指令，而指令在程序运行时当然也要占存储空间。那么没有函数体的函数声明有什么用呢？它为编译器提供了有用的信息，编译器在翻译代码的过程中，只有见到函数原型（不管带不带函数体）之后才知道这个函数的名字、参数类型和返回值，这样碰到函数调用时才知道怎么生成相应的指令，所以函数原型必须出现在函数调用之前，这也是遵循“先声明后使用”的原则。

在上面的例子中，main调用threeline，threeline再调用newline，要保证每个函数的原型出现在调用之前，就只能按先newline再threeline再main的顺序定义了。如果使用不带函数体的声明，则可以改变函数的定义顺序:

#include <stdio.h>
void newline(void);
void threeline(void);
int main(void)
{
 ...
}
void newline(void)
{
 ...
}
void threeline(void)
{
 ...
}

这样仍然遵循了先声明后使用的原则。

由于有Old Style C语法的存在，并非所有函数声明都包含完整的函数原型，例如void threeline();这个声明并没有明确指出参数类型和个数，所以不算函数原型，这个声明提供给编译器的信息只有函数名和返回值类型。如果在这样的声明之后调用函数，编译器不知道参数的类型和个数，就不会做语法检查，所以很容易引入Bug。读者需要了解这个知识点以便维护别人用Old Style C风格写的代码，但绝不应该按这种风格写新的代码。

如果在调用函数之前没有声明会怎么样呢？有的读者也许碰到过这种情况，我可以解释一下，但绝不推荐这种写法。比如按上面的顺序定义这三个函数，但是把开头的两行声明去掉：

#include <stdio.h>
int main(void)
{
 printf("Three lines:\n");
 threeline();
 printf("Another three lines.\n");
 threeline();
 return 0;
}
void newline(void)
{
 printf("\n");
}
void threeline(void)
{
 newline();
 newline();
 newline();
}

编译时会报警告：

$ gcc main.c
main.c:17: warning: conflicting types for ‘threeline’
main.c:6: warning: previous implicit declaration of ‘threeline’ was 
here

但仍然能编译通过，运行结果也对。这里涉及到的规则称为函数的隐式声明（ImplicitDeclaration），在main函数中调用threeline时并没有声明它，编译器认为此处隐式声明了int threeline(void);，隐式声明的函数返回值类型都是int，由于我们调用这个函数时没有传任何参数，所以编译器认为这个隐式声明的参数类型是void，这样函数的参数和返回值类型都确定下来了，编译器根据这些信息为函数调用生成相应的指令。然后编译器接着往下看，看到threeline函数的原型是void threeline(void)，和先前的隐式声明的返回值类型不符，所以报警告。好在我们也没用到这个函数的返回值，所以执行结果仍然正确。

形参和实参

下面我们定义一个带参数的函数，我们需要在函数定义中指明参数的个数和每个参数的类型，定义参数就像定义变量一样，需要为每个参数指明类型，参数的命名也要遵循标识符命名规则。例如:

带参数的自定义函数

#include<stdio.h>
void print_time(int hour,int minute)
{
    printf("%d:%d\n",hour,minute);
}
int main(void)
{
    printf(23,59); 
    return 0;
}

需要注意的是，定义变量时可以把相同类型的变量列在一起，而定义参数却不可以，例如下面这样的定义是错的：

void print_time(int hour,minute)
{
  printf("%d:%d\n",hour,minute);
}

学习C语言的人肯定都乐意看到这句话：“变量是这样定义的，参数也是这样定义的，一模一样”，这意味着不用专门去记住参数应该怎么定义了。谁也不愿意看到这句话：“定义变量可以这样写，而定义参数却不可以”。C语言的设计者也不希望自己设计的语法规则里到处都是例外，一个容易被用户接受的设计应该遵循最少例外原则（Rule of Least Surprise）。其实关于参数的这条规定也不算十分例外，也是可以理解的，请读者想想为什么要这么规定。学习编程语言不应该死记各种语法规定，如果能够想清楚设计者这么规定的原因（Rationale），不仅有助于记忆，而且会有更多收获。

总的来说，C语言的设计是非常优美的，只要理解了少数基本概念和基本原则就可以根据组合规则写出任意复杂的程序，很少有例外的规定说这样组合是不允许的，或者那样类推是错误的。相反，C++的设计就非常复杂，充满了例外，全世界没几个人能把C++的所有规则都牢记于心，因而C++的设计一直饱受争议.

我们调用print_time(23, 59)时，函数中的参数hour就代表23，参数minute就代表59。确切地说，当我们讨论函数中的hour这个参数时，我们所说的“参数”是指形参（Parameter），当我们讨论传一个参数23给函数时，我们所说的“参数”是指实参（Argument），但我习惯都叫参数而不习惯总把形参、实参这两个文绉绉的词挂在嘴边（事实上大多数人都不习惯），读者可以根据上下文判断我说的到底是形参还是实参。记住这条基本原理：形参相当于函数中定义的变量，调用函数传递参数的过程相当于定义形参变量并且用实参的值来初始化。例如这样调用：

void printf_time(int hour,int minute)
{
   printf("%d:%d\n",hour,minute);
}
int main(void)
{
  int h=23,m=59;
  printf_time(h,m);
  return 0;
}

相当于在函数print_time中执行了这样一些语句:

int hour = h;
int minute = m;
printf("%d:%d\n", hour, minute);

main函数的变量h和print_time函数的参数hour是两个不同的变量，只不过它们的存储空间中都保存了相同的值23，因为变量h的值赋给了参数hour。同理，变量m的值赋给了参数minute。C语言的这种传递参数的方式称为Call by Value。在调用函数时，每个参数都需要得到一个值，函数定义中有几个形参，在调用时就要传几个实参，不能多也不能少，每个参数的类型也必须对应上。

肯定有读者注意到了，为什么我们每次调用printf传的实参个数都不一样呢？因为C语言规定了一种特殊的参数列表格式，用命令man 3 printf可以查看到printf函数的原型：

int printf(const char *format, ...);

第一个参数是const char *类型的，后面的...可以代表0个或任意多个参数，这些参数的类型也是不确定的，这称为可变参数（Variable Argument），在后面将详细讲解。总之，每个函数的原型都明确规定了返回值类型以及参数的类型和个数，即使像printf这样规定为“不确定”也是一种明确的规定，调用函数时要严格遵守这些规定，有时候我们把函数叫做接口(Interface),调用函数就是使用这个接口，使用接口的前提是必须和接口保持一致。

知识拓展:
Man Page
Man Page是Linux开发最常用的参考手册，由很多页面组成，每个页面描述一个主题，这些页面被组织成若干个Section。FHS（Filesystem Hierarchy Standard）标准规定了ManPage各Section的含义如下：
表 3.1. Man Page的 Section

section	描述
1	用户命令，例如ls(1)
2	系统调用，例如_exit(2)
3	库函数，例如printf(3)
4	特殊文件，例如null(4)描述了设备文件/dev/null、/dev/zero的作用
5	系统配置文件的格式，例如passwd(5)描述了系统配置文件/etc/passwd的格式
6	游戏
7	其它杂项，例如bash-builtins(7)描述了bash的各种内建命令
8	系统管理命令，例如ifconfig(8)

注意区分用户命令和系统管理命令，用户命令通常位于 /bin和 /usr/bin目录，系统管理命令通常位于 /sbin和 /usr/sbin目录，一般用户可以执行用户命令，而执行系统管理命令经常需要 root权限。
Man Page中有些页面有重名，比如敲 man printf命令看到的并不是C函数 printf，而是位于第1Section的系统命令 printf，要查看位于第3个Section的 printf函数应该敲 man 3 printf，也可以敲 man -k printf命令搜索哪些页面的主题包含 printf关键字。本书会经常出现类似 printf(3)这样的写法，括号中的3表示Man Page的第3个Section，或者表示“我这里想说的是 printf库函数而不是 printf命令”。

定义一个函数increment,它的作用是把传进来的参数加1。例如:

void increment(int x)
{
  x=x+1;
}
int main()
{
 int i=1,j=2;
 increment(i);
 increment(j);
 return 0;
}

我们在main函数中调用increment增加变量i和j的值，这样能奏效吗？为什么？

看运行结果没有变，因为调用时传进去的是一个值（一个数值），无论在increment内如何变都只变的是increment内对应的变量的值，与外面的变量无关。除非传进去一个地址比如increment(int *a),那么就明确到某一个位置固定的变量，这样对其修改即奏效。

全局变量，局部变量和作用域

我们把函数中定义的变量称为局部变量（Local Variable），由于形参相当于函数中定义的变量，所以形参也是一种局部变量。在这里“局部”有两层含义：

一个函数中定义的变量不能被另一个函数使用。例如print_time中的hour和minute在main函数中没有定义，不能使用，同样main函数中的局部变量也不能被print_time函数使用。如果这样定义:

void print_time(int hour, int minute)
{
 printf("%d:%d\n", hour, minute);
}
int main(void)
{
 int hour = 23, minute = 59;
 print_time(hour, minute);
 return 0;
}

main函数中定义了局部变量hour，print_time函数中也有参数hour，虽然它们名称相同，但仍然是两个不同的变量，代表不同的存储单元。main函数的局部变量minute和print_time函数的参数minute也是如此。

2.每次调用函数时局部变量都表示不同的存储空间。局部变量在每次函数调用时分配存储空间，在每次函数返回时释放存储空间，例如调用print_time(23, 59)时分配hour和minute两个变量的存储空间，在里面分别存上23和59，函数返回时释放它们的存储空间，下次再调用print_time(12,20)时又分配hour和minute的存储空间，在里面分别存上12和20。

与局部变量的概念相对的是全局变量（Global Variable），全局变量定义在所有的函数体之外，它们在程序开始运行时分配存储空间，在程序结束时释放存储空间，在任何函数中都可以访问全局变量，例如：

全局变量

#include <stdio.h>
int hour = 23, minute = 59;
void print_time(void)
{
 printf("%d:%d in print_time\n", hour, minute);
}
int main(void)
{
 print_time();
 printf("%d:%d in main\n", hour, minute);
 return 0;
}

正因为全局变量在任何函数中都可以访问，所以在程序运行过程中全局变量被读写的顺序从源代码中是看不出来的，源代码的书写顺序并不能反映函数的调用顺序。程序出现了Bug往往就是因为在某个不起眼的地方对全局变量的读写顺序不正确，如果代码规模很大，这种错误是很难找到的。而对局部变量的访问不仅局限在一个函数内部，而且局限在一次函数调用之中，从函数的源代码很容易看出访问的先后顺序是怎样的，所以比较容易找到Bug。因此，虽然全局变量用起来很方便，但一定要慎用，能用函数传参代替的就不要用全局变量。

如果全局变量和局部变量重名了会怎么样呢？如果上面的例子改为：

则第一次调用print_time打印的是全局变量的值，第二次直接调用printf打印的则是main函数局部变量的值。在C语言中每个标识符都有特定的作用域，全局变量是定义在所有函数体之外的标识符，它的作用域从定义的位置开始直到源文件结束，而main函数局部变量的作用域仅限于main函数之中。如上图所示，设想整个源文件是一张大纸，也就是全局变量的作用域，而main函数是盖在这张大纸上的一张小纸，也就是main函数局部变量的作用域。在小纸上用到标识符hour和minute时应该参考小纸上的定义，因为大纸（全局变量的作用域）被盖住了，如果在小纸上用到某个标识符却没有找到它的定义，那么再去翻看下面的大纸上有没有定义，例如上图中的变量x。

到目前为止我们在初始化一个变量时都是用常量做Initializer，其实也可以用表达式做Initializer，但要注意一点：局部变量可以用类型相符的任意表达式来初始化，而全局变量只能用常量表达式（Constant Expression）初始化。例如，全局变量pi这样初始化是合法的：

double pi = 3.14 + 0.0016;

但这样初始化是不合法的:

double pi = acos(-1.0);

然而局部变量这样初始化却是可以的。程序开始运行时要用适当的值来初始化全局变量，所以初始值必须保存在编译生成的可执行文件中，因此初始值在编译时就要计算出来，然而上面第二种Initializer的值必须在程序运行时调用acos函数才能得到，所以不能用来初始化全局变量。请注意区分编译时和运行时这两个概念。为了简化编译器的实现，C语言从语法上规定全局变量只能用常量表达式来初始化，因此下面这种全局变量初始化是不合法的:

int minute = 360;
int hour = minute / 60;

虽然在编译时计算出hour的初始值是可能的，但是minute / 60不是常量表达式，不符合语法规定，所以编译器不必想办法去算这个初始值。

如果全局变量在定义时不初始化则初始值是0，如果局部变量在定义时不初始化则初始值是不确定的。所以，局部变量在使用之前一定要先赋值，如果基于一个不确定的值做后续计算肯定会引入Bug。

如何证明“局部变量的存储空间在每次函数调用时分配，在函数返回时释放”？当我们想要确认某些语法规则时，可以查教材，也可以查C99，但最快捷的办法就是编个小程序验证一下：

验证局部变量存储空间的分配和释放

#include <stdio.h>
void foo(void)
{
 int i;
 printf("%d\n", i);
 i = 777;
}
int main(void)
{
 foo();
 foo();
 return 0;
}

第一次调用foo函数，分配变量i的存储空间，然后打印i的值，由于i未初始化，打印的应该是一个不确定的值，然后把i赋值为777，函数返回，释放i的存储空间。第二次调用foo函数，分配变量i的存储空间，然后打印i的值，由于i未初始化，如果打印的又是一个不确定的值，就证明了“局部变量的存储空间在每次函数调用时分配，在函数返回时释放”。分析完了，我们运行程序看看是不是像我们分析的这样：

134518128
777

结果出乎意料，第二次调用打印的i值正是第一次调用末尾赋给i的值777。有一种初学者是这样，原本就没有把这条语法规则记牢，或者对自己的记忆力没信心，看到这个结果就会想：哦那肯定是我记错了，改过来记吧，应该是“函数中的局部变量具有一直存在的固定的存储空间，每次函数调用时使用它，返回时也不释放，再次调用函数时它应该还能保持上次的值”。还有一种初学者是怀疑论者或不可知论者，看到这个结果就会想：教材上明明说“局部变量的存储空间在每次函数调用时分配，在函数返回时释放”，那一定是教材写错了，教材也是人写的，是人写的就难免出错，哦，连C99也这么写的啊，C99也是人写的，也难免出错，或者C99也许没错，但是反正运行结果就是错了，计算机这东西真靠不住，太容易受电磁干扰和宇宙射线影响了，我的程序写得再正确也有可能被干扰得不能正确运行。

这是初学者最常见的两种心态。不从客观事实和逻辑推理出发分析问题的真正原因，而仅凭主观臆断胡乱给问题定性，“说你有罪你就有罪”。先不要胡乱怀疑，我们再做一次实验，在两次foo函数调用之间插一个别的函数调用，结果就大不相同了：

int main(void)
{
 foo();
 printf("hello\n");
 foo();
 return 0;
}

结果是：

134518200
hello
0

这一回，第二次调用foo打印的i值又不是777了而是0，“局部变量的存储空间在每次函数调用时分配，在函数返回时释放”这个结论似乎对了，但另一个结论又不对了：全局变量不初始化才是0啊，不是说“局部变量不初始化则初值不确定”吗?

关键的一点是，我说“初值不确定”，有没有说这个不确定值不能是0？有没有说这个不确定值不能是上次调用赋的值？在这里“不确定”的准确含义是：每次调用这个函数时局部变量的初值可能不一样，运行环境不同，函数的调用次序不同，都会影响到局部变量的初值。在运用逻辑推理时一定要注意，不要把必要条件（Necessary Condition）当充分条件（Sufficient Condition），这一点在Debug时尤其重要，看到错误现象不要轻易断定原因是什么，一定要考虑再三，找出它的真正原因。例如，不要看到第二次调用打印777就下结论“函数中的局部变量具有一直存在的固定的存储空间，每次函数调用时使用它，返回时也不释放，再次调用函数时它应该还能保持上次的值”，这个结论倒是能推出777这个结果，但反过来由777这个结果却不能推出这样的结论。所以说777这个结果是该结论的必要条件，但不是充分条件。也不要看到第二次调用打印0就断定“局部变量未初始化则初值为0”，0这个结果是该结论的必要条件，但也不是充分条件。至于为什么会有这些现象，为什么这个不确定的值刚好是777，或者刚好是0，下面章节会详细讲。

从自定义函数介绍的语法规则可以看出，非定义的函数声明也可以写在局部作用域中，例如：

int main(void)
{
 void print_time(int, int);
 print_time(23, 59);
 return 0;
}

这样声明的标识符print_time具有局部作域，只在main函数中是有效的函数名，出了main函数就不

存在print_time这个标识符了。写非定义的函数声明时参数可以只写类型而不起名，例如上面代码中的void print_time(int,int);，只要告诉编译器参数类型是什么，编译器就能为print_time(23, 59)函数调用生成正确的指令。另外注意，虽然在一个函数体中可以声明另一个函数，但不能定义另一个函数，C语言不允许嵌套定义函数。

注意:但gcc的扩展特性允许嵌套定义函数，不做详细讨论。