c - 通过将数组作为参数传递给函数来增加数组的大小

Question

#include<stdio.h>
void fun1(int a[100])
{
  a[4]=1;
}
void main()
{
   int a[2]={1,2};
   fun1(a);
   printf("%d",a[4]);   // Output 1
}

我知道当我们将数组作为函数参数传递时，数组会衰减为指向第一个元素的指针。但是 main 函数中数组的大小是如何增加的呢？

Answer 1

根据C标准(6.7.6.3函数声明符(包括原型(prototype)))

7 A declaration of a parameter as ‘‘array of type’’ shall be adjusted to ‘‘qualified pointer to type’’, where the type qualifiers (if any) are those specified within the [ and ] of the array type derivation....

这意味着在声明中

void fun1(int a[100])
{
  a[4]=1;
}

函数参数被调整为类型int *，因此函数实际上具有以下声明

void fun1( int *a )
{
  a[4]=1;
}

例如以下函数声明

void fun1(int a[2]);
void fun1(int a[10]);
void fun1(int a[100]);

声明与声明类似的同一个函数

void fun1(int *a);

另一方面，在表达式中用作函数参数的数组会隐式转换为指向其第一个元素的指针。因此，在此函数中，使用数组指示符调用表达式

fun1(a);

数组指示符a被转换为指向其第一个元素的指针，并且参数的表达式的类型为int *。

你可以通过以下方式想象这个调用

{
    int *temporary p = a;
    fun1( p );
}    

因此函数参数的类型为int *，即它是一个指针，相应的参数也是一个指针。该函数不处理数组类型的对象。它处理指针类型的对象。

因此，两个数组都不会增加其大小，并且原始程序具有未定义的行为，因为试图访问原始数组之外的内存。

您可以通过输出参数的大小轻松检查该函数是否处理指针。例如

void fun1(int a[100])
{
    printf( "sizeof( a ) = %zu\n", sizeof( a ) );
    a[4]=1;
}

输出将等于4或8，具体取决于所使用的系统。但无论如何，它都不会如您所期望的那样等于 100 * sizeof( int )。