二维数组调时候的传参问题 and 一维数组的中括号秘密( [ ] )——实参与形参的对应 —————— 开开开山怪

关注

原创最新推荐文章于 2026-08-12 10:21:05 发布 560 阅读 AI 写同款· GEO 优化 ›

【文本分析学习】Anaconda+pytorch虚拟环境下的pycharm文本分析（含分词、词性标注、词形归一化、停用词、文本情感分析、词频、文本相似度，附数据代码） NLTK 文本分析学习之 Anadconda+pytorch虚拟环境下的pycharm文本分析（含分词、词性标注、词形归一化、停用词、文本情感分析、词频、文本相似度，附数据代码）阅读详情

1> 一维数组的基本知识储备

重要概念 1： 实参与形参： 在c中，实参可以是常量，变量，表达式。但是形参只能是变量
重要概念 2： 数组结构： 任何数组的式是 type 数组名[ count ] ，数组名是一个指针常量，指类是数组元素的类型
重要概念 3： 指类：指类即指针所指向的空间的元素类型，对于指针变量来说，它的指类就是去掉和这个指针变量紧挨的 * 。任何申请的指针变量的结构都可以为 type * 变量名 。

int * p	p的指类的 int ，此时的 type == int
double *** p	p的指类是double ，此时的 type == double

像我们经常用的数组例如 int array[4] 相当于申请了4个int 空间，array 是数组名，但它的本质是指针常量，是一个地址，是这个数组的首元素首地址，而这个array 的指类是int ，指类的意思是指针所指向的空间的元素的类型。
当我们需要访问这个数组中的某个元素时，我们通常采用array[0], array[1]……，来访问数组中的第一个元素，第二个元素……。
上面说到array是一个指针常量，也代表数组首元素的首地址，对于星号运算符（ * ）大家应该不陌生，是一个指向运算符，后边可以跟指针常量，指针变量，指针表达式，那对 *array就有两种不同的状态 1：当处于等号的左边是表示array所指向的空间。 2：处于等号的右边，则表示array所指向的空间的值。
当我们采用 array[0] array[1] array[2] 进行访问数组中的元素的时候其实本质如下：

在这里插入图片描述

结论： [ ] 运算符相当于 *( ) 运算符
array[0] = = * (array + 0) == *(0 + array)
array[1] == * (array + 1) == *(1 + array)
在这里插入图片描述

2 > 二维数组的基本知识储备

采用简单的例子说明问题

一维数组 的基本形式 int array[3] 表示申请了三个元素的数组，元素的类型为int类型
二维数组 的基本形式 int array[3][2] 表示这个数组是三行四列，数组中的每个元素的类型为int类型

重点：在上面说到一维数组 int array [3] 中的array是指针常量，且指类为int类型
而此时的 int array [3] [2] 中的array该怎么解释呢？

由于int array[3][2] 中的 [ 2 ] 离 array 较远可以将 [2] 进行左挪形成 int [2] array[3] 则形成
type array[3] ，此时的数据类型为 type 即 int [2] 。

此时的array同样也是一个指针常量但是一个二阶指针，但此时 array 的指类为 type 即 int [2] ，此时的 array + 1 则移动一个指类的长度即2 * 4 = 16个字节；array + 1 依旧是指针；此时的 array 代表的是 行指针， array + 1 则挪动一行的长度；

在这里插入图片描述

3> 一维数组和二维数组的传参问题

int array[3]

1> 一维数组的实参与形参的传递

void  funOne(int *p);  //函数的声明
void funOne(int *p) { //函数的定义
	
} 

int main() {
  int array[3];
  
  funOne(array);	
  return 0; 
}




//实参与形参传递时要求参数个数一致，参数的顺序一致，参数的类型一致
//此时实参是array是一个一阶指针，指类是int类型，同时形参 p也是一阶指针，且指类为int类型。

2> 二维数组的形参与实参的传递

void funOne();
void funOne() {
}

int main() {
  int array[3][2];

  funOne(array);
  return;
}

对于这个简单二维数组 int array[3][2] 来说，进行形参与实参的传递时，形参应该怎么写？
在上面已经说到不管是几维数组，结构都遵循 type 数组名[count]。
int array[3][2] == int[2] array[3]
type 为 int [2]
array是指针常量
array所指向的空间的元素类型为int[2] ,这就对应到我一开始说到的指类，
array的指类是int [2];

对比一位数组来看
int array[3] 我们形参变量定义的时候为int *p
int array[3][2] 那对应是不是 int *p[2]呢？

错误写法： int * p[2]
分析： 因为形参实参传递的时候应遵循对应的规则，我们只需要做对应的判断 , 由于 [ ] 运算符的优先级高于 * 运算符，所以 [ ] 与变量 p 紧密结合，而 * 则与 int 进行结合，此时就形成的这样一个局面 int * p[2] ; 发现这个结果就相当于 type 变量名[count] ，那就相当于此时的 p 是一个数组首地址，是在一个指针常量，且指类是 type 即 int * , 这明显与上述的 array 的指类 type 不相同，所以 int * p[2] 是错误写法。

正确的写法： int ( * p)[2]
分析： 上边错误写法是因为 [ ] 运算符降低了 * 与变量 p 的结合性，那我们可以采用 ( ) 来提高 * 与变量 p 的高度结合性， int ( * p)[2] 由于 [ ] 此时并没有与变量 p 进行结合，则 [2] 可以进行左挪形成 int[2] ( * p) 其实这样就相当于 type * 变量名，根据指类的概念 p 的指类为 type 即 int[2] 与 array 对应。