今天有朋友提问:声明函数如下:
void function(int** pInt)
意图是想参数传递一个二维数组。于是就定义了一个二维数组,比如 int[1][1],然后调用函数。结果如何?当然是失败了,编译器提示:
cannot convert parameter 1 from 'int [1][1]' to 'int **'
参数类型不匹配。上述过程我自己也试了,当然不匹配,类型完全不一样嘛。然后我就想了:如果要将一个二维数组作为形参,那么函数该怎么声明?
来看《C++ Primer》中给出的方法:
- 数组名作为形参
void func1(int iArray[][10]) {
}
int main() {
int array[10][10];
func1(array);
}
编译通过,注意形参声明一定要给出第二个维度的大小,要不编译不过。
- 一维数组指针作为形参
void func2(int (*pArray)[10]) {
}
void func2_1(int (*pArray)[]) //编译通过,无法调用
{
}
int main() {
int array[10][10];
func2(array);
}
其实二维数组名就是一个指向一维数组的指针,所以这种声明方式OK。必须指定一维数组的长度,如果没有指定的话,函数声明编译通过。但是如果一旦有调用代码,就有编译不通过,因为没有实参类型能匹配int[].
- 二维数组引用作为形参
void func3(int (&pArray)[10][10]) {
}
int main() {
int array[10][10];
func3(array);
}
必须指定两个维度的长度。
- 二维数组指针作为形参
void func4(int (*pArray)[10][10]) {
}
int main() {
int array[10][10];
func4(&array);
}
必须指定两个维度的长度。
以上方法都可以等价使用,对数组来说,没有值传递。
还不满足,还有其他的声明方式吗?回到本文开始提到的问题:可以用双重指针int**作为形参,接受二维数组实参吗?答案是肯定的,但是又局限性。用双重指针作为形参,那么相应的实参也要是一个双重指针。事实上,这个双重指针其实指向一个元素是指针的数组,双重指针的声明方式,很适合传递动态创建的二维数组。怎么动态创建一个二维数组?如下程序:
int main() {
int m = 10;
int n = 10;
int** p = new int[m][n];
}
会发现编译不通过,第二个维度长度必须为常量。那么怎么声明一个两个维度都能动态指定的二维数组呢?看下面:
void func5(int** pArray, int m, int n) {
}
#include <ctime>
int main() {
int m = 10;
int n = 10;
int** pArray = new int* [m];
pArray[0] = new int[m * n]; // 分配连续内存
// 用pArray[1][0]无法寻址,还需指定下标寻址方式
for(int i = 1; i < m; i++) {
pArray[i] = pArray[i-1] + n;
}
func5(pArray, m, n);
}
这里为二维数组申请了一段连续的内存,然后给每一个元素指定寻址方式(也可以为每一个元素分别申请内存,就不必指定寻址方式了),最后将双重指针作为实参传递给func5。这里func5多了两个形参,是二维数组的维度,也可以不声明这两个形参,但是为了安全嘛,还是指定的好。最后编译,运行,一切OK。总结一下,上面的代码其实是实现了参数传递动态创建的二维数组。