C标准库函数abs的一个错误

原创 2004年10月26日 18:00:00

    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 著)。

    补充(于2005年3月22日): ANSI C标准规定了每种整数类型的最小值域(但没有规定它们必须采用哪种编码方案),并要求所有的C语言实现都要在limits.h头文件中通过诸如INT_MIN、INT_MAX这样的宏来指定该实现中整型数据的实际值域,而且这些实际的值域一定不能比标准规定的最小值域还要小(也即要求每种实现在limits.h中定义的宏的绝对值不小于C标准规定的同名宏的绝对值,并且正负号要保持一致)。标准定义的INT_MIN是-(2^15 - 1),INT_MAX是(2^15 - 1),换句话说,标准保证了int型数据至少能表示-(2^15 - 1)到(2^15 - 1)这样一个对称区间内的所有整数,因此程序员可以放心大胆地用int变量存储以上范围内的任何整数。但与此同时请特别注意,用int变量表达超出上述范围的数将是一件没有法律(标准即是程序员的法律)保障的事情,所以不应该想当然地认为-32768(即-2^15)一定可以用int型来表达,尽管它确实位于用二次补码记法(twos-complement notation)进行编码的16位整数的值域内。熟悉以上背景后再回顾abs函数的问题就会发现,实际上该函数对于标准规定范最小值域内的所有整数都能正常工作,而上面提到的引起错误的输入数据已经不在此范围内了,所以此错误不应由abs而应由函数调用者负责。由此可见,为了安全以及可移植性,将表达式欲表示的值严格限制在标准指定的最小值域内是一个良好的编程习惯。

SQL函数大总结 ABS(x) 函数,此函数用来返回一个数的绝对值

  • 2011年07月15日 17:17
  • 78KB
  • 下载

abs fabs fabsf用法

int abs(int i);                   // 处理int类型的取绝对值 double fabs(double i); //处理double类型的取绝对值 float f...
  • yexiaozi_007
  • yexiaozi_007
  • 2012年09月13日 09:25
  • 18251

C标准库函数abs的一个错误

    VC.NET 7.1 提供的取绝对值函数(abs.c中)如下:    int __cdecl abs (        int number        )    {        retu...
  • soloist
  • soloist
  • 2004年10月26日 18:00
  • 6546

c语言中的abs

函数名: abs 功 能: 求整数的绝对值 头文件:stdlib.h 函数原型:int abs(int i); 程序例: #include #include int main(v...
  • zhu1534120216
  • zhu1534120216
  • 2016年07月16日 09:39
  • 3499

C语言中abs(int varname)和fabs(double varname)的区别

cited from:http://hi.baidu.com/onlymeteor/item/9ef60791efc09ff12916479a abs和fabs,abs是整数取绝对值,而fabs...
  • u011346442
  • u011346442
  • 2014年03月30日 22:47
  • 1549

Pyhton: abs() 函数

abs(i) 输入i:正数、负数、长整形、浮点数 abs(-1.2) #返回 1.2 abs(1.2) #返回 1.2 abs(-11216.5) #返回 11216.5 ...
  • chixujohnny
  • chixujohnny
  • 2016年03月26日 14:49
  • 457

iOS 中用到 fabsf fabs abs函数的作用

if (sender.state==UIGestureRecognizerStateEnded) { endPoint =[sender translationInView:_webV...
  • ws1352864983
  • ws1352864983
  • 2017年05月26日 16:28
  • 383

abs ( )【C语言库函数源代码】

【C语言库函数源代码】【本程序在Dev C++ 4.9.9.2 下编译通过】int my_abs(int number){   return (number>= 0 ? number : -numbe...
  • ammana_babi
  • ammana_babi
  • 2006年12月05日 11:39
  • 3794

求绝对值函数abs()到底应该包含哪个头文件

C/C++语言的标准库里包含求绝对值的函数abs(),可是它到底是在哪个头文件里面声明的呢? C语言中, 求整数的绝对值abs()和labs()应该包含stdlib.h 求浮点数的绝对值fabs(...
  • booksyhay
  • booksyhay
  • 2013年09月29日 15:30
  • 10308

matlab中abs()函数

1.abs函数:数值的绝对值和复数的幅值 2.基本用法:abs(x)函数是对数组元素进行绝对值处理的函数。                        函数的定义域包括复数。   ...
  • zr_1877
  • zr_1877
  • 2018年01月10日 21:44
  • 99
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:C标准库函数abs的一个错误
举报原因:
原因补充:

(最多只允许输入30个字)