C语言的ADT和黑盒

C可以用于设计和实现抽象数据类型(ADT, Abstract Data Type)，因为它可以限制函数和数据定义的作用域。这个技巧也被称为黑盒(black box)设计。抽象数据类型的基本想法是很简单的——模块具有功能说明和接口说明，前者说明模块所执行的任务，后者定义模块的使用。但是，模块的用户并不需要知道模块实现的任何细节，而且除了那些定义好的接口，用户不能以任何方式访问模块。

限制对模块的访问是通过合理使用static关键字来实现的，它可以限制对那些并非接口的函数和数据的访问。

例如，考虑一个用于维护一个地址/电话号码列表的模块。模块必须提供函数，根据一个指定的名字查找地址和电话号码。但是，列表存储的方式是依赖于具体实现的，所以这个信息为模块所私有，用户并不知情。

//addlist.h

/*地址列表模块的声明*/

/*
**数据特征
**各种数据的最大长度(包括结尾的NUL字节)和地址的最大数量
**
*/

#define	NAME_LENGTH 30		//允许出现的最长名字
#define ADDR_LENGTH 100		//允许出现的最长地址
#define PHONE_LENGTH 11		//允许出现的最长电话号码

#define MAX_ADDRESSES 1000	//允许出现的最多的地址个数

/*
**函数接口
**给出一个名字，查找相应的地址
*/
char const* lookup_address(char const *name);

/*
**给出一个名字，查找对应的电话号码
*/
char const* looup_phone(char const *name);

//addlist.c

/*
**用于维护一个地址列表的抽象数据类型
*/

#include<stdio.h>
#include"addlist.h"

/*
**每个地址的3个部分，分别保存于3个数组的对应元素中
*/

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 ADDRESSSES; entry += 1 )
        if( strcmp( name_ to_find, name[ entry ] ) == 0 )
            return entry;
	
    return -1;
}
/*
**给定一个名字，查找并返回对应的地址。
**如果名字没有找到，函数返回一个NULL指针。
*/



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

/*
**给定一个名字，查找并返回对应的电话号码。
**如果名字没有找到，函数返回一个NULL指针。
*/
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。但是，用户不能直接访问和模块实现有关的数据，如数组或辅助函数findentry，因为这些内容被声明为static。

这种类型的实现威力在于它使程序的各个部分相互之间更加独立。例如，随着地址列表的记录条数越来越多，简单的线性查找可能太慢，或者用于存储记录的表可能装满。此时可以重新编写查找函数，使它效率更高，比如通过使用某种形式的散列表查找来实现。或者，甚至可以放弃使用数组，转而为这些记录动态分配内存空间。但是，如果用户程序可以直接访问存储记录的表，且表的组织形式如果进行了修改，就有可能导致用户程序失败。黑盒的概念使实现细节与外界隔绝，这就消除了用户试图直接访问这些实现细节的诱惑。这样，访问模块唯一可能的方法就是通过模块所定义的接口。