例如,如果 Default 程序包具有隐式类型的对象 A 以及类型 B 的对象 C,并且 A 具有指向类型 B 的方向链接,Default 程序包的实施文件中会生成 Default_initRelations() 操作来初始化 A 和 C 之间的链接,即类型 B 的唯一对象:
static void Default_initRelations() { A_Init(&A); B_Init(&C); }
该操作为 A 和 C 调用初始化操作,进而初始化指向各自对象的链接。