数组的存储结构c语言,数据结构之数组（C语言实现）

数组是大家很熟悉的一种数据类型，而且在我们的程序设计中也应用非常广泛。这里以抽象数据类型的形式讨论数组的定义和实现。

一、数组的定义

假设n维数组中含有第i维的长度为b(i)，则数组的总长度为b(0) *b(1)*...*b(n-1)，每个元素都受着n个关系的约束。在每个关系中元素a(j1,j2,...,jn) (0<=jn<=b(i)-2)都有一个直接后继元素。因此，就单个关系而言，这n个关系仍然是线性关系。和线性表一样，所有的数据元素都属于同一数据类型。数组的每个数据元素都对应于一组下标(j1,j2,......,jn).特殊地，当n=1，n维数组就退化为定长的线性表；反之，n维数组可以看成是线性表的推广。

数组一旦被定义，它的维数和维界就不再改变。因此除了结构的初始化和销毁之外，数组只有存取元素和修改元素值的操作。

二、数组的顺序表示和实现

1.存在的主序问题

由于我们的内存时一维的线性结构，而数组是个多维的结构，则用一组连续存储单元存放数组元素时就有个次序约定问题。因为我们是用C语言实现，所以我们默认都是使用行主序(pascal语言使用列主序)。

2.存储位置计算

对于数组，一旦规定了它的维数和各维的长度，便可为它分配存储空间。反之，只要给出一组下标就可求出相应数组元素的存储位置。下面以行序为主序的存储结构进行说明。

假设每个数据元素占L个存储单元，则二维数组A任一元素a(i, j)的存储位置可由下式确定：

LOC(i, j) = LOC(0, 0)+(b2*i+j) *L

其中LOC(0, 0)是元素a(0, 0)的存储位置，即二维数组A的起始存储位置，也称为基地址。

现将二维数组推广到一般情况，得到n维数组的数据元素存储位置的计算公式：

上式称为n维数组的映像函数。容易看出，数组元素的存储位置是其下标的线性函数，一旦确定了数组的各维的长度，c(i)就是常数。由于计算各个元素存储位置的时间相等，所以存取数组中任一元素的时间也相等。我们称具有这一特点的存储结构为随机存储结构。

3.补充知识

后面要进行代码实现，在此之前先要了解可变参数的使用方法。

VA_LIST 是在C语言中解决变参问题的一组宏。它有以下几个成员：

(1).va_list型变量：

#ifdef _M_ALPHA

typedef struct {

char *a0; /* pointer to first homed integer argument */

int offset; /* byte offset of next parameter */

} va_list;

#else

typedef char * va_list;

#endif

(2)._INTSIZEOF宏，获取类型占用的空间长度，最小占用长度为int的整数倍：

#define _INTSIZEOF(n) ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )

(3).VA_START 宏，获取可变参数列表的第一个参数的地址(ap是类型为va_list的指针，v是可变参数最左边的参数)：

#define va_start(ap,v) ( ap=(va_list)&v + _INTSIZEOF(v))

(4).VA_ARG宏，获取可变参数的当前参数，返回指定类型并将指针指向下一参数(t参数描述了当前参数的类型)：

#define va_arg(ap,t) ( (t)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )

(5).VA_END宏，清空va_list可变参数列表：

#define va_end(ap) ( ap = (va_list)0 )

VA_LIST的用法：

(1)首先在函数里定义一具VA_LIST型的变量，这个变量是指向参数的指针；

(2)然后用VA_START宏初始化变量刚定义的VA_LIST变量；

(3)然后用VA_ARG返回可变的参数，VA_ARG的第二个参数是你要返回的参数的类型(如果函数有多个可变参数的，依次调用VA_ARG获取各个参数)；

(4)最后用VA_END宏结束可变参数的获取。

4.代码实现

下面给出数组的顺序存储和实现：

#include

#include

#include //标准头文件，提供宏va_start、va_arg和va_end用于存取变长参数表

#define MAX_ARRAY_DIM 8 //假设数组维数最大值为8

typedef struct

{

int *base; //数组元素基址

int dim; //数组维数

int *bound; //数组维界基址,即用于存储每一维的长度

int *constants;//数组映像函数的各个常量系数

}Array;

//初始化数组，初始化维度，每一维的长度，和给数组分配内存

void InitArray(Array *A, int dim, ...)

{

if (dim < 1 || dim > MAX_ARRAY_DIM)

return;

A->dim = dim; //初始化数组的维数

A->bound = (int*)malloc(dim * sizeof(int));

int elemtotal = 1;

va_list ap;

va_start(ap, dim);

for (int i = 0; i < dim; ++i) //存放数组每一维的长度

{

A->bound[i] = va_arg(ap, int);

elemtotal *= A->bound[i]; //统计数组的元素个数

}

va_end(ap);

A->base = (int*)malloc(sizeof(int) * elemtotal);

A->constants = (int*)malloc(dim * sizeof(int));

A->constants[dim - 1] = 1; //最后的一维是一维数组，其参数固定为1

for (int i = dim - 2; i >= 0; --i)

{

A->constants[i] = A->bound[i + 1] * A->constants[i + 1];

}

}

//释放数组动态分配的内存空间，以免发生内存泄露

void DestroyArray(Array *A)

{

if (!A->base)

return;

free(A->base);

A->base = NULL;

if (!A->bound)

{

return;

}

free(A->bound);

A->bound = NULL;

if (!A->constants)

{

return;

}

free(A->constants);

A->constants = NULL;

}

//ap参数中存放着要存取的元素的下标,off为数组映像函数的常量参数

bool Locate(Array *A, va_list ap, int *off)

{

*off = 0;

for (int i = 0; i < A->dim; ++i)

{

int ind = va_arg(ap, int); //依次取出每一维的下标

if (ind < 0 || ind > A->bound[i])

return false;

(*off) += A->constants[i] * ind;//计算待存取的元素和数组基址的距离

}

return true;

}

//A是n维数组，e是元素变量，随后是n个下标值

//若下标不越界，则将e赋值为所指定的A的元素

void Value(Array *A, int *e, ...)

{

va_list ap;

va_start(ap, e);

int off;

if (!Locate(A, ap, &off))

{

return;

}

*e = *(A->base + off);

}

//A是n维数组，e是元素变量，随后是n个下标值

//若下标不越界，则将e赋给指定的A的元素

void Assign(Array *A, int e, ...)

{

va_list ap;

va_start(ap, e);

int off;

if (!Locate(A, ap, &off))

{

return;

}

*(A->base + off) = e;

}

int main(void)

{

Array arr;

InitArray(&arr, 3, 3, 4, 5);

for (int i = 0; i < 3; ++i)

{

for (int j = 0; j < 4; ++j)

{

for (int k = 0; k < 5; ++k)

{

Assign(&arr, i + j + k, i, j, k);

}

}

}

for (int i = 0; i < 3; ++i)

{

for (int j = 0; j < 4; ++j)

{

for (int k = 0; k < 5; ++k)

{

int tmp = 1;

Value(&arr, &tmp, i, j, k);

printf("%5d", tmp);

}

printf("\n");

}

printf("\n");

}

printf("\n");

return 0;

}

参考资料：

《数据结构》严蔚敏版

http://justsee.iteye.com/blog/1637173