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
相关文档：
Boss说，要看OpenGL，看了快一个月，总算出了个像样的东西，用C写了个3D迷宫，
虽然只有350行
代码，不过边学边写，足足写了一周时间，还是小有成就感的，活活活！
&n ......
http://www.ibm.com/developerworks/cn/aix/library/au-toughgame/index.html
英文原文
引言
对于任何使用 C 语言的人，如果问他们 C 语言的最大烦恼是什么，其中许多人可能会回答说是指针和内存泄漏
。这些的确是消耗了开发人员大多数调试时间的事项。指针和内存泄漏对某些开发人员来说似乎令人畏惧，但是一旦您了� ......
对技术执着的人，比如说我，往往对一些问题，不仅想做到“知其然”，还想做到“知其所以然”。Ｃ语言可谓博大精深，即使我已经有多年的开发经验，可还是有许多问题不知其所以然。某天某地某人问我，Ｃ语言中函数参数的入栈顺序如何？从右至左，我随口回答。为什么是从右至左呢？我终究没有给出合理的解 ......
