#include<stdarg.h>  
#define MAX_ARRAY_DIM 8 //假設數(shù)組維數(shù)的最大值為8 
typedef struct {
 ElemType *base;  //數(shù)組元素基址，由InitArray分配
 int dim;  //數(shù)組維數(shù)
 int *bounds;  //數(shù)組維界基址，由InitArray分配
 int *constants;  //數(shù)組映象函數(shù)常量基址，由InitArray分配
}Array;

Status InitArray(Array &A,int dim,...){//這里用的是“可變參”形參方式。它主要解決維數(shù)不定的問題。
//舉例：設有4維數(shù)組，各維分別是：4,5,6,7（這些數(shù)字是隨意給的），那么，調(diào)用方式：
//InitArray(ar, 4, 4, 5, 6, 7);
//ar其中，ar也是假設的變量名稱, 4表示數(shù)組有4維, 4, 5, 6, 7這4個數(shù)是各維大小
//如果是5維的，那么就這樣：
//InitArray(ar, 5, 第一維數(shù)，第二維數(shù)，第三維數(shù)，第四維數(shù)，第五維數(shù));
//若維數(shù)dim和隨后的各維長度合法，則構(gòu)造相應的數(shù)組A，并返回OK。
if (dim<1 ||dim>MAX_ARRAY_DIM) return ERROR;
A.dim=dim;
A.bounds=(int *)malloc(dim*sizeof(int));
if (!A.bounds) exit(OVERFLOW);
//若各維長度合法，則存入A.bounds，并求出A的元素總數(shù)elemtotal。
elemtotal=1;
va_start(ap,dim); //ap為va_list類型，是存放變長參數(shù)表信息的數(shù)組。
for (i=0;i<dim;++i){
 A.bounds[i]=va_arg(ap,int);//從這里可以看出，A.bounds數(shù)組中，存放的是各維的大小
 if (A.bounds[i]<0) return UNDERFLOW;
 elemtotal * = A.bounds[i];//各維數(shù)之積，自然是數(shù)組中元素的總個數(shù)
}
va_end(ap);
A.base=(ElemType *)malloc(elemtotal *sizeof(ElemType));//這個就是“多維數(shù)組”的存儲本質(zhì)：一維數(shù)組！
//用一維方式表示多維數(shù)組后（其實，從管理和使用的角度看，內(nèi)存就只有一維這么一種形式），存在如何按“多維”的邏輯角度定位元素的問題。再說清楚些：假設前面所講的4維數(shù)組，其元素用下標形式表示，范圍為：(0,0,0,0)到(3,4,5,6)。對于任意下標（在有效范圍內(nèi)）(i1, i2, i3, i4)所對應的元素，轉(zhuǎn)換到“一維”空間后，其下標應該是什么？這就是這個程序后面要處理的主要問題。
if (!A.base) exit (OVERFLOW):
//求映象函數(shù)的常數(shù)ci（i為下標），并存入A.constants[i-1]，i=1，...dim。
A.constants=(int *)malloc(dim *sizeof(int));
if (!A.constants)exit (OVERFLOW);
//以前面的4維數(shù)組為例子，其中A.bounds[0]=4，A.bounds[1]=5，A.bounds[2]=6，A.bounds[3]=7。
//跟蹤下面的程序：
A.constants[dim-1]=1;//A.constants[3] = 1
for (i=dim-2;i>=0;--i)//A.constants[2] = 7，A.constants[1] = 6*7，A.constants[0] = 5*6*7
 A.constants[i]=A.bounds[i+1] * A.constants[i+1];
//說到這里，這個問題就清晰了：A.constants中的元素，是幫助定位用的。比如說：對于(2,0,0,0)這個下標的元素，應該越過前面的(0,0,0,0)~(0,4,5,6)和(1,0,0,0)~(1,4,5,6)這兩大塊，而這兩大塊中的每一塊都有5*6*7個元素，這正好就是A.constants[0]中所存放的數(shù)據(jù)??！
//現(xiàn)在應該明白了吧！
return OK;
}

status Locate(Array A,va_list ap,int &off){
//若ap指示的各下標值合法，則求出該元素在A中相對地址off。
 off=0;
 for (i=0;i<A.dim;++i){
 ind=va_arg(ap,int);
 if (ind<0 || ind>=A.bounds[i]) return OVERFLOW；
 off + = A.constants[i] * ind;
 }
 return OK;