参数传递二维数组

      今天在论坛上有朋友提问：声明函数如下：

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。总结一下，上面的代码其实是实现了参数传递动态创建的二维数组。