类似于线性表,抽象数据类型数组的定义(C语言风格)为:
注:
&为引用 ,&A为引用A。 |
---|
OK的状态码为1 |
数据对象:
aabcde……
a是数组a的一维下标,若a=5,那么数组a的第一维的长度为5
b是数组a的二维下标,若b=3,那么数组a的第二维的长度为3
e是数组a的五维下标,若e=2,那么数组a的第五维的长度为2
如有数组a342 那么数组共有3维,长度分别为3,4,2,一共有342
=24个元素
数据关系:
a341是a342直接前驱(在前面的意思)
a343 是a342的直接后继(在后面的意思)
基本操作:(我想把代码写在另一篇文章上)
InitArray(&A,n,bound1,…,boundn)
初始条件:无
操作结果:若维数n和各维长度合法,则构造相应的数组A,并返回OK
DestroyArray(&A)
初始条件:无
操作结果:销毁数组A
Value(A,&e,index1,…,indexn)
初始条件:无
操作结果:若各下标不越界,则e赋值为所指定的A的元素值,并返回OK
Assign(&A,e,index1,…indexn)
初始条件:
操作结果:若下标不越界,则e的值赋给所指定的A的元素,并返回OK
补充:
和线性表一样,数组的所有元素都必须是同一数据类型,每个下标的取值范围是[0,n-1],其中,n为某维度的长度。
当数组为一维是,数组就退化为定长的线性表了,反之,多维度的数组也可以是线性表的推广。
从另一个角度定义多维数组(学C数组的时候大家有没有听过这样一句话:n维数组可以看成是每个元素都是n-1维数组的一维数组)
我们可以把二维数组看成这样一个定长的线性表:它的每个数据元素也是一个定长的线性表。
有二维数组,以m行n列的矩阵表示。
它可以看成一个线性表A=(a0,a1,…,ap) (p=m-1h或n-1)
其中的元素ai是一个列向量形式的线性表
aj = (a0j,a1j,…,am-1,j) j属于[0,n-1]
其中的元素aj也可以是一个行向量形式的线性表
ai = (ai0,ai1,…,ai,n-1) i属于[0,m-1]
列向量形式(每个元素是一列)
行向量形式(每个元素是一行)
如何确地数组的地址
以行序作为主序的存储结构展示。
以行列均为3的数组为例:
这里用LOC(i,j)表示aij的地址
如LOC(0,0)是a00的地址
LOC(2,2) = LOC(0,0) + (2*3+2)L (L为每个元素占的存储单元)
解释:LOC(0,0)为第一个元素的地址。
2 * 3中的2表示2个第一维数组,3表示数组第二维的长度,3 * 2可以理解为跳过长度2的第一维数组,直接到LOC(2,0).
+2表示跳过长度为2的第二维数组,所以就到LOC(2,2)了
推广:
如有三维数组a[2][3][4]
LOC(1,2,3) = LOC(0,0,0)+(1 * 3 * 4 , 2 * 4 , 3)L
1 * 3 * 4中的1表示1个第一维数组 ,3 * 4表示第一维数组的长度
1 * 3 * 4表示跳到LOC(1,0,0)
2 * 4 表示在前面的基础上跳到LOC(1,2,0)
3 表示在前面的基础上跳到LOC(1,2,3)
n维数组也是同样的,有公式,在这里就不写了,怪费劲的。