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博客