1
机器不同则其上的C语言实现也由细微差别。ANSI C标准的发布能够在一定程度上解决问题,但并不是万验灵药。
2
即使我们合理地假设C编译器销售商会逐渐向ANSI C标准靠拢,很显然所有的C语言用户并不会马上升级它们的编译器。新的编译器所费不菲,而且安装也很费时费力。只要编译器还能工作,为什么要替换它们呢?
这种语言标准的更新使得C程序的编写者面临一个两难境地:程序中是否该用到新的特性呢?如果使用它们,程序无疑更加容易编写,而且不大容易出错,但是那样做也有代价,那就是这些程序在较早的编译器上将无法工作。
这就是移植性与新特性的矛盾。有关移植性的决策折磨着一个程序是否应该使用某个新的或特定的语言特性。使用该特性也许能给编程带来巨大的方便,但代价却是使程序失去一部分潜在用户。
3
整数的大小
short <= int <= long
ANSI标准要求long型整数的长度至少应该是32位,而short和int型整数的长度至少应该是16位。
4
字符是有符号还是无符号整数?
现代大多数计算机都支持8位字符,因此大多数现代C编译器都把字符实现为8位整数。
只有我们需要把一个字符值转换为一个较大的整数时,这个问题才变得重要起来。编译器在转换char类型到int类型时,需要做出选择:应该将字符作为有符号数还是应该无符号数处理?
如果是前一种情况,编译器在将char类型的数扩展到int类型时,应该同时复制符号位;而如果是后一种情况,编译器只需要在多余的位上直接填充0即可。
5
移位运算符
- 在向右移位时,空出的位是由0填充,还是由符号位的副本填充?
- 移位计数时允许的取值范围是什么?
如int型n是32位,那么n<<31和n<<0都是合法的。
6
内存地址0
有些C实现对内存位置0强加了硬件级的读保护,在其上工作的程序如果错误使用了一个NULL指针,将立即终止执行。
其他一些C语言实现对内存位置0只允许读,不允许写。在这种情况下,一个NULL指针似乎指向的是某个字符串,但其内容通常不过是一堆“垃圾信息”。
7
除法运算时发生的截断
假定让a除以b,商为q,余数r:
q = a / b;
r = a % b;
四个数之间的关系:
- 最重要的一点,我们希望
q*b+r == a
- 如果改变a的正负号,我们希望这会改变q的符号,但这不会改变q的绝对值。
- 当b>0时,我们希望保证
r>=0
且r<b
。例如余数用于哈希表的索引,确保它是一个有效的索引值很重要。
但第二条第三条是矛盾的。因此,C语言或者其他语言在实现整数除法截断运算时,必须放弃上述三条原则中的至少一条。大多数程序设计语言选择放弃第三条,而改为要求余数与被除数的正负号相同。