【说明】
在一公文处理系统中，开发者定义了一个公文结构OfficeDoc，其中定义了公文应该具有的属性。当公文的内容或状态发生变化时，与之相关联的DocExplorer结构的值都需要发生改变。一个OfficeDoc结构能够关联一组DocExplorer结构。当OfficeDoc结构的内容或状态发生变化时，所有与之相关联的DocExplorer结构都将被更新，这种应用被称为观察者模式。以下代码采用C语言实现，能够正确编译通过。
【代码13-4】
# include＜stdio.h＞
# define OBS_MAXNUM 20 /*一个OfficeDoc变量最多能够关联的DocExplorer变量的个数*/
typedef void( (1) )(struc OffieeDoc*, struct DoeExplorer*)I;
struct DocExplorer
func update;/*DocExplorer结构采用的更新函数*/
/*其它的结构字段省略*/
;
struet OffieeDoc
(2) myObs[OBS_MAXNUM
;
/*存储所有与OfficeDoc相关联的DocExplorer结构指针*/
int index;/*与OffieeDoc结构变量相关联的DoeExplorer结构变量的个数*/
；
void attaeh(struct OfficeDoc*doc, struct DocExplorer*ob)
/*关联Observer结构ob与OffieeDoe结构doe*/
int loop=0;
if(doc-＞index＞=OBS_MAXNUM｜｜ob==NULL)return;
for(loop=0, loop＜doc-＞index; loop++)
if(doc-＞myObs[loop]==ob)return;
doc-＞myObs[doe-＞index]=ob；
doc-＞index++;void detaeh(struct OfficeDoc*doc, struct DocExplorer*ob)
/*解除doc结构与ob结构间的关联*/
int loop;
if(ob==NULL)return;
for(loop=0;loop＜doc-＞index; loop++)
if(doe-＞myObs[loop]==ob)
if(loop＜=doc-＞index-2)
doc-＞myObs[loop]=doc-＞myObs[ (3) ];
doc-＞myObs[doc-＞index-1]=NULL;
doc-＞index——;
breack;
void updatel(struct OfficeDoe*doe, struct DoeExplorer *ob)
/*更新ob结构的值，更新代码省略*/
void update2(struct OffieeDoc*doc,struet DocExplorer *ob)
/*更新ob结构的值，更新代码省略*/void notifyObs(struct OfficeDoc* doc)
/*当doc结构的值发生变化时，通知与之关联的所有DocExplorer结构变量*/
int loop;
for(loop=0; loop＜doc-＞index; loop++)
(doc-＞myObs[loop
)-＞update( (4) );
void main()
struct OfficeDoc doc; /*定义一了OfficeDoe变量*/
struct DocExplorer explorer1, explorer2; /*定义两个DocExplorer变量*/
/*初始化与OfficeDoc变量相关的DocExplorer变量个数为0*/
doc.index=0;
explorer1.update=update1; /*设置explorer1变量的更新函数*/
explorer2. update=update2; /*设置explorer2变量的更新函数*/
attach(&doc, &explorer1); /*关联explorer1与doc对象*/
attach(&doc, &explorer2); /*关联explorer2与doc对象*/
/*其它代码省略*/
(5) ; /*通知与OfficeDoe相关的所有DoeExploer变量*/
return;
参考答案：(1)*func (2)struct DocExplorer*
(3)doc-＞index-1，或等价形式(4)doc，doc-＞myObs[loop]，或等价形式
(5)notifyObs(＆doc)
解析：在结构体DocExplorer的定义中，func是一种类型，语句“func update；”定义了类型为 func的变量update，又根据(1)空所在行的其它信息，可知typedef是在声明指向函数的指针类型，该函数的参数列表为(struc OfficeDoc*，struct DocExplorer*)，返回值类型为 void，因此第(1)空填：*func。这是用tpyedet。声明指向函数的指针类型的格式。
根据第(2)空下一行的注释可知，该语句是将DocExplorer结构体指针存储在OfficeDoc中，所以可知第(2)空是定义一个DocExplorer指针数组变量，因此，第(2)空填： struct DocExplorer*。
根据函数detach里面的语句“doc-＞myObs[doc-＞index-1]=NULL；doe-＞ index——；”可知，其功能是使关联个数减1。并将数组。myObs的最后一个关联结构体的指针置空。如果要解除关联的是数组的最后一个元素doc－＞myObs[doc-＞—index-1]，那么可直接将其置空；但如果要解除关联的结构体不是最后一个呢显然，语句：
if(loop＜=doc-＞—index-2)
doc-＞—myObs[loop]=doc-＞—myObs[ (3) ];便是用来处理这种情况的。由于关联总个数减1，导致最后一个元素丢失，而在这种情况下要解除关联的结构体并非最后一个元素，因此不能丢失最后一个元素，而要将其保存在要解除关联的结构体指针中，这样一举两得，既保存了不该解除的，又解除了该解除的结构体。因此，第(3)空填：doe-＞index-1。
第(4)空是要填函数update的实参列表，而update是func类型，对照第(1)空所在行的形参列表，显然可得第(4)空填“doc，doc-＞myObs[loop]”。特别要注意，不能少了逗号，因为update函数有两个参数。
函数notifyObs的形参为结构体OfficeDoc的指针类型，因此第(5)空在调用该函数时要传递一个地址，所以填：notifyObs(＆doc)。