C语言缺陷与陷阱重点笔记.doc

概述 C语言像一把雕刻刀，锋利，并且在技师手中非常有用。和任何锋利工具同样，C会伤到那些不能掌握它人。本文简介C语言伤害粗心人办法，以及如何避免伤害。内容0 简介 1 词法缺陷 1.1 = 不是 = 1.2 & 和 | 不是 & 和 | 1.3 多字符记号 1.4 例外 1.5 字符串和字符2 句法缺陷 2.1 理解声明 2.2 运算符并不总是具备你所想象优先级 2.3 看看这些分号！ 2.4 switch语句 2.5 函数调用 2.6 悬挂else问题3 连接 3.1 你必要自己检查外部类型4 语义缺陷 4.1 表达式求值顺序 4.2 &、|和!运算符 4.3 下标从零开始 4.4 C并不总是转换实参 4.5 指针不是数组 4.6 避免提喻法 4.7 空指针不是空字符串 4.8 整数溢出 4.9 移位运算符5 库函数 5.1 getc()返回整数 5.2 缓冲输出和内存分派6 预解决器 6.1 宏不是函数 6.2 宏不是类型定义7 可移植性缺陷 7.1 一种名字中均有什么？ 7.2 一种整数有多大？ 7.3 字符是带符号还是无符号？ 7.4 右移位是带符号还是无符号？ 7.5 除法如何舍入？ 7.6 一种随机数有多大？ 7.7 大小写转换 7.8 先释放，再重新分派 7.9 可移植性问题一种实例8 这里是空闲空间 参照 脚注0 简介 C语言及其典型实现被设计为能被专家们容易地使用。这门语言简洁并附有表达力。但有某些限制可以保护那些浮躁人。一种浮躁人可以从这些条款中获得某些协助。 在本文中，咱们将会看到这些未可知益处。正是由于它未可知，咱们无法为其进行完全分类。但是，咱们依然通过研究为了一种C程序运营所需要做事来做到这些。咱们假设读者对C语言至少有个粗浅理解。 第一某些研究了当程序被划分为记号时会发生问题。第二某些继续研究了当程序记号被编译器组合为声明、表达式和语句时会浮现问题。第三某些研究了由各种某些构成、分别编译并绑定到一起C程序。第四某些解决了概念上误解：当一种程序详细执行时会发生事情。第五某些研究了咱们程序和它们所使用惯用库之间关系。在第六某些中，咱们注意到了咱们所写程序也许并不是咱们所运营程序；预解决器将一方面运营。最后，第七某些讨论了可移植性问题：一种能在一种实现中运营程序无法在另一种实现中运营因素。1 词法缺陷 编译器第一种某些常被称为词法分析器（lexical analyzer）。词法分析器检查构成程序字符序列，并将它们划分为记号（token）一种记号是一种由一种或各种字符构成序列，它在语言被编译时具备一种（有关地）统一意义。在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;这会让打算写a = -1;程序员感到吃惊。 另一方面，这种老版本C编译器会将a=/*b;断句为a =/ *b;尽管/*看起来像一种注释。1.4 例外 组合赋值运算符如+=事实上是两个记号。因而，a + /* strange */ = 1和a += 1是一种意思。看起来像一种单独记号而事实上是各种记号只有这一种特例。特别地，p - a是不合法。它和p - a不是同义词。 另一方面，有些老式编译器还是将=+视为一种单独记号并且和+=是同义词。1.5 字符串和字符 单引号和双引号在C中意义完全不同，在某些混乱上下文中它们会导致奇怪成果而不是错误消息。 包围在单引号中一种字符只是编写整数另一种办法。这个整数是给定字符在实现对照序列中一种相应值。因而，在一种ASCII实现中，a和0141或97表达完全相似东西。而一种包围在双引号中字符串，只是编写一种有双引号之间字符和一种附加二进制值为零字符所初始化一种无名数组指针一种简短办法。 下面两个程序片断是等价：printf(Hello worldn);char hello = H，e，l，l，o， ，w，o，r，l，d，n，0 ;printf(hello); 使用一种指针来代替一种整数普通会得到一种警告消息（反之亦然），使用双引号来代替单引号也会得到一种警告消息（反之亦然）。但对于不检查参数类型编译器却除外。因而，用printf(n);来代替printf(n);普通会在运营时得到奇怪成果。（译注提示：正如上面所说，n表达一种整数，它被转换为了一种指针，这个指针所指向内容是没故意义。） 由于一种整数普通足够大，以至于可以放下各种字符，某些C编译器容许在一种字符常量中存储各种字符。这意味着用yes代替yes将不会被发现。后者意味着“分别包括y、e、s和一种空字符四个持续存储器区域中第一种地址”，而前者意味着“在某些实现定义样式中表达由字符y、e、s联合构成一种整数”。这两者之间任何一致性都纯属巧合。2 句法缺陷 要理解C语言程序，仅理解构成它记号是不够。还要理解这些记号是如何构成声明、表达式、语句和程序。尽管这些构成普通都是定义良好，但这些定义有时候是有悖于直觉或混乱。 在这一节中，咱们将着眼于某些不明显句法构造。2.1 理解声明 我曾经和某些人聊过天，她们那时正在在编写在一种小型微解决器上单机运营C程序。当这台机器开关打开时候，硬件会调用地址为0处子程序。 为了模仿电源打开情形，咱们要设计一条C语句来显式地调用这个子程序。通过某些思考，咱们写出了下面语句：(*(void(*)()0)(); 这样表达式会令C程序员心惊胆战。但是，并不需要这样，由于她们可以在一种简朴规则协助下很容易地构造它：以你使用方式声明它。 每个C变量声明都具备两个某些：一种类型和一组具备特定格式、盼望用来对该类型求值表达式。最简朴表达式就是一种变量：float f，g;阐明表达式f和g在求值时候具备类型float。由于待求值是表达式，因而可以自由地使用圆括号：float (f);这表达(f)求值为float并且因而，通过推断，f也是一种float。 同样逻辑用在函数和指针类型。例如：float ff();表达表达式ff()是一种float，因而ff是一种返回一种float函数。类似地，float *pf;表达*pf是一种float并且因而pf是一种指向一种float指针。 这些形式组合声明对表达式是同样。因而，float *g()，(*h)();表达*g()和(*h)()都是float表达式。由于()比*绑定得更紧密，*g()和*(g()表达同样东西：g是一种返回指float指针函数，而h是一种指向返回float函数指针。 当咱们懂得如何声明一种给定类型变量后来，就可以很容易地写出一种类型模型（cast）：只要删除变量名和分号并将所有东西包围在一对圆括号中即可。因而，由于float *g();声明g是一种返回float指针函数，因此(float *()就是它模型。 有了这些知识武装，咱们当前可以准备解决(*(void(*)()0)()了。 咱们可以将它分为两个某些进行分析。一方面，假设咱们有一种变量fp，它包括了一种函数指针，并且咱们但愿调用fp所指向函数。可以这样写：(*fp)();如果fp是一种指向函数指针，则*fp就是函数自身，因而(*fp)()是调用它一种办法。(*fp)中括号是必要，否则这个表达式将会被分析为*(fp()。咱们当前要找一种恰当表达式来替代fp。 这个问题就是咱们第二步分析。如果C可以读入并理解类型，咱们可以写：(*0)();但这样并不行，由于*运算符规定必要有一种指针作为它操作数。此外，这个操作数必要是一种指向函数指针，以保证*成果可以被调用。因而，咱们需要将0转换为一种可以描述“指向一种返回void函数指针”类型。 如果fp是一种指向返回void函数指针，则(*fp)()是一种void值，并且它声明将会是这样：void (*fp)();因而，咱们需要写：void (*fp)();(*fp)();来声明一种哑变量。一旦咱们懂得了如何声明该变量，咱们也就懂得了如何将一种常数转换为该类型：只要从变量声明中去掉名字即可。因而，咱们像下面这样将0转换为一种“指向返回void函数指针”：(void(*)()0接下来，咱们用(void(*)()0来替代fp：(*(void(*)()0)();结尾处分号用于将这个表达式转换为一种语句。 在这里，咱们解决这个问题时没有使用typedef声明。通过使用它，咱们可以更清晰地解决这个问题：typedef void (*funcptr)();(*(funcptr)0)();2.2 运算符并不总是具备你所想象优先级 假设有一种声明了常量FLAG，它是一种整数，其二进制表达中某一位被置位（换句话说，它是2某次幂），并且你但愿测试一种整型变量flags该位与否被置位。普通写法是：if(flags & FLAG) .其意义对于诸多C程序员都是很明确：if语句测试括号中表达式求值成果与否为0。出于清晰目咱们可以将它写得更明确：if(flags & FLAG != 0) .这个语句当前更容易理解了。但它依然是错，由于!=比&绑定得更紧密，因而它被分析为：if(flags & (FLAG != 0) .这（偶尔）是可以，如FLAG是1或0（！）时候，但对于其她2幂是不行2。 假设你有两个整型变量，h和l，它们值在0和15（含0和15）之间，并且你但愿将r设立为8位值，其低位为l，高位为h。一种自然写法是：r = h 4 + 1;不幸是，这是错误。加法比移位绑定得更紧密，因而这个例子等价于：r = h (4 + l);对的办法有两种：r = (h 4) + l;r = h 4 | l; 避免这种问题一种办法是将所有东西都用括号括起来，但表达式中括号过度就会难以理解，因而最佳还是是记住C中优先级。 不幸是，这有15个，太困难了。然而，通过将它们分组可以变得容易。 绑定得最紧密运算符并不是真正运算符：下标、函数调用和构造选取。这些都与左边有关联。 接下来是一元运算符。它们具备真正运算符中最高优先级。由于函数调用比一元运算符绑定得更紧密，你必要写(*p)()来调用p指向函数；*p()表达p是一种返回一种指针函数。转换是一元运算符，并且和其她一元运算符具备相似优先级。一元运算符是右结合，因而*p+表达*(p+)，而不是(*p)+。 在接下来是真正二元运算符。其中数学运算符具备最高优先级，然后是移位运算符、关系运算符、逻辑运算符、赋值运算符，最后是条件运算符。需要记住两个重要东西是：所有逻辑运算符具备比所关于系运算符都低优先级。 移位运算符比关系运算符绑定得更紧密，但又不如数学运算符。 在这些运算符类别中，有某些奇怪地方。乘法、除法和求余具备相似优先级，加法和减法具备相似优先级，以及移位运算符具备相似优先级。 尚有就是六个关系运算符并不具备相似优先级：=和!=优先级比其她关系运算符要低。这就容许咱们判断a和b与否具备与c和d相似顺序，例如：a b = c d 在逻辑运算符中，没有任何两个具备相似优先级。按位运算符比所有顺序运算符绑定得都紧密，每种与运算符都比相应或运算符绑定得更紧密，并且按位异或（）运算符介于按位与和按位或之间。 三元运算符优先级比咱们提到过所有运算符优先级都低。这可以保证选取表达式中包括关系运算符逻辑组合特性，如：z = a b & b aty) = STRTY) | t = UNIONTY) 这条语句但愿给t赋一种值，然后看t与否与STRTY或UNIONTY相等。而实际效果却大不相似3。 C中逻辑运算符优先级具备历史因素。B语言C前辈具备和C中&和|运算符相应逻辑运算符。尽管它们定义是按位 ，但编译器在条件判断上下文中将它们视为和&和|同样。当在C中将它们分开后，优先级变化是很危险4。2.3 看看这些分号！ C中一种多余分号普通会带来一点点不同：或者是一种空语句，无任何效果；或者编译器也许提出一种诊断消息，可以以便除去掉它。一种重要区别是在必要跟有一种语句if和while语句中。考虑下面例子：if(xi big); big = xi;这不会发生编译错误，但这段程序意义与：if(xi big) big = xi;就大不相似了。第一种程序段等价于：if(xi big) big = xi;也就是等价于：big = xi;（除非x、i或big是带有副作用宏）。 另一种因分号引起巨大不同地方是函数定义前面构造声明末尾（译注这句话不太好听，看例子就明白了）。考虑下面程序片段：struct foo int x;f() .在紧挨着f第一种背面丢失了一种分号。它效果是声明了一种函数f，返回值类型是struct foo，这个构导致了函数声明一某些。如果这里浮现了分号，则f将被定义为具备默认整型返回值5。2.4 switch语句 普通C中switch语句中case段可以进入下一种。例如，考虑下面C和Pascal程序片断：switch(color) case 1：printf (red); break;case 2：printf (yellow); break;case 3：printf (blue); break;case color of1：write (red);2：write (yellow);3：write (blue);end 这两个程序片段都作相似事情：依照变量color值是1、2还是3打印red、yellow或blue（没有新行符）。这两个程序片段非常相似，只有一点不同：Pascal程序中没有C中相应break语句。C中case标签是真正标签：控制流程可以无限制地进入到一种case标签中。 看看另一种形式，假设C程序段看起来更像Pascal：switch(color) case 1：printf (red);case 2：printf (yellow);case 3：printf (blue);并且假设color值是2。则该程序将打印yellowblue，由于控制自然地转入到下一种printf()调用。 这既是C语言switch语句长处又是它弱点。说它是弱点，是由于很容易忘掉一种break语句，从而导致程序浮现隐晦异常行为。说它是长处，是由于通过故意去掉break语句，可以很容易实现其她办法难以实现控制构造。特别是在一种大型switch语句中，咱们经常发现对一种case解决可以简化其她某些特殊解决。 例如，设想有一种程序是一台假想机器翻译器。这样一种程序也许包括一种switch语句来解决各种操作码。在这样一台机器上，普通减法在对其第二个运算数进行变号后就变成和加法同样了。因而，最佳可以写出这样语句：case SUBTRACT: opnd2 = -opnd2; /* no break；*/case ADD: . 此外一种例子，考虑编译器通过跳过空白字符来查找一种记号。这里，咱们将空格、制表符和新行符视为是相似，除了新行符还要引起行计数器增长外：case n: linecount+; /* no break */case t:case : .2.5 函数调用 和其她程序设计语言不同，C规定一种函数调用必要有一种参数列表，但可以没有参数。因而，如果f是一种函数，f();就是对该函数进行调用语句，而f;什么也不做。它会作为函数地址被求值，但不会调用它6。2.6 悬挂else问题 在讨论任何语法缺陷时咱们都不会忘掉提到这个问题。尽管这一问题不是C语言所独有，但它依然伤害着那些有着近年经验C程序员。 考虑下面程序片断：if(x = 0) if(y = 0) error();else z = x + y; f(&z); 写这段程序程序员目明显是将状况分为两种：x = 0和x != 0。在第一种状况中，程序段什么都不做，除非y = 0时调用error()。第二种状况中，程序设立z = x + y并以z地址作为参数调用f()。 然而， 这段程序实际效果却大为不同。其因素是一种else总是与其近来if有关联。如果咱们但愿这段程序可以按照实际状况运营，应当这样写：if(x = 0) if(y = 0) error(); else z = x + y; f(&z); 换句话说，当x != 0发生时什么也不做。如果要达到第一种例子效果，应当写：if(x = 0) if(y =0) error();else z = z + y; f(&z);3 连接 一种C程序也许有诸多某些构成，它们被分别编译，并由一种普通称为连接器、连接编辑器或加载器程序绑定到一起。由于编译器一次普通只能看到一种文献，因而它无法检测到需要程序各种源文献内容才干发现错误。 在这一节中，咱们将看到某些这种类型错误。有某些C实现，但不是所有，带有一种称为lint程序来捕获这些错误。如果具备一种这样程序，那么无论如何地强调它重要性都但是分。3.1 你必要自己检查外部类型 假设你有一种C程序，被划分为两个文献。其中一种包括如下声明：int n;而令一种包括如下声明：long n;这不是一种有效C程序，由于某些外部名称在两个文献中被声明为不同类型。然而，诸多实现检测不到这个错误，由于编译器在编译其中一种文献时并不懂得另一种文献内容。因而，检查类型工作只能由连接器（或某些工具程序如lint）来完毕；如果操作系统连接器不能辨认数据类型，C编译器也没法过多地强制它。 那么，这个程序运营时实际会发生什么？这有诸多也许性：实现足够聪颖，可以检测到类型冲突。则咱们会得到一种诊断消息，阐明n在两个文献中具备不同类型。 你所使用实现将int和long视为相似类型。典型状况是机器可以自然地进行32位运算。在这种状况下你程序或允许以工作，好象你两次都将变量声明为long（或int）。但这种程序工作纯属偶尔。 n两个实例需要不同存储，它们以某种方式共享存储区，即对其中一种赋值对另一种也有效。这也许发生，例如，编译器可以将int安排在long低位。无论这是基于系统还是基于机器，这种程序运营同样是偶尔。 n两个实例以另一种方式共享存储区，即对其中一种赋值效果是对另一种赋以不同值。在这种状况下，程序也许失败。 这种状况发生里一种例子出奇地频繁。程序某一种文献包括下面声明：char filename = etc/passwd;而另一种文献包括这样声明：char *filename; 尽管在某些环境中数组和指针行为非常相似，但它们是不同。在第一种声明中，filename是一种字符数组名字。尽管使用数组名字可以产生数组第一种元素指针，但这个指针只有在需要时候才产生并且不会持续。在第二个声明中，filename是一种指针名字。这个指针可以指向程序员让它指向任何地方。如果程序员没有给它赋一种值，它将具备一种默认0值（NULL）（译注事实上，在C中一种为初始化指针普通具备一种随机值，这是很危险！）。 这两个声明以不同方式使用存储区，它们不也许共存。 避免这种类型冲突一种办法是使用像lint这样工具（如果可以话）。为了在一种程序不同编译单元之间检查类型冲突，某些程序需要一次看到其所有某些。典型编译器无法完毕，但lint可以。 避免该问题另一种办法是将外部声明放到包括文献中。这时，一种外部对象类型仅浮现一次7。4 语义缺陷 一种句子可以是精准拼写并且没有语法错误，但依然没故意义。在这一节中，咱们将会看到某些程序写法会使得它们看起来是一种意思，但事实上是另一种完全不批准思。 咱们还要讨论某些表面上看起来合理但事实上会产生未定义成果环境。咱们这里讨论东西并不保证可以在所有C实现中工作。咱们暂且忘掉这些可以在某些实现中工作但也许不能在另某些实现中工作东西，直到第7节讨论可以执行问题为止。4.1 表达式求值顺序 某些C运算符以一种已知、特定顺序对其操作数进行求值。但另某些不能。例如，考虑下面表达式：a b & c dC语言定义规定a b一方面被求值。如果a的确不大于b，c d必要紧接着被求值以计算整个表达式值。但如果a不不大于或等于b，则c d主线不会被求值。 要对a b求值，编译器对a和b求值就会有一种先后。但在某些机器上，它们也许是并行进行。 C中只有四个运算符&、|、?:和,指定了求值顺序。&和|最先对左边操作数进行求值，而右边操作数只有在需要时候才进行求值。而?:运算符中三个操作数：a、b和c，最先对a进行求值，之后仅对b或c中一种进行求值，这取决于a值。,运算符一方面对左边操作数进行求值，然后抛弃它值，对右边操作数进行求值8。 C中所有其他运算符对操作数求值顺序都是未定义。事实上，赋值运算符不对求值顺序做出任何保证。 出于这个因素，下面这种将数组x中前n个元素复制到数组y中办法是不可行：i = 0;while(i n) yi = xi+;其中问题是yi地址并不保证在i增长之前被求值。在某些实现中，这是也许；但在另某些实现中却不也许。另一种状况出于同样因素会失败：i = 0;while(i n) yi+ = xi;而下面代码是可以工作：i = 0;while(i n) yi = xi; i+;固然，这可以简写为：for(i = 0；i n；i+) yi = xi;4.2 &、|和!运算符 C中有两种逻辑运算符，在某些状况下是可以互换：按位运算符&、|和，以及逻辑运算符&、|和!。一种程序员如果用某一类运算符替代相应另一类运算符会得到某些奇怪效果：程序也许会对的地工作，但这纯属偶尔。 &、|和!运算符将它们参数视为仅有“真”或“假”，普通商定0代表“假”而其他任意值都代表“真”。这些运算符返回1表达“真”而返回0表达“假”，并且&和|运算符当可以通过左边操作数拟定其返回值时，就不会对右边操作数进行求值。 因而!10是零，由于10非零；10 & 12是1，由于10和12都非零；10 | 12也是1，由于10非零。此外，最后一种表达式中12不会被求值，10 | f()中f()也不会被求值。 考虑下面这段用于在一种表中查找一种特定元素程序：i = 0;while(i tabsize & tabi != x) i+;这段循环背后意思是如果i等于tabsize时循环结束，元素未被找到。否则，i包括了元素索引。 假设这个例子中&不小心被替代为了&，这个循环也许依然可以工作，但只有两种幸运状况可以使它停下来。 一方面，这两个操作都是当条件为假时返回0，当条件为真时返回1。只要x和y都是1或0，x & y和x & y都具备相似值。然而，如果当使用了除1之外非零值表达“真”时互换了这两个运算符，这个循环将不会工作。 另一方面，由于数组元素不会变化，因而越过数组最后一种元素迈进一种位置时是无害，循环会幸运地停下来。失误程序会越过数组结尾，由于&不像&，总是会对所有操作数进行求值。因而循环最后一次获取tabi时i值已经等于tabsize了。如果tabsize是tab中元素数量，则会取到tab中不存在一种值。4.3 下标从零开始 在诸多语言中，具备n个元素数组其元素号码和它下标是从1到n严格相应。但在C中不是这样。 一种具备n个元素C数组中没有下标为n元素，其中元素下标是从0到n - 1。因而从其他语言转到C语言程序员应当特别小心地使用数组：int i，a10;for(i = 1；i = 10；i+) ai = 0;这个例子目是要将a中每个元素都设立为0，但没有盼望效果。由于for语句中比较i 10被替代成了i = 10，a中一种编号为10并不存在元素被设立为了0，这样内存中a背面一种字被破坏了。如果编译该程序编译器按照降序地址为顾客变量分派内存，则a背面就是i。将i设立为零会导致该循环陷入一种无限循环。4.4 C并不总是转换实参 下面程序段由于两个因素会失败：double s;s = sqrt(2);printf(%gn，s); 第一种因素是sqrt()需要一种double值作为它参数，但没有得到。第二个因素是它返回一种double值但没有这样声名。改正办法只有一种：double s，sqrt();s = sqrt(2.0);printf(%gn，s); C中有两个简朴规则控制着函数参数转换：(1)比int短整型被转换为int；(2)比double短浮点类型被转换为double。所有其他值不被转换。保证函数参数类型对的性是程序员责任。 因而，一种程序员如果想使用如sqrt()这样接受一种double类型参数函数，就必要仅传递给它float或double类型参数。常数2是一种int，因而其类型是错误。 当一种函数值被用在表达式中时，其值会被自动地转换为恰当类型。然而，为了完毕这个自动转换，编译器必要懂得该函数实际返回类型。没有更进一步声名函数被假设返回int，因而声名这样函数并不是必要。然而，sqrt()返回double，因而在成功使用它之前必要要声名。 事实上，C实现普通容许一种文献包括include语句来包括如sqrt()这些库函数声名，但是对那些自己写函数程序员来说，编写声名也是必要或者说，对那些编写非凡C程序人来说是有必要。 这里有一种更加壮观例子：main() int i; char c; for(i = 0；i 5；i+) scanf(%d，&c); printf(%d，i); printf(n); 表面上看，这个程序从原则输入中读取五个整数并向原则输出写入0 1 2 3 4。事实上，它并不总是这样做。譬如在某些编译器中，它输出为0 0 0 0 0 1 2 3 4。 为什么？由于c声名是char而不是int。当你令scanf()去读取一种整数时，它需要一种指向一种整数指针。但这里它得到是一种字符指针。但scanf()并不懂得它没有得到它所需要：它将输入看作是一种指向整数指针并将一种整数存贮到那里。由于整数占用比字符更多内存，这样做会影响到c附近内存。 c附近确切是什么是编译器事；在这种状况下这有也许是i低位。因而，每当向c中读入一种值，i就被置零。当程序最后到达文献结尾时，scanf()不再尝试向c中放入新值，i才可以正常地增长，直到循环结束。4.5 指针不是数组 C程序普通将一种字符串转换为一种以空字符结尾字符数组。假设咱们有两个这样字符串s和t，并且咱们想要将它们连接为一种单独字符串r。咱们普通使用库函数strcpy()和strcat()来完毕。下面这种明显办法并不会工作：char *r;strcpy(r，s);strcat(r，t);这是由于r没有被初始化为指向任何地方。尽管r也许潜在地表达某一块内存，但这