关于多维数组做参数 的问题

#include <iostream > using namespace std; //-----------------------多维数组作为参数----------------------- //-----------------------用多维数组多维形参，并输出数组------- //-------这种参数的定义格式算是重载，不与一下格式重读 //-------错误：display' : cannot convert parameter 1 from 'int [3][3]' to 'int ** '，实参类型与之不匹配 //void display(int** a)//------编译器自动把它退化为指针，并不对其进行长度的检查。 //-------错误：'display' : cannot convert parameter 1 from 'int [3][3]' to 'int *[]' //void display(int* a[])//------编译器自动把它退化为指针，并不对其进行长度的检查。 //-------错误：'display' : cannot convert parameter 1 from 'int [3][3]' to 'int *[]' //void display(int *a[3])//------编译器自动把它退化为指针，并不对其进行长度的检查。 /**/ { cout<<"output by display(int ** a)"<<endl; for(int i =0;i< 3;i++)//-------这个循环输出数组中数据 for(int j =0;j< 3;j++) cout<<"/t"<<a[i][j]; } /* void display(int a[][3])//------编译器自动把它退化为指针，并不对其进行长度的检查。 { cout<<"output by display(int a[][3])"<<endl; for(int i =0;i< 3;i++)//-------这个循环输出数组中数据 for(int j =0;j< 3;j++) cout<<"/t"<<a[i][j]; } */ //------------出错：'int (*)[]' : unknown size，编译器会对长度进行检查?不是，是指针类型的检查， //void display(int (*a)[])//------编译器自动把它退化为指针，并不对其进行长度的检查。 //------------出错：void __cdecl display(int [][3])' already has a body.进过实验，编译器认为他和display(int a[][3])相同，属于重复定义的错误 /* void display(int (*a)[3])//------编译器自动把它退化为指针，并不对其进行长度的检查。 { cout<<"output by display(int a[][3])"<<endl; for(int i =0;i< 3;i++)//-------这个循环输出数组中数据 for(int j =0;j< 3;j++) cout<<"/t"<<a[i][j]; } */ /* //-----------display(int (&a)[3][3]) 使用时编译器检查长度，必须给两个[]赋值。其他的调用只赋值最后一个[]，但它是引用传址必须给所有[]赋值 void display(int (&a)[3][3])//----------编译器会对长度进行检查 { cout<<"output by display(int (&a)[3][3])"<<endl; for(int i =0;i< 3;i++)//-------这个循环输出数组中数据 for(int j =0;j< 3;j++) cout<<"/t"<<a[i][j]; } */ using namespace std; void main() { int a[3][3]; for(int i =0;i< 3;i++) for(int j =0;j< 3;j++) a[i][j]= i*j +j+1; display(a); }

//------------一维数组做参数--------------

对于一维数组做实参的 参数传递问题：
void func(int *r);
void func(int[10]);
void func(int[]);

前三种是等价的，传递的都是指针，指向数组第一元素的地址。
这里参数用两个本质含义：first，传递的是实参的地址，而不是实参的拷贝。为了保持实参不被改变需要
添加const来限制参数。void func(const int *r)等。second，函数不知道你的数组的长度，他只是传递指针。编译器不对长度进行检查。
void func(int &r);
传递变量的地址，是变量的别名。别名引用
有一种方法是
void func(int (&arr)[10]);这种形参，在编译时，编译器会对参数传递的长度进行检查。

 

//-------------对于二维数组做实参的 参数传递问题；------------------------
当多维数组多参数时，void func(int (*)[])其中（*）和[]是一个作用，本质都是*
以下形式等价：func(int**)         func(int (*a)[n])             func(int a[][n])         func(int (&arr)[m][n]) 但是从程序的实验看，

func(int**a) 子函数用func(a)（其中a 为a[3][3]的数组名）调用时，出现 实参与形参类型不匹配的错误而其他的子函数调用就没有问题。不知何故。

//-------------------------------------------------------------------------------------------------------------------

//-------------c++ primer 中关于& *  and [] 运算符 优先级的问题 priority

int *mat[10] 与 int (*mat)[10]  的区别：一个是前边是指针的数组；后者是数组的指针。
理解的关键在于，* 与 []两个运算符的运算优先级。后者优先。

func(int &arr[10]) 与 func(int (&arr)[10]) 的区别：前者是“引用”的数组，或者是 数组的 “引用”。& 运算符的优先级低于 []

//-------------c++ primer 中关于 数组访问越界的问题--------------------------------------

注意，所有对数组操作的程序，必须确保不越界，否则可能会发生意料之外的结果。
为防止越界，C风格是用一个NULL字符来标记字符串的结束，而标准模板库用用最后一个元素
的下一个指针来做纺织越界。在C++ 标准化之前，通过添加一个形参，记录数组的长度来防止
数组的越界。

//-----------------------------------------------------------------------------------------------------------------------

当数组作为形参时，编译器只会检查实参是不是指针，以及指针类型是否与形参匹配。
而不会检查参数的长度。因为你即使把形参写成int a[]的数组形式，他并不会当成数
组对待，而是退化为指针。

 

当用数组作为实参，传递给子函数形参时，不需要改变数组元素值的话，尽量写上const
来约束参数，以防不小心透过形参修改实参中的数据.

 

数组也可以被“引用”来作为形参，如：void func(int (&arr)[10]). 此时传递的是数组，
的引用，是别名，而不再退化为指针。不过要注意，在你用数组引用时，编译器会检查数
组的长度，必须长度为10，否则编译出错。可以写程序验证一下。并进行解释，理解会更
透彻。