不太理解 (unsigned char) ~0 >> 1

tianxiaogang12

正如題目說(shuō)((unsigned char) ~0 >> 1 ) ，  第一步：先是把數(shù)字0的各個(gè)二進(jìn)制位全部轉(zhuǎn)換為1， 第二步：然后，將結(jié)果值轉(zhuǎn)換為unsigned char 類(lèi)型 ，第三步：然后右移一位。            
其中不明白的是第一步，~0中0又沒(méi)有存儲(chǔ)空間，怎么把它全部轉(zhuǎn)換為1，轉(zhuǎn)換為多少個(gè)1，全部到底是多少？
請(qǐng)教請(qǐng)教， 麻煩詳細(xì)的講解下~0到底是怎么轉(zhuǎn)換的

tianxiaogang12

不會(huì)吧 沒(méi)人甩我，難道是我沒(méi)有表達(dá)清楚？還是一個(gè)無(wú)聊帖？

zhuhefang2006

你看看對(duì)應(yīng)的匯編代碼

tianxiaogang12

那我試試看

tianxiaogang12

匯編學(xué)的不好沒(méi)有太看懂， 源碼是：
#include <stdio.h>

int main() {
        int a;
        a = ((unsigned char)~0 >> 1);

        exit(0);
}

匯編是：
.file   "testhuibian.c"
        .text
.globl main
        .type   main,@function
main:
        pushl   %ebp
        movl    %esp, %ebp
        subl    $8, %esp
        andl    $-16, %esp
        movl    $0, %eax
        subl    %eax, %esp
        movl    $127, -4(%ebp)
        subl    $12, %esp
        pushl   $0
        call    exit
.Lfe1:
        .size   main,.Lfe1-main
        .ident  "GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)"
高人幫我分析分析

pFreeStyle

0默認(rèn)為int型，占用4個(gè)字節(jié)，存儲(chǔ)為0x00000000
~0的存儲(chǔ)值為0xffffffff
轉(zhuǎn)換為unsigned char后存儲(chǔ)為0xff，其值為255
>>1就是除以2，存儲(chǔ)為0111 1111, 所以為255/2 = 127


很長(zhǎng)時(shí)間沒(méi)接觸匯編了，也不知道解釋的對(duì)不對(duì)：
注意第(7)句填寫(xiě)了值127
其他的%esp的變化也不是很清楚了，呵呵

.file   "testhuibian.c"
        .text
.globl main
        .type   main,@function
main:
        pushl   %ebp            （1）
        movl    %esp, %ebp    （2） # 這兩行是為了保存main函數(shù)的frame指針到%ebp

        subl    $8, %esp        （3）  ＃ 當(dāng)前frame中留出8個(gè)字節(jié)空間
        andl    $-16, %esp      （4）  ＃ －16的十六進(jìn)制表示為0xfffffff0
                                            這里讓%esp的值以對(duì)齊8位字節(jié)邊界
                                            正常情況下可以假設(shè)%esp的值沒(méi)有變化，
        movl    $0, %eax        （5）
        subl    %eax, %esp     （6）  #  %esp的值沒(méi)有變化
        movl    $127, -4(%ebp) （7）  #  注意這里的尋址方式

        subl    $12, %esp        （8）

        pushl   $0                （9）
        call    exit                （10）  ＃ 這兩句是來(lái)調(diào)用exit(0)的
.Lfe1:
        .size   main,.Lfe1-main
        .ident  "GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)"

   函數(shù)frame          ＃ 這里假設(shè)棧的增長(zhǎng)是從高地址到低地址的

－－－－－－－－ HighAddr
    %ebp
－－－－－－－                <－－－  %ebp，%esp  (1)(2)句執(zhí)行結(jié)果
  4個(gè)字節(jié)  0x000000ff = 127 <－－－ （7）的執(zhí)行結(jié)果
－－－－－－－－
  4個(gè)字節(jié)   
－－－－－－－－              <－－－  %esp （3）的執(zhí)行結(jié)果
  4個(gè)字節(jié)  
－－－－－－－－
  4個(gè)字節(jié)   
－－－－－－－－
  4個(gè)字節(jié)   
－－－－－－－－             <－－－  %esp （8）的執(zhí)行結(jié)果
            LowAddr
==================================================================

有本書(shū)《Professional Assembly Language》可以翻翻，
其中文版叫《匯編語(yǔ)言程序設(shè)計(jì)》

die

原帖由 tianxiaogang12 于 2009-2-10 18:24 發(fā)表
正如題目說(shuō)((unsigned char) ~0 >> 1 ) ，  第一步：先是把數(shù)字0的各個(gè)二進(jìn)制位全部轉(zhuǎn)換為1， 第二步：然后，將結(jié)果值轉(zhuǎn)換為unsigned char 類(lèi)型 ，第三步：然后右移一位。            
其中不明白的是第一步 ...

有存儲(chǔ)，在eax里。
不過(guò)，我不明白你為什么不問(wèn)（1+2），
1和2都沒(méi)有存儲(chǔ)空間啊，怎么得到3呢。。

tyc611

0的類(lèi)型是int，而sizeof(int) >= 2, sizeof(unsigned char) = 1，所以(unsigned char)~0為ff（無(wú)符號(hào)），再右移一位為7f（即127）

wwdwwd

原帖由 pFreeStyle 于 2009-2-10 21:28 發(fā)表
0默認(rèn)為int型，占用4個(gè)字節(jié)，存儲(chǔ)為0x00000000
~0的存儲(chǔ)值為0xffffffff
轉(zhuǎn)換為unsigned char后存儲(chǔ)為0xff，其值為255
>>1就是除以2，存儲(chǔ)為0111 1111, 所以為255/2 = 127


很長(zhǎng)時(shí)間沒(méi)接觸匯編了，也不知 ...

解釋的很準(zhǔn)確，thanks

tianxiaogang12

恩 謝謝各位了 長(zhǎng)見(jiàn)識(shí)了