kingofark's Ineffective C/C++:自白2:有符号、无符号还有位运算,我的天!

原创 2002年09月24日 09:30:00

Ineffective C/C++ : The Confession of A Novice
《Ineffective C/C++ :一个低手的自白》

by K ][ N G of @ R K

[声明:kingofark并非高手,在论述中所举的例子未必就可取,也未必就是很好的做法。所有例子仅仅是为了说明某些问题,并不具有代表性。kingofark自知才浅,欢迎大家提出批评,指出错误。]

Item 2: Signed and Unsigned and Bit Operation, oh my!
自白2:有符号、无符号还有位运算,我的天!


[问题]:这个函数有什么问题吗?

/////////////////////////////////////////////////
/**
 * 本函数将两个16比特位的值连结成为一个32比特位的值。
 * 参数:sHighBits 高16位
 *       sLowBits  低16位
 * 返回:32位值
 **/
long CatenateBits16(short sHighBits, short sLowBits)
{
    long lResult = 0; /* 32位值的临时变量*/
   
    /* 将第一个16位值放入32位值的高16位 */
    lResult = sHighBits;
    lResult <<= 16;
   
    /* 清除32位值的低16位 */
    lResult &= 0xFFFF0000;
   
    /* 将第二个16位值放入32位值的低16位 */
    lResult |= (long)sLowBits;
   
    return lResult;
}
/////////////////////////////////////////////////


[问题的发现]:

我们先看如下测试代码:

/////////////////////////////////////////////////
int main()
{
    short           sHighBits1  = 0x7fff;
    short           sHighBits2  = 0x8f12;
    unsigned short  usHighBits3 = 0xff12;
    short           sLowBits1   = 0x7bcd;   
    long            lResult  = 0;
   
    printf("[sHighBits1 + sLowBits1]/n");
   
    lResult = CatenateBits16(sHighBits1, sLowBits1);
    printf("lResult = %08x/n", lResult, lResult);
    
    lResult = CatenateBits16(sHighBits2, sLowBits1);
    printf("lResult = %08x/n", lResult, lResult);
   
    lResult = CatenateBits16(usHighBits3, sLowBits1);
    printf("lResult = %08x/n", lResult, lResult);  
}
/////////////////////////////////////////////////

运行结果为:

[sHighBits1 + sLowBits1]
lResult = 7fff7bcd
lResult = 8f127bcd
lResult = ff127bcd

嗯,运行很正确嘛……于是我们就放心的在自己的程序中使用起这个函数来了。

可是忽然有一天,我们的一个程序无论如何结果都不对!经过n个小时的检查和调试,最后终于追踪到……CatenateBits16() !?它的返回值居然是错的!!

“郁闷!”你说,“这个函数怎么会有问题呢!?”

可是,更郁闷的还在后头呢,因为你把程序中的输入量作为参数,在一个简单的main()里面单步调试:

/////////////////////////////////////////////////
int main()
{
    short           sHighBits1  = 0x7FFF;
    short           sHighBits2  = 0x8F12;
    unsigned short  usHighBits3 = 0x8F12;
   
    short           sLowBits1  = 0x7BCD; //你实际使用的参数
    short           sLowBits2  = 0x8BCD; //你实际使用的参数
   
    long            lResult  = 0;
   
    printf("[sHighBits1 + sLowBits1]/n");
   
    lResult = CatenateBits16(sHighBits1, sLowBits1);
    printf("lResult = %08x/n", lResult, lResult);
    
    lResult = CatenateBits16(sHighBits2, sLowBits1);
    printf("lResult = %08x/n", lResult, lResult);
   
    lResult = CatenateBits16(usHighBits3, sLowBits1);
    printf("lResult = %08x/n", lResult, lResult);  
   
    printf("/n[sHighBits1 + sLowBits2]/n");
   
    lResult = CatenateBits16(sHighBits1, sLowBits2);
    printf("lResult = %08x/n", lResult, lResult);
    
    lResult = CatenateBits16(sHighBits2, sLowBits2);
    printf("lResult = %08x/n", lResult, lResult);
   
    lResult = CatenateBits16(usHighBits3, sLowBits2);
    printf("lResult = %08x/n", lResult, lResult);
   
    return 0;
}
/////////////////////////////////////////////////

发现结果竟然是:

[sHighBits1 + sLowBits1]
lResult = 7fff7bcd
lResult = 8f127bcd
lResult = 8f127bcd

[sHighBits1 + sLowBits2]
lResult = ffff8bcd          //oops!
lResult = ffff8bcd          //oops!
lResult = ffff8bcd          //oops!

前一次还好好的,后一次就ffff了?X档案?


[X档案的真相]:

注意那两个我们用来当作低16位值的sLowBits1和sLowBits2。

已知:
使用 sLowBits1 = 0x7bcd 时,函数返回正确的值;
使用 sLowBits2 = 0x8bcd 时,函数中发生X档案。

那么,sLowBits1与sLowBits2有什么区别?

注意了,sLowBits1和sLowBits2都是short型(而不是unsigned short),所以在这里,sLowBits1代表一个正数值,而sLowBits2却代表了一个负数值(因为8即是二进制1000,sLowBits2最高位是1)。

再看CatenateBits16()函数:

/////////////////////////////////////////////////
long CatenateBits16(short sHighBits, short sLowBits)
{
    long lResult = 0; /* 32位值的临时变量*/
   
    /* 将第一个16位值放入32位值的高16位 */
    lResult = sHighBits;
    lResult <<= 16;
   
    /* 清除32位值的低16位 */
    lResult &= 0xFFFF0000;
   
    /* 将第二个16位值放入32位值的低16位 */
    lResult |= (long)sLowBits;     //注意这一句!!!!
   
    return lResult;
}
/////////////////////////////////////////////////

如果我们在函数中用

printf("sLowBits = %04x/n", sLowBits);

打印传入的sLowBits值,会发现

sLowBits = 0x7bcd 时,打印结果为

sLowBits = 7bcd

而sLowBits = 0x8bcd时,打印结果为

sLowBits = ffff8bcd

是的,即使用%04x也打印出8位十六进制。

因此,我们看出来了:

当sLowBits = 0x8bcd时,函数中 "lResult |= (long)sLowBits;" 这一句执行,会先将sLowBits转换为

0xffff8bcd

再与lResult做或运算。由于现在lResult的值为 0xXXXX0000 (其中XXXX是任何值),所以显然,无论sHighBits是什么值,最后结果都会是

0xffff8bcd

而当sLowBits = 0x7bcd时,函数中 "lResult |= (long)sLowBits;" 这一句执行,会先将sLowBits转换为

0x00007bcd

再与lResult做或运算。这样做或运算出来的结果当然就是对的。

也就是说,CatenateBits16()在sLowBits的最高位为0的时候表现正常,而在最高位为1的时候出现偏差。

[教训:在某些情况下作位运算和位处理的时候,考虑使用无符号数值——因为这个时候往往不需要处理符号。即使你需要的有符号的数值,那么也应该考虑自行在调用CatenateBits16()前后做转换——毕竟在位处理中,有符号数值相当诡异!]

下面这个CatenateBits16()版本应该会好一些:

/////////////////////////////////////////////////
unsigned long CatenateBits16(unsigned short sHighBits, unsigned short sLowBits)
{
    long lResult = 0;
   
    /* 将第一个16位值放入32位值的高16位 */
    lResult = sHighBits;
    lResult <<= 16;
   
    /* 清除32位值的低16位 */
    lResult &= 0xFFFF0000;
   
    /* 将第二个16位值放入32位值的低16位 */
    lResult |= (long)sLowBits & 0x0000FFFF;
   
    return lResult;
}
/////////////////////////////////////////////////

注意其中的 "lResult |= (long)sLowBits & 0x0000FFFF;"。事实上,现在即使我们把CatenateBits16()函数的参数(特别是sLowBits)声明为short,结果也会是对的。


[kingofark的收获]:

如果有一天你把一只兔子扔给一只老虎,老虎把兔子吃了,第二天把一只老鼠扔给它,它又吃了,那么说明第一天你看错了:它本来就是一只猫。

C/C++中的有符号和无符号的位运算问题

是对C/C++下面的结果感到困惑? printf("%d\n", ((unsigned char)~0 >> 1)); //结果为127 printf("%d\n", -((unsigned ch...
  • havesnag
  • havesnag
  • 2016年08月12日 13:45
  • 1610

c语言之无符号/有符号数加减法运算

c语言之无符号/有符号数加减法运算 转自:http://www.360doc.com/content/12/1129/15/1317564_250977880.shtml 1.加减运算指令是不...
  • xlhcgd
  • xlhcgd
  • 2015年08月28日 17:09
  • 4530

C语言系列(二)有符号数和无符号数详解

1、你自已决定是否需要有正负:就像我们必须决定某个量使用整数还是实数,使用多大的范围数一样,我们必须自已决定某个量是否需要正负。如果这个量不会有负值,那么我们可以定它为带正负的类型。在计算机中,可以区...
  • u011974987
  • u011974987
  • 2016年08月07日 15:39
  • 6313

C/C++中的有符号和无符号的位运算问题

是对C/C++下面的结果感到困惑? printf("%d\n", ((unsigned char)~0 >> 1)); //结果为127 printf("%d\n", -((unsigned ch...
  • billioncloud
  • billioncloud
  • 2016年08月11日 09:22
  • 237

关于java中位运算的左移、右移、无符号右移

今天学到了java中的位运算,和C语言还是有所不同的: >>:右移运算符,num>>1,相当于num*2; >>>:无符号右移,忽略符号位,空位以0补齐。 位运算的一些规则: 1.byte、sh...
  • rockpk008
  • rockpk008
  • 2015年12月23日 00:19
  • 5259

[算法]用位运算的方法实现无符号整数的除法原理及程序

相信知道除法的作用的人都知道除法怎么来计算吧,不过计算机计算除法的方法可能优点浪费资源了以下是使用位计算转换除法的过程,相信知道游戏编程的朋友对这个应该不陌生吧原理:假如要实现A/B,B如果是2的整数...
  • yctccg
  • yctccg
  • 2016年08月16日 10:38
  • 887

64位数据(无符号)的运算

  • 2013年09月23日 11:49
  • 2KB
  • 下载

C++14的整数字面值(10进制、8进制、2进制数,有无符号,类型的声明)

字面常量表示我们直接写出来的常量值,所见即所得,不具有名称,是纯粹的右值(prvalue)。C++14的标准在C++11的标准上增加了两个让人有那么点小兴奋的特性:1.二进制数定义,2.数位分隔。这两...
  • JiLuoXingRen
  • JiLuoXingRen
  • 2017年12月12日 20:21
  • 51

C语言编一个程序完成64位数据(无符号)的加法,减法运算

  • 2013年11月27日 14:18
  • 3KB
  • 下载

字符串-16互转,字符串-2互转,浮点数-16互转,无符号互转

  • 2017年08月10日 09:01
  • 3KB
  • 下载
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:kingofark's Ineffective C/C++:自白2:有符号、无符号还有位运算,我的天!
举报原因:
原因补充:

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