C缺陷与陷阱(笔记)资源-CSDN文库

需积分: 4 130 浏览量 2013-04-21 09:49:43 上传评论收藏 239KB DOC 举报

资源推荐

资源详情

资源评论

[翻译]C 语言陷阱和缺陷（修订版） 
修订说明
第一次修订。改正了文中的大部分错别字和格式错误，并对一些句子依照中文的
习惯进行了改写。
译序
那些自认为已经“学完” 语言的人，请你们仔细读阅读这篇文章吧。路还长，很多
东西要学。我也是……
概述
 语言像一把雕刻刀，锋利，并且在技师手中非常有用。和任何锋利的工具一样，
 会伤到那些不能掌握它的人。本文介绍  语言伤害粗心的人的方法，以及如何避免伤害。
内容
 简介 
 词法缺陷 
 =不是 ==
 &和 |不是 &&和 ||
 多字符记号 
 例外 
 字符串和字符
 句法缺陷 
 理解声明 
 运算符并不总是具有你所想象的优先级 
 看看这些分号！ 
 switch 语句 
 函数调用 
 悬挂 else 问题
 连接 
 你必须自己检查外部类型
 语义缺陷 
 表达式求值顺序 

 语言及其典型实现被设计为能被专家们容易地使用。这门语言简洁并附有表达力。
但有一些限制可以保护那些浮躁的人。一个浮躁的人可以从这些条款中获得一些帮助。
在本文中，我们将会看到这些未可知的益处。正是由于它的未可知，我们无法为
其进行完全的分类。不过，我们仍然通过研究为了一个  程序的运行所需要做的事来做到
这些。我们假设读者对  语言至少有个粗浅的了解。
第一部分研究了当程序被划分为记号时会发生的问题。第二部分继续研究了当程
序的记号被编译器组合为声明、表达式和语句时会出现的问题。第三部分研究了由多个部
分组成、分别编译并绑定到一起的  程序。第四部分处理了概念上的误解：当一个程序具
体执行时会发生的事情。第五部分研究了我们的程序和它们所使用的常用库之间的关系。
在第六部分中，我们注意到了我们所写的程序也许并不是我们所运行的程序；预处理器将
首先运行。最后，第七部分讨论了可移植性问题：一个能在一个实现中运行的程序无法在
另一个实现中运行的原因。
1 词法缺陷
编译器的第一个部分常被称为词法分析器（）。词法分析器检查
组成程序的字符序列，并将它们划分为记号（）一个记号是一个由一个或多个字符
构成的序列，它在语言被编译时具有一个（相关地）统一的意义。在  中， 例如，记号-
>的意义和组成它的每个独立的字符具有明显的区别，而且其意义独立于->出现的上下文
环境。
另外一个例子，考虑下面的语句：
 !"#!"$%
该语句中的每一个分离的字符都被划分为一个记号，除了关键字 if 和标识符 big 的
两个实例。
事实上， 程序被两次划分为记号。首先是预处理器读取程序。它必须对程序进行
记号划分以发现标识宏的标识符。它必须通过对每个宏进行求值来替换宏调用。最后，经
过宏替换的程序又被汇集成字符流送给编译器。编译器再第二次将这个流划分为记号。
在这一节中，我们将探索对记号的意义的普遍的误解以及记号和组成它们的字符
之间的关系。稍后我们将谈到预处理器。
1.1 = 不是 ==
从 &" 派生出来的语言，如 '( 和 &)，用:=表示赋值而用=表示比较。而
 语言则是用=表示赋值而用==表示比较。这是因为赋值的频率要高于比较，因此为其分
配更短的符号。