今天有朋友提问:声明函数如下:

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