C陷阱与缺陷
C陷阱与缺陷
第一章 词法“陷阱”
符号（token）：指的是程序的一个基本组成单元，起作用相当于一个句子中的单词
=不同于==
&和|不同于&&和||
词法分析中的“贪心法”
C语言规则：每个符号应该包含尽可能多的字符
整型常量
整形常量的第一个字符是数字0，那么这个常量将被视作八进制数
字符和字符串
用单引号引起的一个字符实际上代表一个整数，整数值对应于该字符在编译器采用的字符集中的序列值。
用双引号引起的字符串，代表的却是一个指向无名数组起始字符的指针。
第二章 词法“陷阱”
理解函数声明
构造表达式的规则：按照使用的方式来声明。
硬件调用首地址为0位置的子例程
(*(void(*)())0)();
第一步，0为地址，对0地址取内容：
(*0)()
第二步，*必须要一个指针来做操作数，这个指针还应该是函数指针，因此对0作类型转换，
转换后类型为：“指向返回值为void类型的函数的指针：
void (*)()0
从而得到：
(*(void(*)())0)();
若用typedef解决
typedef void (*funcptr)();
(*(funcptr)0)();
运算符的优先级
| 运算符 | 结合性 |
|---|---|
| () [] -> . | 自左向右 |
| ! ~ ++ -- - (type) * & sizeof | 自右向左 |
| * / % | 自左向右 |
| + - | 自左向右 |
| << >> | 自左向右 |
| < <= > >= | 自左向右 |
| == != | 自左向右 |
| & | 自左向右 |
| ^ | 自左向右 |
| && | 自左向右 |
| ?: | 自右向左 |
| assignnments | 自右向左 |
| , | 自左向右 |
-
任何一个逻辑运算符的优先级低于任何一个关系运算符
-
移位运算符的优先级比算术运算符要低，但是比关系运算符要高
注意作为语句结束标志的分号
if(...);
xx = xx;
switch语句
break别遗漏
函数调用
“悬挂”else引发的问题
else始终与同一对括号内最近的未匹配的if结合
第三章 语义“陷阱”
指针和数组
-
C语言只有一维数组，而且数组的大小必须在编译期就作为一个常数确定下来。
-
对于数组，我们能：确定数组的大小，获得只想数组下标为0的元素的指针
-
其他的数组操作，看上去是以数组下标进行的，实际是指针进行的
非数组的指针
在C中，字符串常量代表了一块包括字符串中所有字符以及一个空字符（`\0`)的内存区域的地址。
作为参数的数组声明
避免“举隅法”
空指针并非空字符串
#define NULL 0
绝不能被解除引用
边界计算与不对称边界
求值顺序
运算符&&、||和！
整数溢出
如果算术运算符的一个操作数是有符号数，另一个是无符号数，那么有符号数会被转换为无符号数，”溢出“也不可能发生。但是，当两个操作数都是有符号数时，”溢出“就有可能发生。
为函数main提供返回值
第四章 连接
一个c程序由多个分别编译的部分组成，这些部分通过一个叫做连接器的程序合并成一个整体。
什么是连接器
分别编译->整合
连接器的输入是一组目标模块和库文件，输出是一个载入模块
声明和定义
extern
命名冲突与static修饰符
不同源文件之间相同的变量和源文件与库文件之间的命名冲突
static是一个能够减少命名冲突的有用工具
形参、实参和返回值
检查外部类型
两个不同源文件中的同名定义，类型不同时
头文件
规则：每个外部对象只在一个地方声明
第五章 库函数
返回整数的getchar函数
getchar函数在一般情况下返回的是标准输入文件中的下一个字符，当没有输入时返回EOF（一个在头文件stdio.h中定义的值，不同于任何一个字符）
更新顺序文件
FILE *fp;
fp = fopen(file, "r+");
如果同时要进行输入和输出操作，必须在其中插入fseek函数调用。
缓冲输出和内存分配
程序输出有两种方式：一种是即时处理方式，另一种是先暂存起来，然后再大块写入的方式。
控制写操作产生的数据输出量通过库函数setbuf实现
setbuf(stdout, buf);
所有写入到stdout的输出都应该使用buf作为输出缓冲区，直到buf缓冲区被填满或者调用fflush，buf缓冲区的内容才实际写入到stdout中。缓冲区大小由系统头文件<stdio.h>中的BUFSIZ定义
使用errno检测错误
很多库函数，当执行失败时会通知一个名称为errno的外部变量，通知程序该函数调用失败。
当调用库函数时，应该先检测作为错误提示的返回值，确定程序执行已经失败，然后再检查errno来搞清楚出错原因。
/*调用库函数*/
if (返回的错误值)
检查 errno
库函数signal
signal库函数作为捕获异步事件的一种方式
#include
signal(signal type, handler function);//处理一个特定的信号，参数信号类型，事件处理函数
signal处理函数能做的安全的事情似乎只有设置一个标置然后返回，期待主程序能够检查这个标志，发现一个信号已经发生。
对于算术运算错误，signal处理函数的唯一安全、可移植的操作就是打印一个出错消息，然后使用longjmp或exit立即退出程序
让signal处理函数尽可能地简单，并将它们组织在一起
第六章 预处理器
预处理器的重要性：
-
将某个特定数量在程序中出现的所有实例统统加以修改
-
函数调用会带来重大的系统开销
宏只是对程序的文本起作用
不能忽视宏定义中的空格
预处理器从宏定义中就可以知道宏调用时是否需要参数
宏不是函数
最好在宏定义中把每个参数都用括号括起来
确保宏中的参数没有副作用
宏并不是语句
assert宏，参数是一个表达式，如果为0，就使程序终止执行，并给出一条适当的出错信息。_FILE_和_LINE_是内建于C语言预处理器中的宏，会被扩展为所在文件的文件名和所处代码行的行号。
#define assert(e) ((void)((e)||_assert_error(__FILE__, __LINE__)))
||运算符对两侧的操作数依次顺序求值
宏并不是类型定义
宏的常见用途，使多个不同变量的类型可在一个地方说明
第七章 可移植性缺陷
应对C语言标准变更
函数声明的方式在不同标准中的移植性
标识符名称的限制
有些C语言不区分大写字母和小写字母
整数的大小
short int long
-
3种类型的整数其长度是非递减的
short型整数容纳的值肯定能够被int型整数容纳，int型整数容纳的值也肯定能够被long型整数容纳。
-
一个普通（int类型）整数足够大以容纳任何数组下标
-
字符长度由硬件特性决定
字符是有符号整数还是无符号整数
unsigned char
移位运算符
有符号整数的向右移位运算也不等同于除以2的某次幂。
内存位置0
null指针并不指向任何对象
除法运算时发生的截断
保证非负
C语言只保证性质1
随机数的大小
RAND_MAX，rand函数的取值范围
大小写转换
函数的方法，时间会长一点
宏定义的方法，不能保证传入的参数正确
首先释放，然后重新分配
不推荐
