[C++知识库]c/c++语言数组做形参

学习！

在写程序的时候发现了一个需要仔细的地方：数组做形参的时候会退化，只会传递地址。

所谓退化是指在调用函数时，有些情况下形参和实参数据类型会不一致。
为什么会退化？因为C/C++编译器在将数组作为函数参数传递时不会拷贝整个数组，而只会将数组的地址传给函数，以节省内存和时间。
首先给出结论：
? 一维数组nums[10]在函数间传递时会退化为一级指针*P
? 指针数组*P[5]退化为二级指针**P（ const char **p)
? 二维数组nums[2][5]退化为数组指针(*P)[5]

1.连续的二维数组：可以看作一维数组，二维数组array[high][wide]本身是一个二级指针，*array是一个指向a[0][0]的一级指针p，&array[i][j]=p+(i*width)+j

#include<iostream>
using namespace std;

???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? ?
void printArray(int *array, int high, int wide)
{
?? ?for (int i = 0; i < high; ++i)
?? ?{
?? ??? ?for (int j = 0; j < wide; ++j)
?? ??? ?{
?? ??? ??? ?cout << *(array + i*wide + j) << "? ";
?? ??? ?}
?? ??? ?cout << endl;
?? ?}
?? ?cout << endl;
}

int main()
{
?? ?int array[3][2] = { 1, 2, 3, 4, 5, 6 };
?? ?//比较下面三种传递的意思?? ?
?? ?printArray(*array, 3, 2);
?? ?printArray(*(array + 0) + 0, 3, 2);
??? printArray(&array[0][0], 3, 2);

?? ?for (int i = 0; i < 3; ++i)
?? ?{
?? ??? ?for (int j = 0; j < 2; ++j)
?? ??? ?{
//?? ??? ??? ?cout << array[i][j] << "? ";
?? ??? ??? ?cout << *(*(array + i) + j) << "? ";
?? ??? ?}
?? ??? ?cout << endl;
?? ?}
?? ?
?? ??? ?system("pause");
?? ??? ?return 0;
??? }

错误范例：

错误分析：编译器说两者类型不匹配，我们可以看到调用的时候二维数组其实已经是数组指针了，输出函数可以使用数组指针，可改为：

#include <iostream>
using namespace std;
void printArray(int (*arr)[2],int m,int n)
{
?? ?for (int i = 0; i < m; i++)
?? ?{
?? ??? ?for (int j = 0; j < n; j++)
?? ??? ?{
?? ? ?? ? ?? ?cout<<arr[i][j]<<"? ";
?? ? ?? ??? ?//cout<< *(*(arr+i )+j)<<" "; //正确
?? ??? ?}
?? ??? ?cout<<endl;
?? ?}
}

int main() {
?? ?int arr[3][2]={{1,2},{3,4},{5,6}};

?? ?printArray(arr, 3, 2);? //
?? ?
?? ?
?? ?return 0;
}

2.定义分段连续空间的二维数组(动态二维数组)，还是只能看做二维数组【函数形参是二维数组】

#include <iostream>
using namespace std;
void printArray(int **arr, int m, int n) { //注意：此处的形参是 int **arr
?? ?for (int i = 0; i < m; i++) {
?? ??? ?for (int j = 0; j < n; j++) {
?? ??? ??? ?cout << arr[i][j] << endl;
?? ??? ??? ?//cout << **(arr + i * m + j) << endl;//此处不对，因为实参不是完全连续的空间
?? ??? ?}
?? ?}
}

void main() {
?? ?// 注意：此处数组的定义方式很关键
?? ?// 采用指针进行构造，产生的二维数组，不是在连续空间中的(分段连续：arr[0][]连续、arr[1][]连续、arr[2][]连续)
?? ?int *arr[3];
?? ?for (int i = 0; i < 3; i++) {
?? ??? ?arr[i] = new int(2);
?? ?}
?? ?int count = 1;
?? ?for (int i = 0; i < 3; i++) {
?? ??? ?for (int j = 0; j < 2; j++) {
?? ??? ??? ?arr[i][j] = count;? //数值随意啦
?? ??? ??? ?count++;
?? ??? ?}
?? ?}
?? ?printArray(arr, 3, 2);? //注意：此处的实参传递形式
}

3.对于一维数组，常常使用（&arr)[size]

#include<iostream>
//#include<iomanip>
using namespace std;
template <typename T,int size>
void sort(T (&a)[size])
{
??? ?int i,j;
??? ?T temp;
?? ?for(i=0;i<size-1;i++)
??? ?{
? ??? ? ?? ?for(j=0;j<size-1-i;j++)
? ??? ? ?? ?{
? ??? ? ?? ??? ?if(a[j]>a[j+1])
? ??? ? ?? ??? ?{
?? ??? ??? ??? ?temp=a[j];
? ??? ? ?? ??? ??? ?a[j]=a[j+1];
? ??? ? ?? ??? ??? ?a[j+1]=temp;
?? ??? ??? ?}
??? ??? ?}
?? }
?? ?
}

template <typename T,int size>
void display(T (&a)[size])
{
?? ?int i;
?? ?cout<<"result is"<<endl;
?? ?for(i=0;i<size;i++)
?? ?{
?? ??? ?cout<<a[i];
?? ?}
?? ?
?? ?
}

template <typename T,int size>
void input(T (&a)[size])
{
?? ?int i;
?? ?
?? ?for(i=0;i<size;i++)
?? ?{
?? ??? ?cout<<"enter num"<<i;
?? ??? ?cin>>a[i];
?? ?}
?? ?
?? ?
}

int main()
{ ?

int a[6];

input(a);

display(a);
sort(a);
display(a);

? return 0;
}

//int sum(int a,int b)
//{
//?? ?cout<<"a="<<a<<endl;
//?? ?cout<<"b="<<b<<endl;
//?? ?return a*b;
//?? ?
//}

参考文章链接：C/C++中数组作函数参数的退化问题_倔强的橙子的博客-CSDN博客

???????????????????????????二维数组退化成指针_baidu_38247468的博客-CSDN博客???