关于 C 语言,我喜欢和讨厌的十件事
前言:最近有个家伙抱怨道“为什么我还要再用C?”-虽然我不同意他的说法,但至少他随口提到如果你“在一台拇指大小的电脑”上编程,或者为一门语言写引导程序,那么可以用C语言。要我说,写设备驱动,或者特定平台的内核,不管怎么说都可以使用C。
几年之前,我用C语言写下了我的第一个网络程序,但我并不推荐这么做。现在,我只用P打头的,尤其是P-y打头的语言写网络程序(译者注:绕什么圈子,不就是Python嘛…)。但在当时,我刚从DOS和TSRs的世界中出来,在那儿用上10KB的RAM我都会觉得大得惊人。
现在我是一名Web开发者,但是仅限于晚上。白天我为嵌入式微处理器编写固件,因此,C依旧是我所选择的语言。我所说的微处理器是那种嵌入烤面包 机,或者其他类似设备中的处理器,只有大概64KB的代码空间以及2KB的RAM。因此,可供选择的语言基本上就只有汇编和C了。(也可以是Forth, 不过那是另外的故事。)
然后,我渐渐发现越是多用C,就越不觉得它讨厌了。因此我就想着要给这个世界最常用的系统级程序语言写一些颂词。
以下分别是关于C语言我喜欢五件事和讨厌的五件事。请随意在底下的评论栏里加上你们自己喜欢或讨厌的事情。
1.K&R(喜欢)
Kernighan & Ritchie 写的《C程序设计语言》是关于C语言最好的书,而且我估计它也是关于编程的最好的书之一。简洁明了,都是有用并且重要的例子。这是一本非常好的书,同时也是一个非常好的参考。
甚至就连序言都非常好。在此引用一句,“C不是一门庞大的语言,因此不应该用一本厚重的书来诠释。”如果所有的编程教程都像这本书一样把长度限制到270页,它们会好很多。K&R的简洁明了、点到为止,很可能是C语言的成功所不可或缺的。
另一本给我喜爱的类似的编程教材是Leo Brodie所著的《Thinking Forth》。当然,肯定还有其他非常好的书,像是SICP之类的,只是我还没有读过罢了。
2.它十分简明(喜欢)
事实上,C语言作为一门简明语言是一个实实在在的福利。想要学习C,你只需了解它的类型,熟悉流程控制,处理好指针,然后你基本上就已经掌握它了。剩下的就仅仅是函数了。事实上,K&R利用这个低级的命令式语言,仅花费11行就实现了qsort()
,不得不说这是对C语言简明性有力的证明。
3.IOCCC(喜欢)
你或许会觉得我疯了,不过如果你足够上进,International Obfuscated C Code Contest可能那儿是关于计算机科学最好的老师之一。算我开的一个小玩笑,不过我的确认为众多黑客都在不停挑战,并且创造了很多值得一谈的功绩。
其中让我确实学到很多的就是OTCC,Fabrice Bellard所写的“混淆的小型C编译器”。从中我学到了关于编译器设计的知识,主要是C语言编译器不必是340万行代码的庞然大物。同时,我也从Let’s Build a Compiler中获益,并静下来写了一个迷你的由C到Forth的编译器。
4.变量的定义与使用形式相似(喜欢)
这一点对记住如何定义十分复杂的事物非常有用,举个例子,一个指向包含十个整形的数组的指针应该是int *api[10]
还是int (*pai)[10]
呢?像你使用它的方式一样定义它即可,只需要记住[]
操作符的优先级高于*
(很自然就可以记住),然后你就明白那个括号是需要的了。(译者注:前者是指针数组,包含十个指向整形的指针。)
5.它编译出的“hello, world”体积很小(喜欢)
尤其是对嵌入式编程,这一点简直棒极了。C语言之上没有一个体积庞大的运行时,在很多嵌入式处理器上,一个什么都不做的程序一般只会编译出3到4个byte。一个完整的“hello, world”程序,甚至是在Windows XP下,都只会编译出1.5KB大小(使用Tiny C Compiler,它非常合适与做小型可运行程序)。
我认为,如果像Python一样的其他语言能够在这一点上赶上C,甚至是C的一部分,他们在嵌入式的世界中就会更加出彩。
6. 全局变量默认是外部的(讨厌)
你会说“用全局变量可不是个好习惯!”。但在嵌入式系统中不同。举个例子,你有一个名为timer.c
的文件,其中有个全局变量int counter
,在另一个文件state_machine.c
中,有另一个counter
。如果你碰巧忘记了在它们之前加上’static’,它们就是同一个变量,你根本察觉不到,没有Warning,没有任何提示……
这种行为看起来十分奇怪,尤其是当关键字extern
就在手边的时候。不过当你熟悉static
的两种不同的意义后,就可以轻易避免这种情况了。不过这依然十分令人讨厌。
7. static
的两种不同的意义(讨厌)
有人能解释一下为什么static
在函数体中和函数体外有着两种完全不同的意义吗?在函数体中,他表示“静态”——“在函数调用过程中保持这个变量唯一”。但是在函数体外,它的意义完全改变,成了“该变量为该文件私有的”。为什么后者不用private
或者intern
呢?
8. & 优先级低于 ==(讨厌)
在嵌入式编程中,我们总是喜欢用if ((x&MASK) == 0)
这样的语句。但你可能常忘记写里面那对括号,因为感觉上,&的优先级应该比==高。但是事实并非如此,因此必须使用这对多出来的括号。
不过,这个情况有个不错的历史原因。C语言诞生自B语言,而在B语言中只有&而没有&&运算符。当Ritchie引入&&运算符时,他们希望原有的B语言端的代码能够正常运行,因此使&的优先级低于==。
9. 宏的功能并没有那么强(讨厌)
虽然递归的#include
是非常棒的点子,但是,要怎么做才能不诉诸一些费脑子的方法,轻易地做预处理循环呢?同样的,有些我常遇到的情况,比如怎么才能给程序int和string两种格式的版本号,而同时只需要修改一个变量呢?
#define VERSION_INT 209
#define VERSION_STR "2.09"
用上面的代码,你更新版本号的时候总是需要修改两个地方。而且,特殊的#
和##
并不能帮上什么忙。我找到的唯一的解决则涉及了一些运行时修改。
10. 它不支持反射(讨厌)
好吧,可能这只是重申了一下第9点——如果宏系统再稍微强大一点,就不需要反射机制了。说不定我还会滥用它。不过我真正想说的是,用C语言,你不能写出生成代码的代码。
为什么不用C语言本身来写预处理器呢?这会给循环展开,更强大的宏机制,甚至更多IOCCC的怪点子提供无穷无尽的可能性。:-)
我认为,C语言之父能够坦然承认C的不足之处是非常可贵的。就像Dennis Ritchie说的一样:
“C语言行为古怪,瑕疵遍布,但却是一个巨大的成功。”
更多关于这点的信息,去读读他的论文 The Development of the C language 吧 —— 那真是一篇值得一读的文章。
总而言之,在自己的优势上,C卓尔不群。
原文链接: brush 翻译: 伯乐在线 - Hacker_YHJ
译文链接: http://blog.jobbole.com/51395/