首页|资源下载
登录|注册

您现在的位置是:首页 > 技术阅读 >  指针,很难吗?| 解析指针的过程与意义(一)

指针,很难吗?| 解析指针的过程与意义(一)

时间:2022-09-30


导读:指针是 C 语言的灵魂,该如何真正理解并运用呢?这篇文章告诉你答案!

终于到了 C 语言中最为重要的指针环节了。之前一直以积累为主,不敢写,或者说不愿意写,因为没有足够的高度写出来的东西很多都是片面的,当然现在我也不敢说我目前写出来的就一定是全面的,只是对于普通的程序员来说,也算比较全面了吧!当然因为东西太多,有可能会有忘记的地方,到时候再更新补充吧。
这里将数组和指针放在一块介绍,是因为他们很像,很像的东西放在一块比较能找出它们的差异性了,以后使用的时候也就不容易犯迷糊了。并且这里将穿插测试代码和从汇编的角度去理解 C 语言,这样可能更容易掌握指针。
注意,所有的测试工作都是在 KEIL 、STM32开发平台下的,其他平台不敢保证这是对的。
先概括一下本文大纲(如果道友看到的不全,请关注公众号查看):
1、解析指针的过程与意义(重点)
2、指针大小、强制转换、二级指针、结构体指针、函数指针
3、指针和数组
4、指针与寄存器
5、指针与外设
6、溢出与使用效率问题

解析指针的过程与意义(重点)

