c语言 去掉双引号_技术分享|浅谈C语言陷阱和缺陷

良好的软件架构、清晰的代码结构、掌握硬件、深入理解C语言是防错的要点，人的思维和经验积累对软件可靠性有很大影响。C语言诡异且有种种陷阱和缺陷，需要程序员多年历练才能达到较为完善的地步。软件的质量是由程序员的质量以及他们相互之间的协作决定的。因此，我认为防错的重点是要考虑人的因素。

深入一门语言编程，不能仅仅浮于表面。软件的可靠性，与你理解的语言深度密切相关，嵌入式C更是如此。处处皆陷阱。接下来，给大家分享一篇文章，浅谈C语言陷阱和缺陷，希望对大家有所帮助。

一、词法缺陷

编译器的第一个部分常被称为词法分析器。词法分析器检查组成程序的字符序列，并将它们划分为记号,一个记号是一个有一个或多个字符的序列，它在语言被编译时具有一个（相关地）统一的意义。在C中，记号->的意义和组成它的每个独立的字符具有明显的区别，而且其意义独立于->出现的上下文环境。

另外一个例子，考虑下面的语句：

if(x>big)big=x;

该语句中的每一个分离的字符都被划分为一个记号，除了关键字if和标识符big的两个实例。事实上，C程序被两次划分为记号。首先是预处理器读取程序。它必须对程序进行记号划分以发现标识宏的标识符。它必须通过对每个宏进行求值来替换宏调用。最后，经过宏替换的程序又被汇集成字符流送给编译器。编译器再第二次将这个流划分为记号。

1.1=不是==

从Algol派生出来的语言，如Pascal和Ada，用:=表示赋值而用=表示比较。而C语言则是用=表示赋值而用==表示比较。这是因为赋值的频率要高于比较，因此为其分配更短的符号。

此外，C还将赋值视为一个运算符，因此可以很容易地写出多重赋值（如a=b=c），并且可以将赋值嵌入到一个大的表达式中。

这种便捷导致了一个潜在的问题：可能将需要比较的地方写成赋值。因此，下面的语句好像看起来是要检查x是否等于y：

if(x=y)

foo();

而实际上是将x设置为y的值并检查结果是否非零。在考虑下面的一个希望跳过空格、制表符和换行符的循环：

while(c==''||c='t'||c=='n')

c=getc(f);

在与't'进行比较的地方程序员错误地使用=代替了==。这个"比较"实际上是将't'赋给c，然后判断c的（新的）值是否为零。因为't'不为零，这个"比较"将一直为真，因此这个循环会吃尽整个文件。这之后会发生什么取决于特定的实现是否允许一个程序读取超过文件尾部的部分。如果允许，这个循环会一直运行。

一些C编译器会对形如e1=e2的条件给出一个警告以提醒用户。当你确实需要先对一个变量进行赋值之后再检查变量是否非零时，为了在这种编译器中避免警告信息，应考虑显式给出比较符。换句话说，将：

if(x=y)

foo();

改写为：

if((x=y)!=0)

foo();

这样可以清晰地表示你的意图。

1.2&和|不是&&和||

容易将==错写为=是因为很多其他语言使用=表示比较运算。其他容易写错的运算符还有&和&&，或|和||，这主要是因为C语言中的&和|运算符于其他语言中具有类似功能的运算符大为不同。我们将在第4节中贴近地观察这些运算符。

1.3多字符记号

一些C记号，如/、*和=只有一个字符。而其他一些C记号，如/*和==，以及标识符，具有多个字符。当C编译器遇到紧连在一起的/和*时，它必须能够决定是将这两个字符识别为两个分离的记号还是一个单独的记号。C语言参考手册说明了如何决定："如果输入流到一个给定的字符串为止已经被识别为记号，则应该包含下一个字符以组成能够构成记号的最长的字符串"。因此，如果/是一个记号的第一个字符，并且/后面紧随了一个*，则这两个字符构成了注释的开始，不管其他上下文环境。

下面的语句看起来像是将y的值设置为x的值除以p所指向的值：

y=x/*p/*p指向除数*/;

实际上，/*开始了一个注释，因此编译器简单地吞噬程序文本，直到*/的出现。换句话说，这条语句仅仅把y的值设置为x的值，而根本没有看到p。将这条语句重写为：

y=x/*p/*p指向除数*/;

或者干脆是

y=x/(*p)/*p指向除数*/;

它就可以做注释所暗示的除法了。

这种模棱两可的写法在其他环境中就会引起麻烦。例如，老版本的C使用=+表示现在版本中的+=。这样的编译器会将

a=-1;

视为

a=-1;或a=a-1;

这