关于C语言,我喜欢和讨厌的十件事

jopen 10年前

  英文原文:Ten things I love && hate about 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卓尔不群。

  翻译:@Hacker_YHJ 译文链接: http://blog.jobbole.com/51395/