什么是指针?鱼鹰不想用教科书式的语句去介绍,这样就失去了本篇笔记的意义了。
现在我们想象这样一个场景,广场里有一个个由学生组成的方阵,每个方阵有大有小,这些学生由教官统一指挥(军训场景)。
现在教官想要通知第一方阵的2号同学唱首军歌该怎么做?正常情况下应该是教官眼睛先看向第一方阵的位置,然后看向2号同学(发现是黄四郎),“抬起头来,唱首《中国军魂》”,实际上他想走个“走个虎虎生风,走个一日千里,走个恍如隔世”(教官寻找2号同学的过程其实就是结构体内数据寻址的过程)。
一个、两个人的通知,对教官来说不算啥,但是如果有很多人需要分别通知到呢?
怎么办?分级管理。
既然力不从心,那么我就找几个助手呗(也是学生,但不属于各个方阵内的学生,上图蓝色部分学生,学生助手比较特殊,占用位置空间大小是方阵内学生的4倍,毕竟是小官了)。
刚开始这些学生助手满脑子都是在想着怎么偷懒,不想军训,怎么办,只能先来个思想教育(指针清零),然后让每个助手记忆各自方阵的成员(指针赋值),还有可能时间紧,思想教育都省了,直接记忆。
一段时间后,每个助手对方阵内的各个成员都熟悉起来了。
熟悉到什么程度呢?你随便问一个位置他都知道那里站的是谁,比如10号位置就是张三,12号位置是李四。
但是你要问他其它方阵内的同学,他就支支吾吾了。
现在假设他们管理的方阵如下:
现在管理很明确了,咱再来通知一遍!
为了通知黄四郎唱军歌给教官听,教官就得先告诉助手学生A,再让A同学通知2号唱歌。
其他方阵内的通知也是同样道理。
这样一来,想通知哪个方阵的哪位同学,只要通知管理该方阵的助手即可,该助手自会通知到具体的同学的。
如此这般,教官只要管理六个人,就能把六个方阵的所有学生都管理起来了,大大减少了教官的管理负担,但是好处仅是如此吗?非也!
现在假设第一方阵的学生都有一个替身(可理解为影分身,特点就是基因相同,也长得一样,比如1号同学很聪明,那它的替身也聪明,3号同学比较笨,它的替身也比较笨,但是它们的记忆可能不一样):
现在助手人数只有那么多,不够该咋办?
从道理上讲,应该找管理第一方阵的助手A代理替身第一方阵,为啥,因为他最熟悉第一方阵的人员配置啊(比如他知道21号同学有事请假了,所以替身第一方阵也没有它的替身,这样教官要找21号时助手A就可以马上他说不在了),但是学生助手A不愿意啊,这怎么行,一个人管两个方阵,会累死人的,可教官不管,毕竟上哪找一个能很快熟悉第一方阵的人啊。
但是既想让助手A管理分身方阵,又要照顾助手A的心情,不能有让他抗拒心理,咋办?
很快,教官想出了办法:催眠(换句话说,就是修改记忆)。
教官是个催眠高手,很快助手A就被催眠了,虽然第一方阵和替身方阵长得一模一样,但是它们站的位置是不一样的,所以他认定了离教官远的那个方阵是他管理的方阵,而旁边那个才是分身方阵。
现在继续通知2号黄四郎(“咋又是我啊”),不过这一次通知的是他的替身,这下该怎么做呢。
因为事先助手A已经被催眠了,所以当教官告诉助手A要找黄四郎时,助手A自然而然的通知了替身方阵内的黄四郎,而且他很高兴的执行了,因为不用多管一个方阵了。
当教官要通知真正的黄四郎时,又得催眠一遍,让助手A认定离教官近的是自己管理的方队,没办法,缺人嘛,只能教官辛苦一下了。
现在咱们再假设一种情况,第四方阵的替身组成了一个新方阵,有几个推迟上学的赶回来军训了,教官将他们安排在第四方阵后面:
同样的,还是缺人,这个时候应该催眠谁呢?
当然是学生助手D了,为啥,因为第四方阵他最熟悉啊,第四方阵(部分替身)第四方阵只有两点不同:
第一:站的位置不一样。
第二:多了后面部分迟到同学。
催眠他去管理这部分学生是不错的选择,但是因为学生D只对原生的第四方阵熟悉,对后面赶来的同学不熟悉,无法管理,也不知道原来30号同学后面还有一堆人(嗯,近视了),所以教官问催眠后的助手D方阵共有几人时,只会说共有30人,4人未到。
所以教官被学生D误导了,他很相信学生D报告的结果,但是如果他去替身方阵后面查看的话,会发现那里还站着不少人呢!
上述场景描述应该很容易就理解了,那么如何和我们的C语言指针联系起来呢?
教官是CPU,一个个学生所站的位置就是内存空间,而学生是这块空间的属性(聪明还是笨,或者其他属性),而学生的记忆就是内存空间的内容。
那么方阵是什么?由程序定义的数据结构。这个数据结构需要占用空间,有大有小,也可能内部空缺(内存对齐需要)。
那么那些助手又是什么?本篇的主角:指针。虽然它担任着管理任务,但是它的本质还是学生,只是赋予了管理职责(它也可以只管理一个学生(字节),不一定是方阵(结构体等))。
那么那两个假设在C语言中又代表了什么?
重新赋值强制转换赋值(强行把一个大方阵交给一个只能管理小方阵的助手,但是他自己本身是不知道自己管理了超出自己能力的方阵的)。
现在我们再往细了说,和实际C语言代码联系起来:
上图定义了三个方阵,每个方阵的结构是不太一样的(关于typedef和struct关键字可看鱼鹰相关笔记),为了更好的理解接下来的知识,以方阵 1 为例介绍上述代码的含义。
注释“方阵蓝图”部分,就如注释一般,就是一个蓝图,它只是告诉编译器,这个方阵1应该怎么安排,但实际上根本还不存在这个东西,这就是一张蓝图,只用于参考之用(可理解为建筑工人拿着一张建筑图,准备按建筑图的模样建造一栋房子,但还没开始建)。
那怎么利用这个蓝图搭建一个方阵出来呢(按建筑图搭建出一个实实在在的房子)?在C语言里面只需要一句话即可完成,就是上图中另一个方框内的代码。
那么第一个假设在C语言里是怎样的呢?
首先需要一个替身方阵,这个方阵和方阵1应该是一样的,因为方阵 1 是按照蓝图设计的实物(在内存中占有空间,而方阵蓝图不存在内存中),所以咱们可以用蓝图继续建一个方阵出来:
可以看到这个替身方阵1(SquareMatrix_1_StandIn)和方阵1的创建过程没有两样,换句话说,两者是等价的,只有一点区别,就是占用的内存位置不一样(可理解为你在北京建了一个房子,然后又在深圳按照北京的房子样式又建了一栋一模一样的房子,区别就是现实中你可以直接以北京的房子为蓝图建造,而在C语言中,你必须先有一个蓝图,才能建一栋北京的房子(SquareMatrix_1)和深圳的房子(SquareMatrix_1_StandIn))。
现在我们理解了替身方阵方阵之间的关系,再来说说前面所说的催眠问题,在C语言中是如何实现的呢?
首先需要一个助手,这样才有催眠对象嘛。这个助手有什么特别(属性)呢:他只能管理以方阵1为蓝图构建的方阵。在C语言怎么达到这个要求呢?
这样符合要求的助手A就诞生了。
现在教练(CPU)让他管理去管理方阵1:
可以看到,在实际代码中根本没有CPU(教官)的身影,但它却无处不在,因为代码就是靠CPU一步步执行的。
现在又想让他管理替身方阵,就得催眠一下:
可以看到,你理解的催眠在C代码上和开始教练就让助手A管理方阵1没啥区别,从宏观上理解,开始就让助手A管理方阵1也可以认为是一次催眠操作,只是在这次催眠之前助手A是没有任何管理对象的。从这里也可以理解,单独的没有指向一块内存的指针是没有意义的,就和光杆司令一样,只有一个司令,没有兵,怎么打仗,这样理解之后,你就不会让光杆司令(没有分配士兵)去打仗了,而只要有一个小兵,那么司令就能指挥了。
那么第二个假设在C语言中又是怎么回事呢?
按照C语言要求,必须先有一个蓝图(专业术语称为“声明”),然后才能创建一个新方阵出来,并且需要一个能管理方阵2的助手B:
因为在诞生助手B的时候,基因上决定了他只能管理方阵1,对使用新蓝图SquareMatrix_2_PartTypedef创建的SquareMatrix_2_Part是无法管理的,但是因为SquareMatrix_2_Part前面部分是利用方阵2的蓝图构建的,所以让他管理前面部分的倒是没有问题,这个和催眠又有点差别:
前面说了C语言,现在又不得不说一说汇编语言与编译器。那么怎么理解它们之间的关系呢?
C语言和汇编语言之间隔了一个编译器。
用通俗的话介绍就是,一个不懂鸟语的人(C程序员),要和鸟(单片机)对话,就要一个懂鸟语的人做翻译官,通过这个翻译官将人类的语言(C语言)和转化成鸟语(汇编语言),从而实现对话。
只不过,他们的交流是一次性完成的,就是说不懂鸟语的人把所有要说的话(C语言代码)一次性告诉翻译官,翻译官翻译好了之后(汇编语言代码),再告诉鸟(单片机),“你应该干啥、不该干啥”,小鸟记住了之后,就一遍遍按照要求重复执行了。
从这里可以明白,单片机存放的是汇编代码(更准确是0、1的二进制),而不是我们程序员看到的C语言代码
另外还可以知道的一点就是,与其说我们程序员是在和单片机打交道,不如说同时在和单片机与编译器打交道,既要了解单片机(鸟)能干什么,也要清楚编译器的规则,不能让翻译官译错了你的意思,否则你说往东,他还以为你说往西呢!
看过一个故事,说Unix操作系统的创造者,总是能很快的黑进任何一个Unix系统,别人一直以为是Unix代码中留下了暗门,但查了很久也没发现,后来才知道是编译源码的编译器留下了暗门。
不管这个故事是否真实,但编译器的重要性毋庸置疑。
现在我们再简单聊聊编译器的一点好处,让我们知道为什么需要编译器。
了解汇编的人都知道,单片机的内存都是程序员分配的,而且是直接和内存地址打交道。
比如1号内存放一个同学,2号内存放另一个同学(所有内存空间都进行了编号,就是地址),找人的时候就通过这个编号找。但是数字记忆不是人类的强项,所以就给这些编号命名了一个别名,比如1号叫做张三,2号是李四,当叫2号唱歌时,只要叫李四即可。
但事实上很少有人这么干!毕竟如果只是取个别名也没方便到哪里去。
更多的时候,我们都是告诉编译器,我们需要两个空间,一个空间放张三,一个空间放李四,但具体放在哪,我不管:
编译后,从 .map 文件中(如何打开该文件可参考鱼鹰以前的笔记)可知道,编译器将这两个命名为张三和李四的空间放在了0x20000018 和 0x20000019 (注意这里没有4字节对齐)里面(事实上,每次改变代码后编译,这些空间地址可能会发生变化,不变的是这个空间名,你总是能通过这个空间名去访问一块内存,只是可能两次编译后再访问时,它所在的空间地址不一样罢了,一般来说,这没什么大不了的,毕竟每次使用这块空间前都会进行初始化)。
所以在这件事上,编译器为我们做了两件事:第一,分配内存地址;第二,命名这块空间名字(事实上还有第三件事情,规定这个空间只能放char类型数据)。
而张三、李四这个名字不仅代表了两块空间,还有一个额外的空间属性要求:只能存放char类型数据,操作这些空间时一定要注意这一点(有些错误操作可能编译器会发出提示信息,而有些操作编译器发现不了,所以需要额外注意)!
其实引入编译器的好处不止于此,这里只是简单介绍,不深入讲述。
现在我们再来从汇编语言的角度去看指针赋值与强制转化过程。
从上面可以看到,所谓的指针赋值强制转化,在汇编代码的层面上可以说完全一样,都只是赋值操作,都是将方阵的地址赋值给寄存器R0,方阵指针的地址给寄存器R1,最后方阵的地址赋值给方阵指针所在的地址(从这可以了解到,内存和内存之间不可以直接操作,必须通过寄存器中转,这就是为什么明明只有一条C语言代码,汇编语句却有多条的原因之一了,C语言封装了很多操作细节,虽然我们可以不去深究,但必须了解它的存在)。
以第一条C语句为例,用示意图表示(只把涉及到的内存空间画出,填充颜色部分为实际内存空间,未填充部分用于说明空间地址或者寄存器,xxxxxxxx表示不必关心原来的内容是什么,红色表示操作后发生的变化):
而操作结构体内的变量Student_12如下:
首先把0赋值给R0,把指针所在的空间地址(0x080010CC处存在一个地址)赋值给R1,再把R1存在的地址的内容赋值给R1(这时这个R1存放的就是方阵结构体的首地址),最后把R0赋值给相对R1地址偏移4的Student_12中。
示意图如下:
而直接操作结构体的方式如下(不采用指针):
首先将0x01赋值给R0,然后将0x080010CC处的内容赋值给R1,最后把R1的内容当做地址,并将R0赋值给这个地址相对偏移0x04的地址处。
示意图如下:
从中对比两者操作可以发现,当不使用指针操作0x20000054空间时,只需要三条语句,而使用指针,因为涉及到对0x20000010内存空间的操作,多增加了一条指令,即从0x20000010(指针)处获得操作基地址0x20000050,再做最终的赋值操作,除此之外的操作指令都是类似的。
                    (通过KEIL查看结构体内的变量在内存中的地址)
