C++学习笔记之“动态数组”

2006年11月5日 xmxoxo at XiaMen

 学习了数组和指针，写程序时想到了经常碰到的一个问题：如何创建动态数组？
动态数组是指在程序运行过程中创建的数组，数组的大小通常由参数决定，但维数是固定
的。

 在群里一位网友给了思路：使用指针。顺着他的思路，终于搞清了如何创建动态
数组。首先来看一个定义好的数组：int a[5];  当我们使用的时候，用a[3]来表示第4个
单元，而用a来表示指向第一个单元的指针，数组名就是指针。原来数组和指针是这样的关
系：数组其实就是一个指针，它指向一个连续存储空间的第一个空间，如果只有一个单元，
那就是普通的指针，如果有多个，那就是数组（不知道这样理解对不对）。那么，既然定义
了数组，可以得到数组名这个指针，反过来，定义指针，再分配空间给指针，是不是就定义
了数组？看以下的程序：
程序一：

#include  " stdafx.h "

void  main()
... {
 int *arr; //定义一个指针
 arr= new int;  //分配一个单元；C++ 中可以用new
 //arr=(int *)malloc(sizeof(int)); //C中可以用malloc
}

程序一中，先定义了一个指针arr，然后申请了一个空间（只有一个存储单元），让arr指向这个
空间。如果变成多个存储单元呢？

程序二：

 

#include  " stdafx.h "
#include  " stdio.h "

void  main()
... {
 int n;
 int *arr; //定义一个指针
 printf("Input Size:");
 scanf("%d",&n);
 arr= new int[n];  //分配n个单元；C++ 中可以用new
 //arr=(int *)malloc(n * sizeof(int)); //C中可以用malloc

 int i;
 for (i=0;i<n;i++)
 ...{
  arr[i]=i;
 }

 for (i=0;i<n;i++)
 ...{
  printf("%4d,",arr[i]);
 }

}

程序二中，同样也是定义一个指针arr,然后申请的是n个单元，arr指向第一个单元。
然后给这些单元中存入数，再逐个打印出来。这里没有判断n的值是否0或者负数，
程序可能会出错。通过申请多个单元，我们已经建立了大小为n的数组。

 建立了一维的数组，那么再来看看二维。一维数组是由一个指针指向的，那么二维
数组呢，就是M个指针分别指向这M个一维数组的首地址。由于M是在程序中指定的，所以如果
用： int *arr[5];来创建的话，只能5个指针，我们可以把第二维又看成一个数组，定义成：
int **arr; 这样：把*arr看成一个对象，那么可以先申请n个*arr，每个都是指针，再为这些
指针申请m个单元，总共得到n*m个单元

程序三：

#include  " stdafx.h "
#include  " stdio.h "

void  main()
{
  int  n,m,i,j;
  int   ** arr;  // 定义一个指针的指针
 printf( " Input N: " );
 scanf( " %d " , & n);
 printf( " Input M: " );
 scanf( " %d " , & m);

 arr =   new   int * [n];   // 分配n个单元来存指针；C++ 中可以用new
  // arr=(int **)malloc(n * sizeof(int));  // C中可以用malloc
  // 上面两句中，=号两边类型都是int **

  // 对这n个单元分别申请m个单元
  for (i = 0 ; i  <  n; i ++ )
 {
  Arr[i] =   new   int [m];  // 每个指针分配m个整数,等号两另的类型是int *
   // Arr[i] = (int*)malloc(m* sizeof(int));  // C中用 malloc

   // 全部写入0, 也可以去掉这一段。
   for  (j = 0 ;j < m;j ++ )
  {
   Arr[i][j]  = 0 ;
  }
 }
}

程序三中，先定义的是**arr，然后把*arr扩展成n个，再把这n个指针扩展成m个。按照指针的理解
**arr是这样的：(示意图，[]表示一个单元)
第一步：
 [指针1]→[指针2]
第二步：
 [指针1]→[指针2.1]
            ↓
          [...指针2.i]
            ↓
          [指针2.n]

第三步：
 [指针1]→[指针2.0]→[单元2.0.0][单元2.0.1]...[单元2.0.i]...[单元2.0.(m-1)]
     ↓
          [指针2.i]→[单元2.i.0][单元2.i.1]...[单元2.i.i]...[单元2.i.(m-1)]
            ↓
          [......]→[单元][单元]...[单元]...[单元]
            ↓
          [指针2.(n-1)]→[单元2.(n-1).0][单元2.(n-1).1]...[单元2.(n-1).i]...[单元2.(n-1).(m-1)]

可以看出，二维数组就是两个指针创建的。
有时候要要创建的二维数组的二个维大小相同，比如创建一个N*N的数组，这时可以只用一个参数，很容易
得到下面的函数：

 

// 生成N*N大小的二维数组
void  CreateArr( int   ** a, int  n)
... {
 int i;
 a=new int*[n];
 for (i=0;i<n;i++)
 ...{
  a[i]=new int[n];
 }
}

 再来看一下申请的空间，一维数组的空间是一次性申请的，是连续的；而n*m大小的二维数组是分
n次申请，每次申请m个，所以每次申请到的m个空间是连续的，但前后两次申请到的空间不一定连续。可以
用以下这个函数来输出地址看一下：

// 输出数组各储存空间的地址
void  outputAddress(  int   ** t, int  n, int  m)
... {
 int i,j;
 for (i=0;i<n;i++)
 ...{
  for (j=0;j<m;j++)
   printf("%p,",&t[i][j]);
  printf(" ");
 }
}

 另外，动态数组建立后，每个单元的值是多少呢？这跟如何定义这个指针有关，如果是全局的指针，
那么初值为0；如果是局部变量，则是随机数，所以，如果是局部变量，那要注意初值并不为0，也可以在申
请空间后写入0值。
 
 动态数组的输出同样可以写成函数，把指针以及大小作为参数：

// 输出数组中的值
void  output(  int   ** t, int  n, int  m)
... {
 int i,j;
 for (i=0;i<n;i++)
 ...{
  for (j=0;j<m;j++)
   printf("%4d",t[i][j]);
  printf(" ");
 }
}

 解决了二维数组，再来看看更多维的数数。二维数组是两个指针创建的，那么三维，四维...N维
数组,就是N个指针了。这N个指针形成一个“链”每个指针指向下一个指针，然后分别为每个指针申请空
间。也可以把上面这个过程理解成这样：K维数组，就是建立K-1维的指针数组，然后为里面的每个指针申
请存储单元。（有兴趣的朋友可以按这个思路写出生成N维数组的程序）维数越多，访问数据就越复杂，
这时可以考虑使用其它的数据结构来进行存储了。一般情况下好象没有超过三维的；其实，我们在实际应
用中，使用了多种方式来“降”维，例如：把数据存到对象（或者结构）中，再用二维数组来保存对象（或
者结构），其实从数组到数据，就是三维了，只不过，用对象（或者结构）来表示了数据的一个“维度”，
而且，对象（或者结构）中还可以再保存对象（或者结构）。