C语言中数组名作为实参传递给形参的后遇到的问题以及原因

原创已于 2022-05-07 17:53:33 修改 · 2.5k 阅读

18 ·

CC 4.0 BY-SA版权

文章标签：

#c语言 #开发语言 #后端

于 2022-01-16 21:58:36 首次发布

C语言专栏收录该内容

7 篇文章

订阅专栏

本文探讨了C语言中数组名与指针的关系，通过具体实例分析了为何数组作为函数参数时，其大小始终为指针大小，而不是数组实际大小。揭示了数组名在函数调用过程中的本质转变。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

文章目录

前言
一、出现的问题
二、为什么会产生这样的结果？
- 1.先简单的补充一下实参与形参的区别
- 2.根本原因
总结

前言

今天在C语言的学习中用到sizeof单目操作符中遇到了一些自己无法理解的问题：
大家不管是老师说的或者是自己看书亦或是自己理解可能都会有这么一句话:
指针的本质就是地址。数组名是数组起始位的地址。那我们是不是可以理解为数组名就是指针？？?或者理解为：数组名其实就是：不是指针的指针？？？
带着这个疑惑看下面的程序以及运行结果会有不一样的想法。

一、出现的问题

首先我们先来看一部分代码以及运算结果

#include <stdio.h>
#include <stdlib.h>
void number(int a);
int main()
{
  int num=878965;
  number(num);
  system("pause");
  return 0;
}
void number(int a)
{
  printf("The NumberSize is %d\n",sizeof(a));
  printf("The Number is %d\n",a);
}

运行结果(如图所示）运算结果

上面的代码简单的解释：sizeof实际上是求int类型占的字节

2.我们来看int类型的一维数组作为实参传递给函数实参sizeof的值和结果

#include <stdio.h>
#include <stdlib.h>
void test(int a[]);
int main()
{
  int b[] = {1, 2, 3, 4, 8,58,45645};
  printf("%d\n", sizeof(b));
  test(b);
  system("pause");
  return 0;
}
void test(int a[])
{
  printf("The int[] size is %d\n", sizeof(a));
}

结果：（如图所示）在这里插入图片描述

主函数输出的值为28很好理解（int 类型占4个字节，数组中一共七个整形，所以值为4*7=28），但是被调函数中输出的答案为8，这个答案就很神奇，而且不管主调函数的数组的元素是7还是其他的数字，被调函数中的输出值依旧为8。原因是什么？这里暂且不讨论。

下面我们来看char类型的数组的代码以及输出结果，以及输出结果。代码如下：

#include <stdio.h>
#include <stdlib.h>
void chartest(char a[]);
int main()
{
  char a[] = {'1', '2', '3','a','b','c'};
  printf("%d\n", sizeof(a));
  chartest(a);
  system("pause");
  return 0;
}
void chartest(char a[])
{
  printf("The char[] size is %d\n",sizeof(a));
}

结果（如图所示）：
char数组结果
上面的值为6也很好理解，char类型的数组有6个元素，每个char类型占用一个字节，所以输出结果为6*1=6。但是传递给形参的数组名，sizeof的值依旧为8。不管你的主调函数中数组的元素有多少个，被调函数中的值依旧为8。

二、为什么会产生这样的结果？

1.先简单的补充一下实参与形参的区别

函数的形参和实参区别如下：

形参变量只有在被调用时才分配内存单元，在调用结束时，即刻释放所分配的内存单元。因此，形参只有在函数内部有效。函数调用结束返回主调函数后则不能再使用该形参变量。
实参可以是常量、变量、表达式、函数等，无论实参是何种类型的量，在进行函数调用时，它们都必须具有确定的值，以便把这些值传送给形参。因此应预先用赋值，输入等办法使实参获得确定值。
实参和形参在数量上，类型上，顺序上应严格一致，否则会发生类型不匹配”的错误。
函数调用中发生的数据传送是单向的。即只能把实参的值传送给形参，而不能把形参的值反向地传送给实参。因此在函数调用过程中，形参的值发生改变，而实参中的值不会变化。
实参(argument)：
全称为"实际参数"是在调用时传递给函数的参数. 实参可以是常量、变量、表达式、函数等，无论实参是何种类型的量，在进行函数调用时，它们都必须具有确定的值，以便把这些值传送给形参。因此应预先用赋值，输入等办法使实参获得确定值。
形参(parameter)：

全称为"形式参数" 由于它不是实际存在变量，所以又称虚拟变量。是在定义函数名和函数体的时候使用的参数,目的是用来接收调用该函数时传入的参数.在调用函数时，实参将赋值给形参。因而，必须注意实参的个数，类型应与形参一一对应，并且实参必须要有确定的值。
形式参数：形参是函数被调用时用于接收实参值的变量。

根据实际需要可有可无。没有形参时，圆括号也不可省；多个参数之间应用逗号分隔。参数包括参数名和参数类型。
以上内容源于百度知道

2.根本原因

1.下面先说一下我个人的理解，首先对于数组名的理解，例如：

int a[]={1,2,3};

这里的a是数组的名，但其实你可以将这个数组名理解为该数组的起始位的地址，也就是&a[0];

用下面的代码来验证一下上面的话

#include<stdio.h>
#include<stdlib.h>
int main()
{
  char a[]={'1','2','3'};
  printf("%s\n",&a);//输出结果为123 （去掉&的输出值也是123）
  printf("%s\n",&a[1]);//输出结果为23
  system("pause");
  return 0;
}