5.1.1 数组的类型定义 　基本操作： 　　InitArray(&A, n, bound1, ..., boundn) 　　　操作结果：若维数 n 和各维长度合法，则构造相应的数组 A。 　　DestroyArray(&A) 　　　初始条件：数组 A 已经存在。 　　　操作结果：销毁数组 A。 　　Value(A, &e, index1, ..., indexn) 　　　初始条件：A 是 n 维数组，e 为元素变量，随后是 n 个下标值。 　　　操作结果：若各下标不超界，则e赋值为所指定的A的元素值，并返回OK。 　　Assign(&A, e, index1, ..., indexn) 　　　初始条件：A 是 n 维数组，e 为元素变量，随后是 n 个下标值。 　　　操作结果：若下标不超界，则将 e 的值赋给A中指定下标的元素。 } ADT Array

数组一旦被定义，其维数(N)和每一维的上、下界均不能再变，数组中元素之间的关系也不再改变。因此数组的基本操作除初始化和结构销毁之外，只有通过给定的"一组下标"索引取得元素或修改元素的值。