按位不是有符號整數和無符號整數在C

我在調試一個問題，並發現下面的代碼片段（消毒）是問題的原因。按位不是有符號整數和無符號整數在C

uint64_t testflag = 0; 
testflag &= ~(0x08ul); //bug 
testflag &= ~(0x08l); //expected

我比較生成的程序集和看到這

uint64_t testflag = 0; 
804851e: c7 45 d8 00 00 00 00 movl $0x0,-0x28(%ebp) 
8048525: c7 45 dc 00 00 00 00 movl $0x0,-0x24(%ebp) 
    testflag &= ~(0x08ul); 
804852c: 83 65 d8 f7    andl $0xfffffff7,-0x28(%ebp) 
8048530: 83 65 dc 00    andl $0x0,-0x24(%ebp) 
    testflag &= ~(0x08l); 
8048534: 83 65 d8 f7    andl $0xfffffff7,-0x28(%ebp) 
8048538: 83 65 dc ff    andl $0xffffffff,-0x24(%ebp)

爲什麼的unsigned long的NOT operator使編譯器和0具有較高的字節，而不是ffffffff。

在64位機器上，我的gcc版本是gcc (GCC) 4.9.2 (Red Hat 4.9.2)。

來源

2017-03-28 woodstok

什麼是'sizeof（unsigned long）'？ – aschepler

簽名擴展名與零擴展名，因爲在您的機器上long是32位。 –

假設32位unsigned long/long ...

uint64_t testflag;

0x08ul  --> 00 00 00 08 
~(0x08ul) --> FF FF FF F7 
some_uint32_t = FF FF FF F7 

testflag &= some_uint32_t; 
testflag = testflag & some_uint32_t 
testflag = testflag & (uint64_t) some_uint32_t 
testflag = testflag & (uint64_t) FF FF FF F7 (or 4,294,967,288) 
testflag = testflag & 00 00 00 00 FF FF FF F7

轉換一個32位無符號到uint64_t是一個簡單地0延伸。

與 ~(0x08l)

0x08l  --> 00 00 00 08 
~(0x08l) --> FF FF FF F7 
some_int32_t = FF FF FF F7 

testflag &= some_int32_t; 
testflag = testflag & some_int32_t 
testflag = testflag & (uint64_t) some_int32_t 
testflag = testflag & (uint64_t) FF FF FF F7 (or - 8) 
testflag = testflag & FF FF FF FF FF FF FF F7 (or 18,446,744,073,709,551,608)

現在-8爲uint64_t是非常接近的uint64_t的最大值。
使用2的補碼，結果是OP的long的符號位被擴展。 @Marc Glisse

來源

2017-03-29 00:12:18 chux

按位不是有符號整數和無符號整數在C

回答

相關問題