|
|
封装性是面向对象程序设计用于保证程序健壮性的一个重要部分。封装性的一部分是对对象内部数据进行封装，即不允许外部程序直接引用对象的属性，而是通过对应的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);
|
|
