9.2.1 静态查找表的类型定义 　　静态查找表的抽象数据类型定义如下： ADT StaticSearchTable { 　数据对象：D是具有相同特性的数据元素的集合。每个数据元素含有类型相同的关键字，可唯一标识数据元素。 　数据关系：D中所有数据元素同属一个集合。 　基本操作： 　　CreateTable(&ST, n); 　　　操作结果：构造一个含 n 个数据元素的静态查找表 ST。 　　DestroyTable(&ST); 　　　初始条件：静态查找表 ST 存在； 　　　操作结果：销毁查找表 ST。 　　Search(ST, kval); 　　　初始条件：静态查找表 ST 存在，kval 为和查找表中元素的关键字 　　　　　　　　类型相同的给定值； 　　　操作结果：若ST中存在其关键字等于 kval 的数据元素，则函数值为 　　　　　　　　该元素的值或在表中的位置，否则为"空"。 　　Traverse(ST, visit()); 　　　初始条件：静态查找表 ST 存在，visit 是对元素操作的应用函数； 　　　操作结果：按某种次序对ST的每个元素调用函数 visit() 一次且仅一次， 　　　　　　　　一旦 visit() 失败，则操作失败。 } ADT StaticSearchTable