关于二维数组传参做形参(转)

　　二维数组的存储方式是和一维数组没什么区别，但是用二维数组做参数，它的形参该怎样写？要注意的是：函数中的形参其实就相当于一个声明，并不产生内存分配，形参的目的就是要让编译器知道函数参数的数据类型。

正确的是：void Func(int array[3][10]); void Func(int array[][10]);可以省略第一维的大小

错误的是void Func(int array[][].这样的用法只能在初始化时可以用);这样写也是错误：void Func(const int m，const int n,int array[m][n]);或void Func(int m，int n,int array[m][n]);大家都知道数组的索引必须是个常量表达式，void Func(const int m，const int n,int array[m][n]);如果const int m没有初始化，那么系统将m或n自动初始化为0，所以这样些是不对的

如果我们采用这样void Func(int **array, int m, int n)的形式，那么在实际的函数调用是，我们就要进行强制转换才可以用，我们可以这样调用void Func((int **)array, int m, int n);在函数调用时，要把数组形式写成指针形式如*((int*)array + n*i + j);直接写int array[i][j]会导致错误，编译可以通过，在VC编译器中执行会出现异常，DEV编译器会出现一个随机值，原因就在于如果写成int array[i][j],编译器无法正确的寻址，当然各种编译器对它的处理结果是不一样的。如果我们的形参是数组，那么我们在函数体中可以用指针也可以用数组形式，但是如果我们形参数中用的是指针，最好也用指针，有时用数组形式会出错，二维数组就是这样

========================================================================================================

以下是网上摘抄的一段：
　　首先，我引用了谭浩强先生编著的《C程序设计》上面的一节原文，它简要介绍了如何将二维数组作为参数传递，原文如下(略有改变，请原谅)：

　　[原文开始]
　　可以用二维数组名作为实参或者形参，在被调用函数中对形参数组定义时可以指定所有维数的大小，也可以省略第一维的大小说明，如：
　　　　void Func(int array[3][10]);
　　　　void Func(int array[][10]);

　　二者都是合法而且等价，但是不能把第二维或者更高维的大小省略，如下面的定义是不合法的：
　　　　void Func(int array[][]);
　　因为从实参传递来的是数组的起始地址，在内存中按数组排列规则存放(按行存放)，而并不区分行和列，如果在形参中不说明列数，则系统无法决定应为多少行多少列，不能只指定一维而不指定第二维，下面写法是错误的：
　　　　void Func(int array[3][]);

　　实参数组维数可以大于形参数组，例如实参（zhihui3409注：应该是形参）数组定义为：
　　　　void Func(int array[3][10]);
　　而形参（zhihui3409注：应该是实参）数组定义为：
　　　　int array[5][10];
　　这时形参数组只取实参数组的一部分，其余部分不起作用。
　　[原文结束]

　　大家可以看到，将二维数组当作参数的时候，必须指明所有维数大小或者省略第一维的，但是不能省略第二维或者更高维的大小，这是由编译器原理限制的。
　　根据编译原理可知，如果我们省略了第二维或者更高维的大小，编译器将不知道如何正确的寻址。但是我们在编写程序的时候却需要用到各个维数都不固定的二维数组作为参数，这就难办了，编译器不能识别啊，怎么办呢？不要着急，编译器虽然不能识别，但是我们完全可以不把它当作一个二维数组，而是把它当作一个普通的指针，再另外加上两个参数指明各个维数，然后我们为二维数组手工寻址，这样就达到了将二维数组作为函数的参数传递的目的，根据这个思想，我们可以把维数固定的参数变为维数随机的参数，例如：
　　void Func(int array[3][10]); 
　　void Func(int array[][10]);
　　变为：
　　void Func(int **array, int RowSize, int LineSize);
　　在转变后的函数中，array[i][j]这样的式子是不对的(不信，大家可以试一下)，因为编译器不能正确的为它寻址，所以我们需要模仿编译器的行为把array[i][j]手工转变为：
　　*((int*)array + LineSize*i + j);即把二维数组当作一维数组来处理，这是比较容易理解的方式。其它方式见下面总结的第二点。

　　数组作为形参的问题总结：
　　1 一维数组作为函数形参
　　数组作为形参时，编译器通常只会检查数组形参关联的实参，检查的项目包括实参是不是指针、指针类型和数组元素的类型是否匹配，但不会检查数组的长度。
　　void print( int *a[] )
　　void print( int *a[10] )
　　void print( int *a )
　　上面两个都是二级指针，下面一个是一级指针

