C语言和指针之间的关系分析.docxVIP

PAGE PAGE 1 C语言和指针之间的关系分析 很简洁， 指针就是地址，当一个地址作为一个变量存在时，它就被叫做指针，该变量的类型，自然就是指针类型。  指针的作用就是，给出一个指针，取出该指针指向地址处的值。为了理解本质，我们从（计算机）模型说起。  宏观看来，计算机可以分为两类：  存储-执行计算机。 这类机器典型的例子就是我们平常使用的计算机，有一个（CPU），有一个内存，CPU仅包含运算规律，全部的指令和数据都在内存中，内存仅供存储，不包含任何运算组件。现场编程计算机。这类机器的典型例子就是ASCI（电路），（FPGA）这种。直接针对特定的需求构建规律电路，然而，由于存在笛卡尔积的问题，不太适合通用计算。我们看我们平常使用的存储-执行模型的计算机工作模式： CPU在地址总线上放射一个地址到内存。 内存把特定地址对应的数据返回到数据总线。看起来，通用计算机就是通过指针完成全部工作的。CPU没有力量直接操作内存里的值，它必需做以下的操作以迂回： 从特定地址A0取出值V0。 对V0进行加工运算生成V1。将V1存入特定地址A1。太初，人们就是根据以上的这么个规律编程的，这就是汇编语言： mov -0x4c(%rbp),%ebx 然而，这样太麻烦了，C语言随着简洁通用的UNIX操作系统而生，下面的语句看起来更加便利： int a = 10; char *p =*p = 13;C语言直接映射了CPU的工作方式，而且是用极其简洁的方式，这就是C语言的艺术。 这就是C指针的背景。在那个年月，人们还没有渴望计算机关心完成更简单的业务规律，人们只是盼望用一种更加简洁的方式抽象出计算机的行为，最终的结晶，就是C语言。  于是，我们说，C语言的精华就是指针，指针是C语言的一切。我们可以没有（if）-else语言，我们可以没有switch-case语句，我们可以不要while，我们不要for，但我们必需有指针。  是的，我们可以用指针函数的状态矩阵代替if-else之类：  int (*rou（TI）ne)[...](); ...condiTIon = calc(...);rouTIne[condiTIon](argv);我们用状态矩阵胜利规避了if-else…可以看到，还是用的指针。 …  指针是存储-执行模型的计算机工作的必要条件！  我们再看存储-执行模型的计算机的工作方式：  给定一个地址，CPU就可以取出该地址的数据。 给定一个地址，CPU就可以写入该地址一个值。这意味着什么？ 只要想让CPU正常工作，就必需暴露整个内存地址空间给CPU，否则CPU就是一堆毫无用处的门电路，换句话说， 一切来自内存！ 操作内存就必定要用指针！  其实，C语言就是简化版的汇编语言。最终，C语言接力汇编用指针制造了世界。  不管怎么样，C语言是面对计算机的编程语言，而不是面对业务的编程语言，它映射了计算机的工作方式而不太擅长描述业务规律，因此，C语言深受黑客，编程手艺人这种计算机本身的（爱好）者宠爱，却不被业务程序员待见，由于摆布指针的确太繁琐简单了，一不当心就会出错。  存储-执行模型的问题在于，要设计简单的带外机制防止内存被任意访问，由此而来的就是简单的分段，分页，访问掌握，MMU等机制，当然，这些机制和CPU依靠指针访问内存的工作方式并不冲突。  把C语言指针用的最绝的应当就是（Linux）内核的嵌入式链表 struct list_he（ad） 了：  struct list_head { struct list_head *next, *prev;};它可以代表一切，它通过C指针完善诠释了OOD，list_head是世界的基类！ 通过container_of宏，list_head可以转换为任意对象：  /** * container_of - cast a member of a structure out to the containing structure* @ptr: the pointer to the member.* @type: the type of the container struct this is embedded in.* @member: the name of the member within the struct.**/#define container_of(ptr, type, member) ({ \void *__mptr = (void *)(ptr); \BUILD_BUG_ON_MSG(!__same_type(*(ptr)