昨天编了一个小程序,一个简单的动态规划问题。其中想将一个二维数组作为参数传递一下,发现碰到了一些问题,在网上搜到了一篇文章,如下:
作者: jatix
邮箱: jatix@163.com
QQ: 52287017
声明:
如果你是得道的大侠,这篇文章可能浪费你的时间,如果你坚持要看,我当然感觉很高
兴,但是希望你看完了别骂我!如果你发现我这篇文章有错误的话,你可以提出批评以及
指正,我将很乐意地接受。*_*
概述:
今天写程序的时候要用到二维数组作参数传给一个函数,我发现将二维数组作参数进行
传递还不是想象得那么简单里,但是最后我也解决了遇到的问题,所以这篇文章主要介绍
如何处理二维数组当作参数传递的情况,希望大家不至于再在这上面浪费时间。
正文:
首先,我引用了谭浩强先生编著的《C程序设计》上面的一节原文,它简要介绍了如何
将二维数组作为参数传递,原文如下(略有改变,请原谅):
[原文开始]
可以用二维数组名作为实参或者形参,在被调用函数中对形参数组定义时可以可以指
定所有维数的大小,也可以省略第一维的大小说明,如:
void Func(int array[3][10]);
void Func(int array[][10]);
二者都是合法而且等价,但是不能把第二维或者更高维的大小省略,如下面的定义是
不合法的:
void Func(int array[][]);
因为从实参传递来的是数组的起始地址,在内存中按数组排列规则存放(按行存放),
而并不区分行和列,如果在形参中不说明列数,则系统无法决定应为多少行多少列,不能
只指定一维而不指定第二维,下面写法是错误的:
void Func(int array[3][]);
实参数组维数可以大于形参数组,例如形参数组定义为:
void Func(int array[3][10]);
而实参数组定义为:
int array[5][10];
这时形参数组只取实参数组的一部分,其余部分不起作用。
[原文结束]
大家可以看到,将二维数组当作参数的时候,必须指明所有维数大小或者省略第一维的
,但是不能省略第二维或者更高维的大小,这是由编译器原理限制的。大家在学编译原理
这么课程的时候知道编译器是这样处理数组的:
对于数组 int p[m][n];
如果要取p[i][j]的值(i>=0 && i<m && 0<=j && j < n),编译器是这样寻址的,它的
地址为:
p + i*n + j;
从以上可以看出,如果我们省略了第二维或者更高维的大小,编译器将不知道如何正确
的寻址。但是我们在编写程序的时候却需要用到各个维数都不固定的二维数组作为参数,
这就难办了,编译器不能识别阿,怎么办呢?不要着急,编译器虽然不能识别,但是我们
完全可以不把它当作一个二维数组,而是把它当作一个普通的指针,再另外加上两个参数
指明各个维数,然后我们为二维数组手工寻址,这样就达到了将二维数组作为函数的参数
传递的目的,根据这个思想,我们可以把维数固定的参数变为维数随即的参数,例如:
void Func(int array[3][10]);
void Func(int array[][10]);
变为:
void Func(int **array, int m, int n);
在转变后的函数中,array[i][j]这样的式子是不对的(不信,大家可以试一下),因为
编译器不能正确的为它寻址,所以我们需要模仿编译器的行为把array[i][j]这样的式子
手工转变为
*((int*)array + n*i + j);
在调用这样的函数的时候,需要注意一下,如下面的例子:
int a[3][3] =
{
{1, 1, 1},
{2, 2, 2},
{3, 3, 3}
};
Func(a, 3, 3);
根据不同编译器不同的设置,可能出现warning 或者error,可以进行强制转换如下调用:
Func((int**)a, 3, 3);
我用的gcc版本为:gcc 版本 4.7.3 (Ubuntu/Linaro 4.7.3-1ubuntu1)
没有进行强制转化,编译waring为:
其实多维数组和二维数组原理是一样的,大家可以自己扩充的多维数组,这里不再赘述
。