为何 #define ISUNSIGNED(a) (a>=0 && ~a>=0) 有问题(判断是否有符号)

克拉玛依

这里似乎分成 理论派 和 实践派 了
hellioncu 发表于 2010-06-14 13:24

    我晕，什么是理论？什么是实践？

glq2000

回复 30# churchmice

恩 我也试了下 unsigned short 以及 unsigned char型的变量， (a>=0 && ~a>=0) 果然无法判断他们，原因正如你所说，他们被提升为int了。 多谢

那对于这个问题，大家有没有针对ANSI c的解决方案呢？ 不一定要用宏，只要解决问题即可

没本

1. 
   
2. #include <stdio.h>
   
3. 
   
4. const int issn_shift[9] = { 0, 7, 15, 0, 31, 0, 0, 0, 63 };
   
5. 
   
6. int main()
   
7. {
   
8. #define ISSN(x) ( x<0? 1: \
   
9.                 (x^=(1<<issn_shift[sizeof(x)]))<0? \
   
10.                         (x^=(1<<issn_shift[sizeof(x)]),1) : \
    
11.                         (x^=(1<<issn_shift[sizeof(x)]),0) )
    
12.         int i;
    
13.         unsigned int j;
    
14.         short ss;
    
15.         unsigned short us;
    
16.         char sc;
    
17.         unsigned char uc;
    
18. 
    
19.         for( i=0; (unsigned int) i != 0xffffffff; (unsigned int) i++ )
    
20.         {
    
21.                 if(! ISSN(i) )
    
22.                 {
    
23.                         printf("int error %d\n",i);
    
24.                         return -1;
    
25.                 }
    
26.         }
    
27.         for( j=0; j != 0xffffffff; j++ )
    
28.         {
    
29.                 if( ISSN(j) )
    
30.                 {
    
31.                         printf("unsigned int error %u\n",j);
    
32.                         return -1;
    
33.                 }
    
34.         }
    
35.         for( ss=0; (unsigned short) ss != 0xffff; (unsigned short) ss++ )
    
36.         {
    
37.                 if(! ISSN(ss) )
    
38.                 {
    
39.                         printf("short error %d\n",ss);
    
40.                         return -1;
    
41.                 }
    
42.         }
    
43.         for( us=0; us != 0xffff; us++ )
    
44.         {
    
45.                 if( ISSN(us) )
    
46.                 {
    
47.                         printf("unsigned short error %u\n",us);
    
48.                         return -1;
    
49.                 }
    
50.         }
    
51.         for( sc=0; (unsigned char) sc != 0xff; (unsigned char) sc++ )
    
52.         {
    
53.                 if(! ISSN(sc) )
    
54.                 {
    
55.                         printf("char error %d\n",sc);
    
56.                         return -1;
    
57.                 }
    
58.         }
    
59.         for( uc=0; uc != 0xff; uc++ )
    
60.         {
    
61.                 if( ISSN(uc) )
    
62.                 {
    
63.                         printf("unsigned char error %u\n",uc);
    
64.                         return -1;
    
65.                 }
    
66.         }
    
67.         return 0;
    
68. }
    

复制代码

没本

1. 
   
2. #define ISSN(x) ( x<0? 1: \
   
3.                 (x^=(1<<issn_shift[sizeof(x)]))<0? \
   
4.                         (x^=(1<<issn_shift[sizeof(x)]),1) : \
   
5.                         (x^=(1<<issn_shift[sizeof(x)]),0) )
   

复制代码

不能优化成

1. 
   
2. #define ISSN(x) ( x<0? 1: \
   
3.                 (x^(1<<issn_shift[sizeof(x)]))<0? 1 : 0 )
   

复制代码

会报short error 0。应该用x本身进行比较。

prolj

wuliao

蓝色神话

讨论的有深度。

cui_y_x

解决：
#define ISUNSIGNED(a) ( (a < 0) ? 0 : (a = ~a) >= 0 ? \
         (a = ~a, 1) : (a = ~a, 0) )

原因解析：

K&R C所采用无符号保留(unsigned preserving)原则，就是当一个无符号类型与int或更小的整型混合使用时，结果类型是无符号类型。这是个简单的规则，与硬件无关。但是，正如下面的例子所展示的那样，它有时会使一个负数丢失符号位。
ANSI C标准则采用值保留(value preserving)原则，就是当把几个整型操作数像下面这样混合使用时，结果类型有可能是有符号数，也可能是无符号数，取决于操作数的类型的相对大小。
下面的程序段分别在ANSI C和K&R C编译器中运行时，将打印出不同的信息：
main(){
  if(-1 < (unsigned char)1
     printf("-1 is less than (unsigned char)1: ANSI semantics ");
  else
     printf("-1 NOT less than (unsigned char)1: K&R semantics");
}
程序中的表达式在两种编译器下编译的结果不同。－1的位模式是一样的，但一个编译器(ANSI C)将它解释为负数，另一个编译器(K&R C)却将它解释为无符号数，也就是变成了正数。