- 论坛徽章:
- 5
|
本帖最后由 starwing83 于 2012-02-08 15:17 编辑
亡羊补牢还是越错越远
谭书其实和C语言有一个很相像的地方，就是都出了很多个版本。然而C语言出新的版
本是为了方面程序员、适应新的变化和开发风格。而一本教材出新的版本无非就是修正错
误和描述语言的新方向。然而，如果一本教材的第一版就是概念不清胡说八道，却又碍着
面子不肯承认自己的错误，那最终的结果就是越错越远了。
就比如这里：
定义变量的位置：一般在函数开头的声明部分定义变量，也可以在函数外定义变量（即外部变量、全局变量，见第7章）。C99允许在函数中的复合语句（用一句花括号括起来）中定义变量。
————谭浩强 ，《C程序设计》（第四版），清华大学出版社，2010年6月，p41
我相信谭老一定没有亲自去看过C99标准，不知道是英文不好还是自信满满觉得自己
比标准要牛。所以，虽然谭老的确知道有“标准化”这么一个说法，却只有错上加错的份
儿。事实上，我看不出这里的“一般”有什么凭据，难道谭老从没有看过正式地C语言项
目吗？一般情况下，只有八十年代到九十年代的C语言项目才会“一般”在函数开头定义
变量，新的项目一般定义变量的位置是复合语句的开头。将自己的臆测煞有介事地说成业
界惯例，不知道这是无耻还是做得太多已经麻木了。
让我们来揭开谜底吧。实际上，这段话几乎每一句都是错误的。”一般在函数开头的
声明部分“，很遗憾地，C99根本就没有“声明部分”的说法，而C90中，声明部分根本就
不止限于函数开头！“也可以在函数外定义变量”这一句是对的，然而括号坏事了：“（
即外部变量，全局变量）”，事实上C语言根本没有全局变量的说法，只有外部变量，静
态变量的说法，因为事实上这里的全局是有两个含义的：文件域的全局，和整个程序范围
的全局。这两个含义是根据变量的链接性来定义的，我们之前就提到了链接性的概念，而
谭书对此只字不提。“C99运行在函数中的复合语句（用一对花括号括起来）中定义变量
”，首先这是C90的特性，而不是C99的，其次，括号内的部分明显代表谭老根本就不知道
什么是复合语句，花括号本身是复合语句的一部分，复合语句花括号内的部分在标准中是
被叫做“块项列表（block-item-list）”的，而列表中的一个块项既可以是声明，也可
以是语句。对基本概念都不清晰，也难怪错的这么离谱了。
我们总结一下：
- C99实际上是允许你在任何地方声明变量的。
- C90声明部分实际上是可以在任何复合语句的开头的。
也就是说，下面的代码在C90里面仍然是合法的：
- void reverse(int array[], size_t size) {
- int i = 0, j = size - 1;
- for (; i < j; ++i, --j) {
- int temp = array[i];
- array[i] = array[j];
- array[j] = temp;
- }
- }
都必须存在。而真正有这么一个需求是很罕见的。如同这里的 temp 变量，它只需要在交
换的时候才存在，因此就不该把它和 i, j 声明在一起。上面的代码是合法的 C90 代码
，可以在任何严格支持 C90 （而不支持 C99）的编译器下编译。
就算你用的是C90的编译器，你也仍然可以获得“随处声明变量”的特权，很简单，
在需要使用局部变量的时候，直接用复合即可，这也是复合语句作为一种单独的语句类型
出现的另一个理由。（前一个理由是作为其他语句（如if for）中的语句部分存在）
在真正使用的时候申请变量是个好习惯，这也是 C99 真正的改变是允许变量在任意
位置定义，而不仅限复合语句开头的缘故。这可以防止变量的名字冲突，简化逻辑——新
申请的变量哪怕名字和之前申请的一致，也不会对旧的变量有任何影响，一旦新变量超过
作用域，旧的变量仍然有效。这是C语言的一个重大特性，也被认为是C语言最优秀的一个
特性，这个特性就是大名鼎鼎的“词法作用域”。它被广泛地用在了大量的语言上，是编
程语言的一个约定俗成的基本特性。如果不允许在复合语句内申请变量，无异于让C语言
自废武功。
并且，我们知道，C语言的局部变量是分配在栈上的。那么局部变量的及时释放也帮
助节省栈空间：对于两个平行的复合语句块，其内部的局部变量事实上是共享一块区域的
，这就是词法作用域的另一个实际好处。
为什么谭老即使是愿意让C语言自废武功，也不愿意介绍真正的C99的变量声明特性呢
？原因是谭书的前一个版本言之凿凿地说明“变量只允许声明在函数开头”，记得我最开
始看谭书的时候，就一直是这么申请变量的，直到自行翻阅C90标准才走出这个误区。08
年的时候我帮助一个上海交大的生物系研究生修改其 DNA 检测代码，就发现一堆的 i,
j, k, l, m, n 被申请在函数开头，整个程序十分难维护，后来花了很大功夫才将代码整
理完成，由此可见谭书危害之深。
程序员一个重要的素质就是肯承认错误，肯承认失误。程序本就是思维的结晶，是智
慧最集中的产品。不肯承认错误，就一定会被更先进者替代。而谭书却死死抓住“权威”
两字不放，宁愿错上加错也不肯承认自己不是完人。这样的心态怎么符合一个程序员的自
我修养呢？又怎么培育合格的程序员呢？书的销量越好，事实上是流毒越多而已。
下面我们介绍一下C99真正的新特性，看看标准委员会为C语言的进步做出了什么样的
努力。
C99从C++中引进了可以“随处申请变量”的特性，并修改了 for 语句的语法，添加
了一个新的 for 语句形式。对C99来说，符合语句内已经不区分“声明部分”和“语句部
分”，在任何地方都可以书写声明或者语句，而新加入的 for 语句的语法是允许 for 的
第一个部分是声明，后跟可选的表达式（注意声明本身会带上一个分号），后跟必须的分
号，再跟可选的表达式。也就是说，上面的反转函数实际上可以这么写：
- void reverse(int array[], size_t size) {
- for (int i = 0, j = size - 1; i < j; ++i, --j) {
- int temp = array[i];
- array[i] = array[j];
- array[j] = temp;
- }
- }
使用 i, j, temp 会造成编译错误。
注意和C++不同，对C99来说只有 for 才有在第一部分申请变量的殊荣， if、while
等等语句都是不允许的。而在C++里面这些语句的条件判断部分都是可以申请新变量的。
从C99的新特性可以看出，C语言显然易见地是支持并鼓励“使用处声明”的编程方法
的。而谭书却对此只字不提，挂着着C99的羊头，卖着C89的狗肉，不愿大大方方地承认自
己的错误，甚至连一点点改过的意向都没有，只是一门心思的一错再错，一条路走到黑。
这种态度不止是一本教科书编撰者，就算只是一个普通的程序员，恐怕也逃不过被开除的
命运。
|
|
免费注册
楼主: pmerofc
发表于 2012-02-08 15:17
发表于 2012-02-08 15:36
{