C标准库函数abs的一个错误
0x80000000，即–2147483648时,对它取负会产生上溢
VC.NET 7.1 提供的取绝对值函数(abs.c中)如下：
int __cdecl abs ( int number)
{
return( number>=0 ? number : -number );
}
此函数实现得非常简单，乍看之下无任何毛病，可是仔细琢磨琢磨，就发现了一个大漏洞。举个极端的例子，当函数参数为INT_MIN(32位的int此值为0x80000000，即–2147483648)时,对它取负会产生上溢，因为32位的int能表示的最大正数是INT_MAX(0x7fffffff，即2147483647)。实际上，对INT_MIN取负等于什么也没有干(0x80000000按照补码取负规则还是0x80000000)。因为函数声明的返回值也是int，所以大多数时候程序员会用某个int变量来接收这个返回值，但是如上所述的极端情况则几乎百分百地导致程序混乱。
简单的解决办法就是总是用unsigned int类型的变量来接收返回值。因为32位的unsigned int的值域范围是0到4294967295(0xffffffff),2147483648落在这个范围内，所以用unsigned int变量可以正确地表达INT_MIN的绝对值。如果觉得这种做法容易忘记，还可以自己写一个abs，只需在上述函数体的前面加一句assert(number > INT_MIN)就行了，或者将返回值改成unsigned int类型。
为什么在标准库中会出现这么隐蔽的漏洞呢？因为计算机的存储空间有限，所以C中的每种类型所占字节数也须是有限大小，这样程序语言中的类型真正能表示的值域就是对应数学类型值域的有限子集了。这就是现实与理想的差距。不仅如此，因为有符号类型比无符号类型多拨出一个二进制位来表示符号信息，则它们能表示的值域又有所差异。但是程序员写程序却往往有意或无意地忽略这种差别，不愿面对现实(正如有的程序员调用函数从不检查返回值)。他们使用程序中的类型就象在使用理想的数学上的类型一样。欧洲阿里亚纳火箭爆炸就是此种错误给我们的最惨痛教训。
既然如此，每一个C程序员都有责任牢记这么一条规则:“经常反问：这个变量或表达式会上溢或下溢吗？”(《编程精粹－Microsoft编写优质无错C程序秘诀》P80,Steve Maguire 著)。
例子:
#include <stdio.h>
int MyAbs(int number)
{
return(number>=0 ? number :(-number));
}
void main()
{
int number = 0x80000000;
int absnumber = MyAbs(number);
if(absnumber<0)
pri
相关文档：
C宏实例
摘自Linux内核2.6.21.5源码(部分)，展示了链表的另一种实现思路
未采用ANSI C标准，采用GNU C标准，遵从GPL版权许可。
struct list_head {
struct list_head *next, *prev;
};
#define LIST_HEAD_INIT(name) { &(name), &(name) }
#define LIST_HEAD(name) \
struct list_ ......
以下分析基于：
Developer Platform :S60 3rd Edition, Feature Pack 2 SDK
Operating System :Symbian OS v9.3
一，为什么要使用Client/Server架构
在Symibian OS中所有的异步服务都是Server通过C/S架构来实现的。Client是利用Server提供的特定服务的程序，Server接受来至Client的请求消息并同步或异步的处理他们。C ......
上次总结了C++（面向对象）设计的核心思想，并且例举了使用类模型来替代if和switch的一种较为典型的情况。下面想来谈谈C++在编码方面的特点。
在很多经典的C++教程中都有一个建议：应尽量使用户代码（库的使用者）看起来短小而简单。按照常识，简单的代码通常要比大段的代码好理解，而用户代码通常实现的是最上层的功能或� ......
