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

群雄逐鹿中原

都是宽于律己，何不自己先用标准解答呢?

没本

1. 
   
2. #include <stdio.h>
   
3. 
   
4. int main()
   
5. {
   
6. #define ISSN(x) ( x-x-1<0 ? 1:0 )
   
7.         int i;
   
8.         unsigned int j;
   
9.         for( i=0; (unsigned int) i != 0xffffffff; (unsigned int) i++ )
   
10.         {
    
11.                 if(! ISSN(i) )
    
12.                 {
    
13.                 puts("i error\n");
    
14.                 return -1;
    
15.                 }
    
16.         }
    
17.         for( j=0; j != 0xffffffff; j++ )
    
18.         {
    
19.                 if( ISSN(j) )
    
20.                 {
    
21.                         puts("j error\n");
    
22.                         return -1;
    
23.                 }
    
24.         }
    
25.         puts("All ok!\n");
    
26.         return 0;
    
27. }
    
28. /*
    
29. $ time ./issn
    
30. All ok!
    
31. 
    
32. real    0m26.004s
    
33. user    0m25.972s
    
34. sys     0m0.014s
    
35. $
    
36. */
    

复制代码

群雄逐鹿中原

楼上错的, 换成 signed/unsigned char 试试

glq2000

笨死了, 居然试验了半天

#define ISUNSIGNED(t) \
((t) > 0 && (sizeof(t) != sizeof(~(t)) || (~t) >  ...
群雄逐鹿中原 发表于 2010-06-13 23:41

   
这个有点问题吧

当
    unsigned t = 0;
   按上式判断就是假了。

glq2000

求个反例，为何
#define ISUNSIGNED(a) (a>=0 && ~a>=0) 在 ansi c里不行，我用gcc试了好多例子了，都可以正常判断出来是unsigned的还是signed的。。。。。，gcc的版本也比较新。

ah13k

。。。。。。。保持形象。

hellioncu

这里似乎分成 理论派 和 实践派 了

churchmice

回复 1# glq2000
char和short都有Integer promotion,都会被promote成int,所以是无法判断unsigned short,unsigned char的符号性的，看下面的代码就明白了

Integer types smaller than int are promoted when an operation is performed on them. If all values of the original type can be represented as an int, the value of the smaller type is converted to an int; otherwise, it is converted to an unsigned int. Integer promotions are applied as part of the usual arithmetic conversions to certain argument expressions; operands of the unary +, -, and ~ operators, and operands of the shift operators.

1. 
   
2. #include <stdio.h>
   
3. #define ISUNSIGNED(x) ( x>=0 && ~x >=0 )
   
4. int main(void){
   
5.                 signed char a =1;
   
6.                 unsigned char b  =1;
   
7.                 signed int c = 1;
   
8.                 unsigned int d =1;
   
9.                 signed short e =1;
   
10.                 unsigned short f=1;
    
11.                 signed long g =1;
    
12.                 unsigned long h =1;
    
13.                 if ( ISUNSIGNED(a) ){
    
14.                                 printf("a is unsigned\n");
    
15.                 }
    
16.                 if ( ISUNSIGNED(b) ){
    
17.                                 printf("b is unsigned\n");
    
18.                 }
    
19.                 if ( ISUNSIGNED(c) ){
    
20.                                 printf("c is unsigned\n");
    
21.                 }
    
22.                 if ( ISUNSIGNED(d) ){
    
23.                                 printf("d is unsigned\n");
    
24.                 }
    
25.                 if ( ISUNSIGNED(e) ){
    
26.                                 printf("e is unsigned\n");
    
27.                 }
    
28.                 if ( ISUNSIGNED(f) ){
    
29.                                 printf("f is unsigned\n");
    
30.                 }
    
31.                 if ( ISUNSIGNED(g) ){
    
32.                                 printf("g is unsigned\n");
    
33.                 }
    
34.                 if ( ISUNSIGNED(h) ){
    
35.                                 printf("h is unsigned\n");
    
36.                 }
    
37.                 return 0;
    
38. }
    

复制代码

编译的时候有提示
sign.c:15: warning: comparison is always true due to limited range of data type
sign.c:27: warning: comparison is always true due to limited range of data type

运行的结果

xxx:~> ./sign
d is unsigned
h is unsigned

可见short和char类型是无法判断出来的
汇编代码里面也可以看到有两句
movzbl movsbl