目录
一.数组名的理解
1.1 数组名作为地址
在大多数情况下,当你使用数组名时,它会被解释为其首元素的地址。这意味着你可以使用数组名作为指针,来访问数组中的元素。例如,如果arr
是一个整型数组,那么&arr[0]
和arr
在数值上是等价的,都表示数组第一个元素的地址。
1.2 数组名不是指针
尽管数组名在很多方面表现得像指针,但它实际上并不是一个指针变量。特别是,你不能像指针那样对数组名进行自增(arr++
)或自减(arr--
)操作,也不能给它赋值一个新的地址。数组名是一个常量指针,它指向数组的首元素,但其指向的位置不能改变。
1.3 数组名一般是数组首元素的地址
在大多数情况下,当数组名出现在表达式中时,它会被转换(或称为“退化”)为指向其首元素的指针。这种转换允许你使用指针算术来访问数组的元素。但是,在sizeof
运算符和一些特殊的上下文(如作为&
运算符的操作数时)中,数组名不会退化为指针。
其实数组名就是数组首元素(第⼀个元素)的地址是对的,但是有两个例外:
• sizeof(数组名),sizeof中单独放数组名,这里的数组名表示整个数组,计算的是整个数组的大小, 单位是字节
• &数组名,这里的数组名表示整个数组,取出的是整个数组的地址(整个数组的地址和数组首元素的地址是有区别的)
除此之外,任何地⽅使⽤数组名,数组名都表示首元素的地址。
1.4 使用数组名作为函数参数
当数组名作为函数参数传递时,它同样会退化为指向数组首元素的指针。这意味着函数内部不会接收到数组的完整副本,而是接收到了指向数组首元素的指针。
二.使用指针访问数组
有了前⾯知识的支持,再结合数组的特点,我们就可以很方便的使用指针访问数组了。
这个代码搞明白后,我们再试⼀下,如果我们再分析⼀下,数组名arr是数组首元素的地址,可以赋值 给p,其实数组名arr和p在这里是等价的。那我们可以使用arr[i]可以访问数组的元素,那p[i]是否也可以访问数组呢?
在第18行的地方,将*(p+i)换成p[i]也是能够正常打印的,所以本质上p[i] 是等价于 *(p+i)。 同理arr[i] 应该等价于 *(arr+i),数组元素的访问在编译器处理的时候,也是转换成首元素的地址+偏移 量求出元素的地址,然后解引用来访问的。
三.一维数组传参的本质
我们之前都是在函数外部计算数组的元素个数,那我们可以把数组传给⼀个函数后,函数内部求数组的元素个数吗?
我们发现在函数内部是没有正确获得数组的元素个数。
这就要学习数组传参的本质了,上个节我们学习了:数组名是数组首元素的地址;那么在数组传参 的时候,传递的是数组名,也就是说本质上数组传参传递的是数组首元素的地址。
所以函数形参的部分理论上应该使用指针变量来接收首元素的地址。那么在函数内部我们写 sizeof(arr) 计算的是⼀个地址的大小(单位字节)而不是数组的大小(单位字节)。正是因为函数的参数部分是本质是指针,所以在函数内部是没办法求的数组元素个数的。
总结:⼀维数组传参,形参的部分可以写成数组的形式,也可以写成指针的形式。
四.二级指针
指针变量也是变量,是变量就有地址,那指针变量的地址存放在哪⾥? 这就是 二级指针 。
假设有一个整型变量 int a;
,那么我们可以有一个指向它的指针 int *p = &a;
。现在,如果我们想要一个指针来指向 p
,那么我们就可以使用二级指针:int **pp = &p;
。这样,pp
就存储了 p
的地址,而 p
存储了 a
的地址。
在这个例子中,我们首先通过 **pp = 20;
修改了 a
的值。然后,我们通过 *pp = &b;
改变了 p
的指向,使其指向了另一个整型变量 b
。最后,我们通过 **pp
访问了 p
现在指向的 b
的值。
五.指针数组
5.1 定义
指针数组的定义格式一般为:“类型标识符 *数组名[数组长度]”。这里的“类型标识符”表示指针所指向的数据类型,而“数组名”则是该指针数组的标识符,“数组长度”则指定了数组中元素的个数。
5.2 特性
元素类型相同:指针数组中的每个元素都是指针,且这些指针的类型必须相同,即它们必须指向相同类型的数据。
存储空间:指针数组在内存中占用的是连续的存储空间,但这些空间存储的是指针值(即地址),而不是实际的数据。
灵活性:由于指针数组中的每个元素都是指针,因此可以很方便地通过指针来访问、修改或重新分配其所指向的数据。
以下是一个使用指针数组存储并遍历字符串的示例:
在这个示例中,names
是一个字符指针数组,它存储了三个字符串 "Alice"、"Bob" 和 "Charlie" 的地址。通过遍历这个指针数组,我们可以依次访问并打印出这些字符串。
六.指针数组模拟二维数组
下面我们来用指针数组来模拟打印一个二维数组
parr[i]是访问parr数组的元素,parr[i]找到的数组元素指向了整型⼀维数组,parr[i][j]就是整型⼀维数组中的元素。 上述的代码模拟出二维数组的效果,实际上并非完全是⼆维数组,因为每一行并非是连续的。
后记
这段时间在写博客上有点懈怠了,导致博客和所学内容差了不少进度,最近没有比特的课程了,我会尽快补上博客,同时再利用这段时间自学一些数据结构的知识,希望剩余的假期能将数据结构多学一点。
兄弟们共勉!!!