求a%16的结果和a&15的结果相等的原理

ifreecoding

chinesedragon 发表于 2012-06-04 17:03
int a = 2%16;
int b = 2&15;

a%16相当于是取16的模，屏蔽掉高位，只保留低4bits，与a&0xF的操作是一样的，0xF就是15，因此a%16等于a&15

龙骨五钱

pmerofc 发表于 2012-06-05 10:26
回复 11# ifreecoding

但"2"可不是负数吧，又不是int c = xx;int a = c % 16;。楼主这问题就没讲清楚。

bruceteen

pmerofc 发表于 2012-06-05 10:26
你忘记int类型的值可以为负了

结果不一致，但在数学层面上看起来似乎都是正确的
http://blog.vckbase.com/bruceteen/archive/2011/12/10/55127.html

yulihua49

chinesedragon 发表于 2012-06-04 17:03
int a = 2%16;
int b = 2&15;

我更爱用x&15,效率要高一些，不过可能编译器能优化x%16
如果x<0呢？

1. main()
   
2. {
   
3. int x=-100;
   
4.         printf("x1=%d,x2=%d\n",x&15,x%16);
   
5. }
   

复制代码

x1=12,x2=-4

yulihua49

看看给优化成啥了：

1.         .file   "t.c"
   
2.         .text
   
3.         .p2align 2,,3
   
4. .globl itoStr
   
5.         .type   itoStr, @function
   
6. itoStr:
   
7.         pushl   %ebp
   
8.         movl    %esp, %ebp
   
9.         pushl   %edi
   
10.         pushl   %esi
    
11.         pushl   %ebx
    
12.         subl    $28, %esp
    
13.         movl    8(%ebp), %ecx
    
14.         testl   %ecx, %ecx
    
15.         movl    12(%ebp), %ebx
    
16.         movl    %ecx, -20(%ebp)
    
17.         js      .L10
    
18. .L2:
    
19.         movl    $10, %esi
    
20.         movl    $1717986919, %edi
    
21.         .p2align 2,,3
    
22. .L3:
    
23.         movl    %ecx, %eax
    
24.         cltd
    
25.         idivl   %esi
    
26.         addl    $48, %edx
    
27.         movl    %ecx, %eax
    
28.         movb    %dl, (%ebx)
    
29.         imull   %edi
    
30.         movl    %edx, -28(%ebp)
    
31.         movl    %ecx, %eax
    
32.         sarl    $2, %edx
    
33.         movl    %edx, -32(%ebp)
    
34.         cltd
    
35.         subl    %edx, -32(%ebp)
    
36.         movl    -32(%ebp), %ecx
    
37.         incl    %ebx
    
38.         testl   %ecx, %ecx
    
39.         jg      .L3
    
40.         movl    -20(%ebp), %ecx
    
41.         testl   %ecx, %ecx
    
42.         js      .L11
    
43.         movb    $0, (%ebx)
    
44.         subl    $12, %esp
    
45.         pushl   12(%ebp)
    
46.         call    strrevers
    
47.         addl    $16, %esp
    
48.         leal    -12(%ebp), %esp
    
49.         movl    %ebx, %eax
    
50.         popl    %ebx
    
51.         popl    %esi
    
52.         popl    %edi
    
53.         leave
    
54.         ret
    
55. .L10:
    
56.         negl    %ecx
    
57.         jmp     .L2
    
58. .L11:
    
59.         movb    $45, (%ebx)
    
60.         incl    %ebx
    
61.         movb    $0, (%ebx)
    
62.         subl    $12, %esp
    
63.         pushl   12(%ebp)
    
64.         call    strrevers
    
65.         addl    $16, %esp
    
66.         leal    -12(%ebp), %esp
    
67.         movl    %ebx, %eax
    
68.         popl    %ebx
    
69.         popl    %esi
    
70.         popl    %edi
    
71.         leave
    
72.         ret
    
73.         .size   itoStr, .-itoStr
    
74.         .ident  "GCC: (GNU) 3.4.3 (csl-sol210-3_4-branch+sol_rpath)"
    

复制代码

幻の上帝

回复 8# 龙骨五钱

不一样。你这个直接用数学上的定义就能推出来。LZ的问题和存储表示相关。

幻の上帝

回复 14# bruceteen


不只是模除的问题。
负数表示不见得能保证是补码（尽管大多数都是）。