　　在很多情况下，将数组形参直接定义为指针要比使用数组语法定义方便很多。因为定义为指针后，函数可以借助于指针方便的操作数组元素。
　　数组以非引用类型的传递时，此时数组会自动转换为同类型的指针，即初始化为相应类型实参的副本。调用函数时，函数实际操作的是指针的副本，而不会修改实参指针的值，但是可以通过指针改变数组元素的值。

　　2 多维数组的传递
　　多维数组的元素本身就是数组。

　　对二维数组的处理可以采用将二维数组看作一维或者二维数组来处理，下面两个例子分别采用了这两种方法。第3个例子有点不同，但实际上也是利用了一维数组作中间过渡处理。

//例1 将二维数组当作一维数组来处理:
//print_array和主函数中的循环printf实现了同样效果
#include <stdio.h>
void print_array(int *p,int RowSize,int LineSize)
{
    int i,j;
    for(i=0 ; i<RowSize ; i++)
    {
        for(j=0 ; j<LineSize ; j++)
            printf("%d ",*(p+i*LineSize+j));
        printf("
");
    }
}

void main()
{
    int i,j,a[3][3]= { {1,0,0} , {0,1,0} , {0,0,1} };
    print_array( (int *)a ,3,3);
    for(i=0; i<3; i++)
    {
        for(j=0; j<3; j++)
            printf("%d ",*(*(a+i)+j));
        printf("
");
    }
}

　　例2 将二维数组依旧当作二维数组来处理
　　下面是一个字符串数组的参数传递程序，实现将字符串数组中的字符串按照从小到大的顺序进行排序：
         //WordSort实现了对5个字符串的排序
         #include "stdio.h"
         #include "stdlib.h"
         #include "string.h"
         void WordSort(char p[][10],int RowSize)
         {
          int n=0,m;
          char temp[10];
          for(n=0;n<RowSize;n++) 
           for(m=n+1;m<RowSize;m++) 
           if( strcmp(p[m],p[n]) < 0 )
           { 
            strcpy(temp,p[n]);
            strcpy(p[n],p[m]);
            strcpy(p[m],temp);
           }
          for(n=0;n<5;++n)
           printf("In subfunction:%s ",p[n]);
         }

         void main()
         {
          int k=0;
          char word[5][10];
          for(;k<5;++k)
           scanf("%s",&word[k]);
          WordSort(word,5);
          printf("sorted word: ");
          for(k=0;k<5;k++)
           printf("In main function:%s ",word[k]);
          system("pause");
         }
　　
　　例3 用“行指针”传递参数
　　运行下面程序：       
         /************************************/
         //二维数组作为形参的参数传递方式之一
         /************************************/
         #include <stdio.h>
         void print_array_1(int (*a)[3], int Row_Size) 
         { 
          int j; 
          for(j=0;j<3*Row_Size;j++)
          {
           printf("%d ",(*a)[j]);
           if(j%3==2) printf(" ");
          }
         }

         void print_array_2(int (*a)[3], int Row_Size)
         { 
          int i,j;
          for(i=0;i<Row_Size;i++) 
          {
           for(j=0;j<3;j++) 
            printf("%d ",*(*(a+i)+j));
           printf(" ");
          }
         }

         void main() 
         { 
          int i,j,value=0; 
          int a[4][3]={0}; 
          for(i=0;i<4;i++) 
           for(j=0;j<3;j++) 
            a[i][j]=value++;

          print_array_1(a,4);
          printf(" ");
          print_array_2(a,4); 
         } 


　　这个程序中的两个函数实现了相同的功能：打印数组元素。这种方法可能容易使人迷惑：int (*a)[3] 是什么东西呢？还得看强哥的书（P229-P230），上面这样写道（在本例中）：
　　　　*a有3个元素，每个元素为整型。也就是a所指向的对象是有3个整型元素的数组，即a是行指针。
　
　　再强调一遍 int (*a)[3] 中括号的作用，如果不明白它的重要性，请仔细对比本文章黄色背景的代码。
　　
　　补充一点，用这个方法处理字符串数组（字符型二维数组），还是比较方便的：用这样一个例子结束本文：

        //打印数组内字符串（一行）
        #include <stdio.h>
        void print_string(char (*string)[20], int Row_Size)
        {
         int i;
         for(i=0;i<Row_Size;i++)
          printf("%s ",string+i);
        }

        void main()
        {
         char a[6][20]={"God","bless","you","who","help","themselves"};
         print_string(a,6);
        }