[转载]c语言中数组作为函数参数

点击查看原文

 

 

平常写代码时候，如果函数需要接受一个数组作为参数，我总是习惯把函数声明为具有指针参数的形式，比如：

#include <stdio.h>   
void func1(char *array, int len) {     
     int i;
     for(i = 0; i < len; i++)    /* do something */
}   
void func2(char **array, int row, int col) {
     int i, j;
     for(i = 0; i < row; i++)         
            for(j = 0; j< col; j++)             /* do something */
}   
int main() {
     char a[] = {'a', 'b', 'c', 'd'};
     char b[][] = {{'a', 'b'}, {'c', 'd'}};
     func1(a, 4);
     func2(b, 2, 2); 
} 

但是其实也可以使用数组名作为函数的参数：

void func1(char array[], int len) {
     int i;
     for(i = 0; i < len; i++)         /* do something */
} 

 

但是使用二维数组（以及多维数组）的时候，就需要注意了，函数形参中的数组名，必须给出除第一维以外的维数（而且这个数不能是变量，必须是常量或者数值）：

void func2(char array[][2], int row) {
     int i, j;
     for(i = 0; i < row; i++)
         for(j = 0; j< col; j++)             /* do something */
} 

 

此时func2的参数类型为int (*)[2]，main函数里面对func2的调用如下：

int main() {
     char a[] = {'a', 'b', 'c', 'd'};
     char b[][] = {{'a', 'b'}, {'c', 'd'}};
     func1(a, 4);
     func2(b, 2); /* 或者 func2(&(b[0]), 2);*/
} 

 

其实在gcc下，写成func2(b[0], 2);和func2(&(b[0][0]), 2);都是可以正确执行的，因为地址的数值是正确的，只是类型不对，gcc会启用默认转型。

但是不能这样写：

void func2(char array[][], int row, int col) {
     int i, j;
     for(i = 0; i < row; i++)
         for(j = 0; j< col; j++)             /* do something */
} 

 

这个问题在老曹的教材中也提到了，但只是提了一下，根本没有说为什么要这样，当时上课的时候也没有搞懂。现在又重新来思考这个问题。
其实在c/c++中，数组都是占据连续的内存块，不管是一维数组还是多维数组。例如，定义了一个一维数组char array[3]，array在内存里面的状态为：

       | array[0] | array[1] | array[2] |

对于二维数组char array[2][2]，在内存中的状态为：

       | array[0][0] | array[0][1] | array[1][0] | array[1][1] | ^ | +-------- 第一行结束的位置

也就是说对于多位数组，编译器也是计算各个元素的线性地址来访问的，比如array[i][j]的通过

      *(array + i*size_per_row + j)

来访问到的。
为了实现对每个元素的访问，在c语言中必须进行

      *(array + i*size_per_row + j)

这样的地址计算，所以，你必须让编译器知道每一行的大小才能进行上述的计算。所以在多维数组作为函数参数的情况下，只有第一维大小不写，后面的每一维都要写。