从上面也可了解到,所谓的指针,只是人为的把内存里面的内容当做地址而已,因为你把存在0x20000010处的0x20000050当做了地址去操作,才存在如下关系:
你使用C语言去操作0x20000010时才会影响到0x20000050处的变量。
但是如果你不把它0x20000050当做地址,而只是当做普通数据处理也是可以的:
(事实上,当增加变量data 编译之后,SquareMatrix_1_Assistant的内容不再是0x20000050,而是变成了0x20000058,这里我们假设编译器为之前的变量分配的空间地址不变)
当然你现在又希望把这个数据当成地址,咋办?
这样一来,不仅把数据0x20000050当成了地址,还改变了可访问的数据大小,即只能访问int大小数据,结构体内的其他数据无法访问:
我们尝试对0x20000058这个地址赋值:
当你理解了上述内容,你会发现,指针,不过如此!
其实通过以上内容的讲述,我们也可以总结使用一块内存需要注意的三个要素:地址、基因(属性)、内容
所谓地址,就是这个空间所在的地址;属性,就是规定这块内存能存放什么东西,char还是int,或者其他自定义类型等等;而内容就是内存中存放的东西,这是程序员真正需要的东西,前两者都是为其服务的。
那这个和指针有啥关系,别忘了前面所说,指针也是一块内存,只是这个内存的属性规定了两个,第一,存放指针(这个也只是普通数据,只是需要按照C语言要求处理),第二,这个指针指向的内容是char、int……数据类型而已(也可能会规定其他属性,这里不讨论),从内存空间的角度上,所谓的指针和普通的数据类型没有本质区别。
那么学习指针有什么好办法吗?鱼鹰认为,除了要深刻理解指针外,还有就是要像鱼鹰一样,画图去表示它们之间的关系(不用像前面一样画的那么清楚,画个示意图即可),只有这样,你才不会被那些指向关系搞得稀里糊涂。也只有这样,你才能在代码中灵活运行指针去做你任何想做的事情。


这篇笔记修修改改不知道多少次,原以为能比较快就能写好的,但事实上花了好几天才写完,因为鱼鹰要尽可能的将故事贴合实际的 C语言运行情况,所以花了不少时间去思考,但真正难的还在于如何把心中所想画出相应示意图,这个是最耗费时间的。


尽管如此,指针这一块还是没有完成,道友看了前面大纲也可了解,这只是第一点内容,后面还有五点没写,以后有时间再说吧。


如果对道友有帮助的话,记得转发、分享哦!


如果以下笔记没看完,建议看完)

佛祖保佑,永无 BUG,永不修改 | KEIL 调试系列总结篇

KIEL 调试那些事儿之窗口展示——变量(二)

C语言之结构体(struct)

C语言之类型定义(typedef)



-THE END-



如果觉得文章对你有帮助,欢迎转发、分享给朋友,感谢你的支持!


如果对本文有问题,欢迎留言!即使没有问题也可以留下走心评论。


如需转载请联系我。


微信公众号「鱼鹰谈单片机

每周一更单片机知识

长按后识别图中二维码关注