今天在论坛上有朋友提问：声明函数如下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。总结一下，上面的代码其实是实现了参数传递动态创建的二维数组