封装性是面向对象程序设计用于保证程序健壮性的一个重要部分。封装性的一部分是对对象内部数据进行封装,即不允许外部程序直接引用对象的属性,而是通过对应的get/set方法对属性的访问。封装性有诸多优点:一方面提高的程序的健壮性,防止外部程序有意无意将属性设成非法的值;另一方面也提高了程序的灵活性,如get/set方法并不一定实际对应一个数据成员,一个类的内部实现可以进行一定程序的修改而并影响对外接口。在C++和JAVA等面向对象设计语言中,通过对类成员进行访问控制声明(public, private等)达到对对象内部数据进行封装的目的。
在C中,与对象对应的是struct结构(姑且这么说吧)。一般C程序将提供给其它程序访问的结构定义在.h文件中,如设要定义一个date_t的结构表示日期类型,并提供一些对date_t类型的操作,如date_diff函数用于计算两日期之差。一般做法如下:
date.h
typedef struct date {
int year;
int month;
int day;
} date_t;
/*计算两个日期之差,返回两日期之间相关天数*/
int date_diff(date_t *d1, date_t *d2);
这样做的问题是,一般其它程序include了date.h,就可以直接访问和设置date_t结构的属性了,但这可能会带来一些问题,如下面的代码片段:
date_t d;
d.year = 1900;
d.month = 2;
d.day = 29;
将日期赋成1900年2月29日,而实际上1900年2月29日这个日期是非法的,因为1900年并不是闰年。因此,一但设计date_t结构的程序员将date_t结构的内部数据呈现给其使用者,他就无法保证一个date_t结构总是表示一个正确的日期,而这通常是很重要的。比如date_t结构的提供者也提供对date_t结构的一系列操作(这是很常见的),如求两个日期之间的差的date_diff函数等,这些操作如果接受非法的参数,就可能会输出奇怪的结果,甚至不能工作。
解决这一问题的一种方法将date_t结构定义在实现date_t操作的.c文件中,而对外只提供date对象的句柄(实际上是date_t对象的指针),如下所示:
date.h
typedef void* handle_t;
/*计算两个日期之差,返回两日期之间相关天数*/
int date_diff(handle_t d1, handle_t d2);
这样由于调用者不知道date类型的内部结构,就不可能使用上述“暴力”手段制造出一个非法的日期。当然,日期类型的实现者还要提供一些操作用于创建一个date_t对象,得到日期的年、月、日等分量等。
但这种方法也带来新的问题。假设系统中也提供了时间类型,但在对外的.h文件中也将它定义为handle_t,这样,如果调用者进行如下操作:
handle_t d = date_create(year, month, day);
handle_t t = time_create(hour, minute, second);
int diff = date_diff(d, t);
调用者将一个日期类型和一个时间类型作为参数调用date_diff函数,这显然是错误的,但问题是,日期和时间类型都被定义为handle_t,因此编译器无法发现这一类错误,程序运行时也不一定能立即发现。因此,上述做法由于完全抹杀了各类型之间的区别,容易导致各类型对象混用的错误。
另一种比较好的方法是在.h文件中定义如下定义:
date.h
typedef struct date date_t;
time.h
typedef struct time time_t;
同样并不在date.h和time.h中直接定义date, time结构。但这时调用者就不容易产生类型混用的错误了,比如以下的代码,编译器就会提示类型不匹配:
date_t *d = date_create(year, month, day);
time_t *t = time_create(hour, minute, second);
int diff = date_diff(d, t);