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类型。
为什么在标