第7章 函数

一个没有参数的函数原型应该写成如下：

int *func(void);

关键字void提示没有任何参数，而不是表示它有一个类型为void的参数。

当程序调用一个无法见到原型的函数时，编译器便认为该函数返回一个整型值。对于那些并不返回整型值的函数，这种认定可能会引起错误。

C函数的所有参数均以“传值调用”方式进行传递，这意味着函数将获得参数值的一份拷贝。但是如果被传递的参数是一个数组名，并且在函数中使用下标引用该数组的参数，那么在函数中对数组元素进行修改实际上修改的是调用程序中的数组元素。函数将访问调用程序的数组元素，数组并不会被复制。

ADT和黑盒

C可以用于设计和实现抽象数据类型（ADT），因为 它可以限制函数和数据定义的作用域。这个技巧也被称为黑盒设计。抽象数据类型的基本想法是很简单的——模块具有功能说明和接口说明，前者说明模块所执行的任务，后者定义模块的使用。但是模块的用户并不需要知道模块实现的任何细节，而且除了那些定义好的接口之外，用户不能以任何方式访问模块。
限制对模块的访问是通过static关键字的合理使用实现的，它可以限制对那些并非接口的函数和数据的访问。例如：

// 地址列表模块声明
#define NAME_LENGTH 30
#define ADDR_LENGTH 100
#define MAX_ADDRESSES 1000

// 接口函数
char const *lookup_address(char const *name);
char const *lookup_phone(char const *name);

// 头文件内容
#include "addrlist.h"
#include <stdio.h>

static char name[MAX_ADDRESSES][NAME_LENGTH];
static char address[MAX_ADDRESSES][ADDR_LENGTH];
static char phone[MAX_ADDRESSES][PHONE_LENGTH];

static int find_entry(char const *name_to_find)
{
	int entry;
	for (entry=0; entry<MAX_ADDRESSES; entry+=1)
	{
		if (strcmp(name_to_find, name[entry]) == 0)
		{
			return entry;
		}
	}
	return -1;
}

char const *lookup_address(char const *name)
{
	int entry;
	entry = find_entry(name);
	if (entry==-1)
	{
		return NULL:
	}
	else
	{
		return address[entry];
	}
}

char const *lookup_phone(char const *name)
{
	int entry;
	entry = find_entry(name);
	if (entry == -1)
	{
		return NULL;
	}
	else
	{
		return phone[entry];
	}
} 

在该示例中，接口是函数lookup_address和lookup_phone，但是用户不能直接访问和模块实现有关的数据，如数据或辅助函数find_entry，因为这些内容被声明为static。
这种类型的威力在于它使程序的各个部分相互之间更加独立。黑盒的概念使实现细节与外界隔绝，这就消除了用户试图直接访问这些实现细节的诱惑。

可变参数列表

可变参数列表是通过宏来实现的，这些宏定义于stdarg.h头文件，它是标准库的一部分。
函数声明了一个名叫var_arg的变量，它用于访问参数列表的未确定部分。这个变量通过调用va_start来初始化。它的第1个参数是var_list变量的名字，第2个参数是省略号前最后一个有名字的参数。初始化过程把var_arg变量设置为指向可变参数部分的第1个参数。
为了访问参数，需要使用va_arg，这个宏接受两个参数：va_list变量和参数列表中下一个参数的类型。va_arg返回这个参数的值，并使var_arg指向下一个可变参数。
最后当访问完毕最后一个可变参数之后，我们需要调用va_end。
注意，可变参数必须从头到尾按照顺序逐个访问。如果你在访问了几个可变参数后想半途中止，这是可以的。但是如果你想一开始就访问参数列表中间的参数，那是不行的。另外由于参数列表中的可变参数部分并没有原型，所以，所有作为可变参数传递给函数的值都将执行缺省参数类型提升。例如：

#include <stdarg.h>

float (int n_values, ...)
{
	va_list var_arg;
	int count;
	float sum = 0;
	// 准备访问可变参数
	va_start(var_arg, n_values);
	// 添加取自可变参数列表的值
	for (count=0; count<n_values; count++)
	{
		sum += va_arg(var_arg, int);
	}
	// 完成处理可变参数
	va_end(var_arg);
	return sum / n_values;
}

对于这些宏，存在两个基本限制：（1）这些宏无法判断实际存在的参数的数量；（2）这些宏无法判断每个参数的类型。
要回答这两个问题，就必须使用命名函数。