数组元素的引用.doc

数组元素的引用 1．确定数组元素地址的两个因素：数组的首地址，相对于首地址的偏移量。 2．多维数组到一维存储空间的映射方法：以行为主，以列为主。 a[0..2, 2..4]，它有如下元素： a[0, 2], a[0, 3], a[0, 4] a[1, 2], a[1, 3], a[1, 4] a[2, 2], a[2, 3], a[2, 4] a[0, 2], a[0, 3], a[0, 4], a[1, 2], a[1, 3], a[1, 4], a[2, 2], a[2, 3], a[2, 4] 以列为主存放时，元素排列为： a[0, 2], a[1, 2], a[2, 2], a[0, 3], a[1, 3], a[2, 3], a[0, 4], a[1, 4], a[2, 4] ## 对一个数组元素的引用，至少需要两个因素来确定它的具体位置，数组的首地址和相对首地址的偏移量。如果映射方式不同，同一个元素相对首地址的偏移量不同。 可以有两种确定映射方式的方法： 1．由声明时的语法确定映射方式： a : array [d1] of array [d2] of ... array[dn] of integer; a[i1, i 2, ..., i n]或a[i 1][ i 2]...[ i n] 2．由编译器确定映射方式： a : array [d1, d2, ..., dn] of integer; a[i 1, i 2, ..., i n] 数组元素引用时地址的确定： 1．根据映射方式求出计算公式； 2．根据计算公式设计语义规则。 4.6.1 数组元素的地址计算 ① 数组元素以行为主存放，推广到n维数组，就是数组的第i维中每个成员是di个n-i维的数组，其中di是第i维成员的个数； 数组每维的下界均为1； 每个元素仅占一个标准存贮单元（可以认为是一个字或者一个字节）。 addr(A[i])=a+(i-1)*w 二维数组元素的地址计算：addr(A[i1, i2])=a+((i1-1)*d2+(i2-1))*w n维数组元素的地址计算： addr(A[i1i2，...，in]) = a + ((i1-1)*d2*d3*...*dn+(i2-1)*d3*d4*...*dn+...+ (in-1))*w = a-(d2*d3*...*dn+d3*d4*...*dn+...+dn+1)*w +(i1*d2*d3*...*dn+i2*d3*d4*...*dn+...+in-1*dn+in)*w = a – c*w + v*w = a – c + v c和v可以化为便于循环计算的公式： c = (...((d2+1)*d3+1)...+1)*dn+1 v = (...((i1*d2+i2)*d3+i3)...+in-1)*dn+in v1 = i1 则： v2 = i1d2+i2 = v1d2+i2 v3 = (v1d2+i2)*d3+i3 = v2d3+i3 从而得到下述v的一般递推公式(4.4)，当j=n时，就得到了完整的v，即v=vn。 v1 = i1 vj = vj-1*dj+ij (j=2，3，..., n) (4.4) c的递推公式： c1 = 1 cj = cj-1*dj+1 (j=2，3，..., n) (4.3) addr(A[i1，i2，...，in]) = a-c+v = CONSPART + VARPART 4.6.2数组元素引用的语法制导翻译 CONSPART[VARPART]，或者T1[T] X:=T1[T]（=[ ]） T1[T]:=X （[ ]=） A → V := E V → id[EL] | id (G4.4) EL → EL ，E | E E E + E | ( E ) | V 适应递推公式同步计算的文法： A → V := E (1) V → id (2) | EL ] (3) -- 完成数组元素的分析和对v的计算 EL → id [ E (4) -- v1 | EL , E (5) -- 递归计算第i维的vi E E + E (6)