阅读《C陷阱与缺陷》的知识增量

看完《C陷阱与缺陷》，忍不住要重新翻一下，记录一下与自己的惯性思维不符合的地方。记录的是知识的增量，是这几天的流量，而不是存量。
这本书是在ASCI C/C89订制之前写的，有些地方有疏漏。

第一章 词法陷阱

• 1.3 C语言中解析符号时使用贪心策略，如x+++++y将被解析为x++ ++ +y，并编译出错。
• 1.5 单引号引起的一个字符代表一个对应的整数，对于采用ASCII字符集的编译器而言，'a'与0141、97含义一致。
• 练习1.1 嵌套注释（如/*/**/*/）只在某些C编译器中允许，如gcc4.8.2编译时是不支持的。

第二章 语法陷阱

• 2.6 else始终与同一个括号内最近的未匹配的if结合

第三章 语义陷阱

• 3.1 int a[12][31]表示的是一个长度12的数组，每个元素是一个长度31的数组。
• 3.1 在需要指针的地方如果使用数组名来替换，那么数组名就被视为其下标为0的元素的指针，p = &a的写法是非法的（gcc4.8.2只是警告）。
• 3.2 如何连接两个给出的字符串s、t？细节很重要，书中给出的答案如下：

char *r,*malloc()

//原文称不能直接声明一个s、t长度之和的数组，但c99可以声明变长数组，已经可以了
//记得要把长度加1
r = malloc(strlen(s) + strlen(t) +1);

//必须判断内存是否分配成功
if(!r){
    complain();
    exit(1);
}

strcpy(r,s);
strcat(r,t);

......

//完成之后一定要释放r
free(r);

• 3.6 如何正确计算数组的边界？原则一，考虑最简单情况下的特例；原则二，仔细计算边界。
• 3.6 以下一段代码为何引起死循环？这是因为在内存地址递减时，a[10]就是i。

  int i,a[10];
  for(i = 1; i<=10; i++)
  a[i] = 0;

• 3.6 边界的编程技巧：用第一个入界点和第一个出界点表示数值范围，即[low,high)。这样的效果是
  • 取值范围的大小为两者之差。
  • 若取值范围为空，则上界等于下界。
• 3.6 --n一般比n--执行速度更快。
• 3.7 运算符&&和||保证两个操作数从左至右求值，其他运算符的操作数求值顺序未定义。比如y[i] = x[i++]结果是未定义的。
• 3.9 如何检测a+b是否溢出？
  • if(a+b < 0)是不正确的，因为溢出时的行为是未定义的。正确的方法是将两者转换为unsigned型与INT_MAX比较
  • 更巧妙的方法：if(a > INT_MAX - b)

第四章 连接

• 4.2 int a若出现在所有函数体之外，则完成了声明与定义（分配存储空间）。而extern int a;只是声明，说明a的存储空间是在其他地方分配的，不是定义；因此必须在别的某个地方定义，同一个或不同的源文件均可。
• 4.3 static修饰符可以将一个函数或变量的作用域限制在一个源文件之内，不会与其他文件中的同名量发生冲突
• 4.5 声明与定义必须严格相同，而数组和指针是不同的。
• 4.6 如何避免声明与定义不符？遵守“每个外部对象只在一个地方声明”的规则即可。一般放在头文件中，所有用到此外部对象的源文件都要包括此头文件，定义此对象的文件也应该包括此头文件。

第五章 库函数

• 5.1 getchar()返回整数，不能把返回值赋值给char型变量再与EOF比较，因为EOF定义为-1，应该赋值给int型变量。
• 5.2 如果要对文件进行连续的read和write操作，则中间必须插入fseek函数调用。
• 5.3 setbuf(stdout, buf);可以强制将buf指向的char数组设为缓冲区，改变输出缓存大小。
• 5.3 书中使用缓冲区把stdin的内容复制到stdout的程序是错误的，因为缓冲区内容的写出直到缓冲区满或调用fflush才开始完成。可以把buf声明为静态的或者malloc在堆中，防止main函数结束后buf清空。
• 5..1 一个程序异常终止时，程序输出的最后一部分常常丢失，可以使用setbuf指向一个空指针作为缓冲区
• 5..2 putchar/getchar在stdio.h中使用宏实现，如果没有包括stdio.h，很大可能仍能运行，但是使用相应的函数代替，速度降低。

第六章 预处理器

• 6 宏只是对文本处理，是一个表达式，不是函数或语句
• 6.1 宏定义最好把每个参数和整个表达式使用括号括起来防止出错。
• 6.2 如果一个操作数在两个地方用到，将被求值两次。解决方案：操作数应该没有副作用；将宏实现为函数。
• 6.2 宏可能产生非常庞大的表达式。
• 6.3 宏的分号的使用很麻烦，assert的一种正确实现：#define assert(e) ((void)((e)||_assert_error(__FILE__,__LINE__)))
• 6.4 typedef struct foo FOOTYPE是类型定义语句，定义了一个新的类型。

第七章 可移植性缺陷

• 7.4 编译器实现可能将字符当作有符号或无符号的。char转换为int时结果未定义，可以使用unsigned char避免。
• 7.4 将字符变量转换为无符号整数时应该使用(unsigned char)c而不是(unsigned)c，后者将c转换为int再转换为unsigned int。
• 7.5 除法运算速度大大慢于移位。
• 7.7 整数除法运算时，仅规定商 x 除数 + 余数 == 被除数，大多数实现在负数的除法时，只保证余数与被除数正负号相同，商与被除数的符号无关。应尽量使n为无符号数。
• 7.9 toupper/tolower函数均采用int型参数，实现时要检查输入是否符合要求，采用置位实现非常快速。
• 7.11 要求一个按位输出long型数字。需要考虑：不能对-n求值，可能溢出（边界条件），应该把n转换为负的再处理；余数的符号未知，应做归一化处理。
• 7..2 atoi函数把字符串转换为long型整数，应该按照负数来处理以避免溢出。