int (*routine)[...]();
...
condition = calc(...);
routine[condition](argv);
我们用状态矩阵成功规避了if-else…可以看到,还是用的指针。
…
指针是存储-执行模型的计算机工作的必要条件!
我们再看存储-执行模型的计算机的工作方式:
给定一个地址,CPU就可以取出该地址的数据。
给定一个地址,CPU就可以写入该地址一个值。
这意味着什么?
只要想让CPU正常工作,就必须暴露整个内存地址空间给CPU,否则CPU就是一堆毫无用处的门电路,换句话说, 一切来自内存! 操作内存就必然要用指针!
其实,C语言就是简化版的汇编语言。最终,C语言接力汇编用指针创造了世界。
不管怎么样,C语言是面向计算机的编程语言,而不是面向业务的编程语言,它映射了计算机的工作方式而不太善于描述业务逻辑,因此,C语言深受黑客,编程手艺人这种计算机本身的爱好者喜爱,却不被业务程序员待见,因为摆弄指针确实太繁琐复杂了,一不小心就会出错。
存储-执行模型的问题在于,要设计复杂的带外机制防止内存被任意访问,由此而来的就是复杂的分段,分页,访问控制,MMU等机制,当然,这些机制和CPU依靠指针访问内存的工作方式并不冲突。
把C语言指针用的最绝的应该就是Linux内核的嵌入式链表 struct list_head 了:
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), ((type *)0)->member) && \
!__same_type(*(ptr), void), \
"pointer type mismatch in container_of()"); \
((type *)(__mptr - offsetof(type, member))); })
这个转换背后的依赖,正是指针:
然而,C语言依然对业务编程不友好,前面说了,C语言映射的就是计算机工作方式本身,若想用好C语言,就必须要懂计算机原理,这并不是业务程序员的菜,业务程序员只是编写业务逻辑,并不在乎计算机是如何工作的。
曾经,计算机还是一群痴迷于技术本身的极客们的玩具,计算机是属于他们的,他们用C编程,用Perl/Python/Bash粘合二进制程序。进入互联网时代,随着越来越复杂的业务逻辑出现,越来越多的职业程序员开始成了多数派,他们开始使用更加业务友好的语言,Java,Go便成功了。