1. 從開關(guān)到宇宙為什么我們離不開二進制如果你問一個剛?cè)胄械某绦騿T計算機最基礎(chǔ)的知識是什么十有八九會提到二進制。但很多人對二進制的理解可能就停留在“0和1”這個層面覺得這不過是計算機內(nèi)部的一種計數(shù)方式枯燥且遠離實際。然而我想告訴你的是二進制遠不止于此。它是一套貫穿整個計算機軟硬件體系的底層語言是你理解內(nèi)存操作、網(wǎng)絡(luò)協(xié)議、加密算法乃至性能優(yōu)化的基石。不理解二進制就像學(xué)開車不懂發(fā)動機原理短期內(nèi)或許能上路但一旦遇到爆胎、異響等復(fù)雜問題就會束手無策。最近我在排查一個線上服務(wù)的性能問題時就深刻體會到了這一點。一個用于處理用戶標簽的位運算函數(shù)在高并發(fā)下出現(xiàn)了詭異的計算結(jié)果錯誤。表面上看是代碼邏輯問題但深入追蹤后發(fā)現(xiàn)根源是對有符號整數(shù)使用位運算符時對補碼的理解不透徹導(dǎo)致在特定邊界值上發(fā)生了溢出和符號位干擾。這個坑讓我花了整整一天時間也讓我意識到很多所謂的“高級”問題其答案往往藏在最“基礎(chǔ)”的地方。二進制、位運算、原碼補碼這些概念正是這樣的基礎(chǔ)。所以無論你是正在學(xué)習(xí)編程的學(xué)生還是已經(jīng)工作但想夯實基礎(chǔ)的開發(fā)者花時間徹底搞懂二進制及其相關(guān)運算都是一筆穩(wěn)賺不賠的投資。它不會直接教你寫出炫酷的框架但能讓你在遇到底層bug時心里有底手中有術(shù)。接下來我將拋開教科書式的說教以一個踩過坑的實踐者角度帶你重新梳理二進制、位運算符、原碼和補碼并揭示它們在實際編碼中的那些“坑”與“妙用”。2. 二進制不只是0和1計數(shù)系統(tǒng)與邏輯的基石我們常說計算機用二進制是因為其物理硬件如CPU的晶體管、內(nèi)存的電容最容易實現(xiàn)兩種穩(wěn)定狀態(tài)開或關(guān)、高電壓或低電壓。這對應(yīng)了二進制的1和0。但二進制作為一種計數(shù)系統(tǒng)其威力在于它提供了一套完整、自洽的數(shù)學(xué)和邏輯框架。2.1 進制轉(zhuǎn)換程序員的基本心算能力進制轉(zhuǎn)換是基本操作但關(guān)鍵在于理解其原理而不是死記硬背公式。二進制轉(zhuǎn)十進制每一位的權(quán)重是2的n次方n從右向左從0開始。 例如1011二進制轉(zhuǎn)十進制1*23 0*22 1*21 1*2? 8 0 2 1 11我常用的一個快速心算技巧是記住2的冪次1, 2, 4, 8, 16, 32, 64, 128... 看到二進制串直接對應(yīng)相加即可。十進制轉(zhuǎn)二進制更常用的是“除2取余逆序排列”法。但我想分享一個在調(diào)試時常用的“湊數(shù)法”尤其適合較小的數(shù)字。比如將13轉(zhuǎn)為二進制找到小于等于13的最大2的冪次是823二進制位為1剩余13-85。小于等于5的最大2的冪次是422二進制位為1剩余5-41。小于等于1的最大2的冪次是12?二進制位為1剩余0。其他位21補0。 所以13的二進制是1101對應(yīng)8401。這種方法在分析內(nèi)存地址或位掩碼時非常直觀。與十六進制的親密關(guān)系在實際開發(fā)中直接操作一長串二進制非常不友好所以十六進制Hex成了二進制的“親密搭檔”。因為4位二進制剛好對應(yīng)1位十六進制2?16。例如二進制1101 1010可以按4位一組劃分1101十進制13十六進制D和1010十進制10十六進制A所以其十六進制表示為0xDA。在查看內(nèi)存dump、顏色值如CSS中的#RRGGBB、或協(xié)議報文時十六進制表示法無處不在。注意在進行進制轉(zhuǎn)換特別是涉及負數(shù)時務(wù)必先明確這個數(shù)字在計算機中是以何種編碼形式原碼、反碼還是補碼存儲的否則轉(zhuǎn)換結(jié)果會大相徑庭。這是后續(xù)討論補碼的重要前提。2.2 二進制的基本運算與十進制思維的同與異加法和減法在二進制下的規(guī)則和十進制類似只是“逢二進一”和“借一當(dāng)二”。1011 (11) 0110 (6) ----------- 10001 (17)乘法可以轉(zhuǎn)換為移位和加法除法則可以轉(zhuǎn)換為移位和減法這正是CPU中ALU算術(shù)邏輯單元的工作原理。但二進制真正獨特且強大的地方在于位運算Bitwise Operations。它直接對整數(shù)的二進制位進行操作效率極高。在深入位運算符之前我們必須先解決一個關(guān)鍵問題計算機如何表示負數(shù)這就引出了原碼、反碼和補碼的概念。理解它們是安全、正確使用位運算符的入場券。3. 原碼、反碼與補碼解開負數(shù)表示的迷霧為什么需要特殊的編碼來表示負數(shù)直接用最高位表示符號0正1負剩下的位表示絕對值不就行了嗎這就是原碼Sign-Magnitude的直觀想法。例如用8位表示3和-33:0000 0011-3:1000 0011原碼很符合人類直覺但對計算機來說有兩個致命缺陷存在兩個零0(0000 0000) 和-0(1000 0000)。這在比較和運算中會造成混亂。加減法運算復(fù)雜CPU的電路設(shè)計需要同時處理加法器和減法器。例如計算3 (-3)電路不能直接做加法而要判斷符號位然后決定是做加法還是減法效率低下。為了解決這些問題尤其是讓加減法統(tǒng)一用一套加法器就能完成補碼Two‘s Complement方案成為了現(xiàn)代計算機的標準。3.1 補碼的誕生與計算規(guī)則補碼的設(shè)計非常巧妙它的核心目標是讓A - B的運算可以通過A (-B的補碼)來實現(xiàn)并且自動處理溢出和符號位。對于一個n位的二進制數(shù)計算其補碼的規(guī)則如下正數(shù)的補碼與其原碼相同。負數(shù)的補碼將其對應(yīng)正數(shù)的原碼全部位取反得到反碼然后加1。還有一種更快捷的理解方式負數(shù)的補碼 2^n - 其絕對值。對于8位數(shù)n82^8256。所以-3的補碼就是256 - 3 253253的二進制就是1111 1101。讓我們用8位空間來演算一下-3的補碼3的原碼0000 0011全部位取反得到反碼1111 1100加11111 1100 1 1111 1101所以-3在計算機中的存儲形式補碼就是1111 1101。驗證一下3 (-3)是否等于00000 0011 (3的補碼) 1111 1101 (-3的補碼) --------------- 1 0000 0000 (結(jié)果)由于我們只有8位空間最左邊的進位1被自然丟棄這稱為溢出但在這里是我們期望的結(jié)果剩下的就是0000 0000也就是0。完美CPU只需要一個加法器就能同時完成加法和減法。3.2 補碼的優(yōu)勢與邊界情況補碼完美解決了原碼的問題唯一的零全0表示零。統(tǒng)一的加減法減法化為加法。自然的溢出處理如上例所示超出位寬的進位被丟棄這符合模運算的思想。但補碼也有其表示范圍。對于n位有符號整數(shù)通常用int8,int16,int32,int64表示表示范圍[-2^(n-1), 2^(n-1)-1]例如8位有符號整數(shù)范圍是[-128, 127]。這里有個特別容易踩坑的點-128的補碼是什么根據(jù)規(guī)則128的8位原碼是1000 0000這已經(jīng)超出了8位有符號正數(shù)的最大值127但我們先按規(guī)則計算。取反得0111 1111加1得1000 0000。所以-128的補碼就是1000 0000。注意看這個二進制形式如果按照原碼解釋是-0但在補碼體系下它被賦予了-128的含義。這也解釋了為什么負數(shù)比正數(shù)多一個-128到127。重要心得在編寫涉及邊界值如Integer.MIN_VALUEin Java 或INT_MINin C的代碼時要格外小心。對這個值取絕對值、取反等操作很可能產(chǎn)生未定義行為或溢出。例如在Java中Math.abs(Integer.MIN_VALUE)返回的仍然是負數(shù)Integer.MIN_VALUE。理解了補碼我們再看位運算符就會發(fā)現(xiàn)很多之前困惑的行為都變得順理成章了。4. 位運算符詳解穿透高級語言語法的底層工具位運算符直接操作整數(shù)在內(nèi)存中的二進制位。幾乎所有主流語言C/C, Java, Python, JavaScript, Go等都支持它們。下面以8位整數(shù)為例假設(shè)A 60(0011 1100)B 13(0000 1101)。4.1 六大位運算符及其應(yīng)用場景1. 按位與雙1為1其余為0A 0011 1100 B 0000 1101 AB 0000 1100 (十進制12)應(yīng)用場景掩碼操作Masking提取特定位。例如要獲取A的低4位可以用掩碼0x0F(0000 1111)A 0x0F得到0000 1100。判斷奇偶(num 1) 0為偶數(shù)1為奇數(shù)。這比num % 2效率更高。權(quán)限系統(tǒng)用不同的位代表不同的權(quán)限讀、寫、執(zhí)行。檢查是否有寫權(quán)限(userPermission WRITE_PERM) ! 0。2. 按位或|有1為1雙0為0A 0011 1100 B 0000 1101 A|B 0011 1101 (十進制61)應(yīng)用場景設(shè)置特定位為1。例如要將A的第3位從0開始設(shè)為1可以用A | (1 3)。權(quán)限系統(tǒng)中授予權(quán)限newPermission oldPermission | ADD_PERM。3. 按位異或^相同為0不同為1A 0011 1100 B 0000 1101 A^B 0011 0001 (十進制49)異或有一些非常巧妙的性質(zhì)a ^ a 0a ^ 0 a滿足交換律和結(jié)合律a ^ b ^ a b應(yīng)用場景交換兩個數(shù)無需臨時變量a a ^ b; b a ^ b; a a ^ b;。雖然現(xiàn)代編譯器優(yōu)化后可能不推薦但體現(xiàn)了異或的思想。簡單加密/解密用同一個密鑰對數(shù)據(jù)進行異或加密再用該密鑰異或一次即可解密。找出數(shù)組中只出現(xiàn)一次的數(shù)字其他數(shù)字都出現(xiàn)兩次將所有數(shù)字依次異或最終結(jié)果就是那個只出現(xiàn)一次的數(shù)。4. 按位取反~0變11變0A 0011 1100 ~A 1100 0011這里就是補碼知識的關(guān)鍵應(yīng)用對于有符號整數(shù)~A的結(jié)果需要根據(jù)補碼來解釋。在8位有符號整數(shù)中60(0011 1100) 取反后是-61。因為1100 0011是某個負數(shù)的補碼求其原碼減1得1100 0010取反得0011 1101即61所以是-61。應(yīng)用場景配合掩碼清除位有時用和取反掩碼來清除位比用和0更清晰。例如清除A的高4位A ~0xF0。5. 左移高位丟棄低位補0A 2將0011 1100左移兩位得到1111 0000十進制240。本質(zhì)左移n位相當(dāng)于乘以2的n次方在不溢出的前提下。60 2 60 * 4 240。應(yīng)用場景快速計算2的冪次乘法。構(gòu)造掩碼1 n可以得到一個只有第n位是1的數(shù)常用于設(shè)置或檢查特定位。6. 右移這是一個大坑點右移分為邏輯右移和算術(shù)右移。邏輯右移高位補0低位丟棄。對于無符號數(shù)這是標準行為。算術(shù)右移高位用符號位填充低位丟棄。對于有符號數(shù)大多數(shù)語言如C/C, Java采用算術(shù)右移以保持負數(shù)的符號。對于正數(shù) 60: 0011 1100 2 0000 1111 (15) // 算術(shù)/邏輯右移結(jié)果相同 對于負數(shù) -8 (補碼: 1111 1000): 邏輯右移2位: 0011 1110 (62) // 這改變了數(shù)的符號和意義 算術(shù)右移2位: 1111 1110 (-2) // 高位補1保持了負數(shù)性質(zhì)相當(dāng)于除以4向負無窮取整應(yīng)用場景與坑快速計算2的冪次除法僅對正數(shù)且算術(shù)右移-8 2 -2而-8 / 4在整數(shù)除法中通常也是-2取決于語言C/C/Java是向零取整但右移是向負無窮取整對于負數(shù)結(jié)果有細微差別。顏色值處理從0xAARRGGBB格式中提取R、G、B分量需要用到右移和掩碼。致命陷阱在C/C中對有符號負數(shù)進行右移操作的結(jié)果是實現(xiàn)定義的可能是邏輯右移也可能是算術(shù)右移。雖然絕大多數(shù)現(xiàn)代編譯器使用算術(shù)右移但依賴此行為會損害代碼的可移植性。對于無符號數(shù)右移是確定的邏輯右移。因此在進行位操作時強烈建議使用無符號整數(shù)類型如unsigned int可以避免很多未定義行為和令人困惑的符號位問題。4.2 復(fù)合賦值運算符與優(yōu)先級位運算符也有復(fù)合賦值形式,|,^,,,Java中的無符號右移。 運算符優(yōu)先級需要留意取反(~)優(yōu)先級很高移位運算符(, )次之然后是按位與()、異或(^)、或(|)。在復(fù)雜表達式中務(wù)必使用括號來明確意圖避免難以調(diào)試的錯誤。5. 實戰(zhàn)中的位運算從理論到代碼的跨越理解了原理我們來看看如何在實際編程中運用這些知識。我將通過幾個典型案例展示位運算如何讓代碼更高效、更簡潔。5.1 案例一使用位掩碼管理狀態(tài)或標志假設(shè)我們有一個文件對象其權(quán)限有可讀(READ1)、可寫(WRITE2)、可執(zhí)行(EXECUTE4)。注意這些值都是2的冪次二進制只有一位是1。#define READ 1 // 0001 #define WRITE 2 // 0010 #define EXECUTE 4 // 0100 int file_permission 0; // 初始無權(quán)限 // 授予讀寫權(quán)限 file_permission | (READ | WRITE); // file_permission 0001 | 0010 0011 (3) // 檢查是否有寫權(quán)限 if (file_permission WRITE) { // 0011 0010 0010 (非零true) printf(有寫權(quán)限\n); } // 移除執(zhí)行權(quán)限即使本來沒有也沒關(guān)系 file_permission ~EXECUTE; // ~0100 1011, 0011 1011 0011 // 切換讀權(quán)限有則無無則有 file_permission ^ READ; // 第一次0011 ^ 0001 0010 第二次0010 ^ 0001 0011這種方法比使用一個布爾值數(shù)組或多個獨立的布爾變量更加緊湊和高效尤其是在需要存儲大量標志位或進行網(wǎng)絡(luò)傳輸時可以打包成一個整數(shù)。5.2 案例二高效計算與判斷判斷一個整數(shù)是否是2的冪次 一個數(shù)是2的冪次其二進制表示中只有一位是1如1,2,4,8...。那么n (n-1)這個技巧就派上用場了。對于2的冪次nn-1的所有低位都是1。例如8 (1000)和7 (0111)相與結(jié)果為0。bool isPowerOfTwo(unsigned int n) { return n 0 (n (n - 1)) 0; }計算一個整數(shù)的二進制表示中1的個數(shù)Population Count 這是一個經(jīng)典面試題。樸素方法是逐位檢查時間復(fù)雜度O(n)。利用n (n-1)可以消去最低位的1循環(huán)次數(shù)等于1的個數(shù)。int countBits(unsigned int n) { int count 0; while (n) { n (n - 1); // 消去最低位的1 count; } return count; }現(xiàn)代CPU通常有專門的指令如x86的POPCNT來高效完成這個操作。不使用算術(shù)運算符實現(xiàn)加法 這是一個展示位運算本質(zhì)的思維練習(xí)。加法可以分解為“不計進位的和”異或和“進位”與操作后左移一位然后遞歸相加。int add(int a, int b) { while (b ! 0) { int carry (unsigned int)(a b) 1; // 進位 a a ^ b; // 無進位和 b carry; // 將進位作為下一輪的b } return a; }5.3 案例三位運算在數(shù)據(jù)壓縮和編碼中的應(yīng)用RGB顏色值的打包與解包 一個32位的ARGB顏色值各8位的常見操作。unsigned int argb (alpha 24) | (red 16) | (green 8) | blue; // 打包 unsigned char red_component (argb 16) 0xFF; // 解包紅色分量網(wǎng)絡(luò)協(xié)議中的比特位字段 許多網(wǎng)絡(luò)協(xié)議如TCP/IP頭的字段是按比特定義的。解析時就需要用到移位和掩碼。// 假設(shè)從網(wǎng)絡(luò)包中讀到一個16位的字段 packet_flags #define FLAG_SYN 0x0002 // 0000 0000 0000 0010 #define FLAG_ACK 0x0010 // 0000 0000 0001 0000 int is_syn_set packet_flags FLAG_SYN; int is_ack_set (packet_flags 4) 0x1; // 另一種方式ACK在第4位從0開始6. 避坑指南位運算中那些意想不到的“雷”位運算雖然強大但稍有不慎就會引入難以察覺的bug。以下是我在多年開發(fā)中總結(jié)的幾個常見陷阱。6.1 符號位與移位操作的陷阱這是最經(jīng)典的坑前面已經(jīng)提到但值得再次強調(diào)。int8_t x -8; // 補碼: 1111 1000 int8_t y x 2; // 算術(shù)右移結(jié)果可能是 -2 (1111 1110) uint8_t z (uint8_t)x 2; // 先轉(zhuǎn)換為無符號數(shù)再邏輯右移結(jié)果是 62 (0011 1110)教訓(xùn)當(dāng)意圖進行邏輯移位時比如處理位掩碼或顏色值確保操作數(shù)是無符號類型。6.2 運算符優(yōu)先級導(dǎo)致的邏輯錯誤位運算符的優(yōu)先級低于比較運算符。if (value 0x0F 0x08) { // 錯誤 // 本意是檢查低4位是否為8 (1000) }由于優(yōu)先級高于實際執(zhí)行的是value (0x0F 0x08)即value 1。這完全不是我們想要的。正確寫法if ((value 0x0F) 0x08)。養(yǎng)成在位運算表達式外加括號的習(xí)慣。6.3 對負數(shù)進行位運算的未定義行為在C/C中對負數(shù)進行左移操作或者對有符號數(shù)進行超出范圍的右移是未定義行為。int8_t a -1; // 1111 1111 int8_t b a 1; // 未定義行為結(jié)果不可預(yù)測。安全做法在需要進行位操作的場景優(yōu)先使用無符號類型unsigned int,uint8_t等。6.4 跨平臺與編譯器差異對有符號數(shù)的實現(xiàn)定義行為前文已述。此外移位位數(shù)超過或等于數(shù)據(jù)類型的寬度也是未定義行為。unsigned int x 1; unsigned int y x 32; // 如果int是32位這是未定義行為。解決方案在移位前檢查位數(shù)或者使用語言/庫提供的安全函數(shù)。確保你的代碼不依賴于這些未定義或?qū)崿F(xiàn)定義的行為。6.5 混淆邏輯運算符與位運算符和|和||是完全不同的。if (a b) { ... } // 按位與結(jié)果非零則真 if (a b) { ... } // 邏輯與兩者都為非零則真如果a和b是整數(shù)a b是位操作a b是布爾邏輯。誤用可能導(dǎo)致功能錯誤例如當(dāng)a2,b4時a b為0假而a b為真。7. 從二進制視角看高級語言特性理解了底層二進制和位運算再看一些高級語言的特性和優(yōu)化就會豁然開朗。Java中的無符號右移運算符因為Java沒有無符號整數(shù)類型但有時需要對整數(shù)進行邏輯右移例如處理哈希值或顏色所以專門提供了運算符它總是用0填充高位。int x -1; // 0xFFFFFFFF int y x 1; // 算術(shù)右移結(jié)果還是 -1 (0xFFFFFFFF) int z x 1; // 無符號右移結(jié)果是 2147483647 (0x7FFFFFFF)哈希算法與位運算很多哈希函數(shù)如MurmurHash, CityHash大量使用位運算異或、旋轉(zhuǎn)、乘法來快速混合數(shù)據(jù)的比特位以達到良好的散列性和雪崩效應(yīng)。內(nèi)存對齊與位域在C/C中可以使用位域來精細地控制結(jié)構(gòu)體成員的比特位節(jié)省內(nèi)存。但這與字節(jié)序大小端和編譯器實現(xiàn)緊密相關(guān)可移植性較差需謹慎使用。struct packed { unsigned int flag1 : 1; // 占用1位 unsigned int flag2 : 3; // 占用3位 unsigned int : 4; // 無名位域填充4位 unsigned int value : 8; // 占用8位 };浮點數(shù)的二進制表示IEEE 754雖然標題未深入但這也是二進制的經(jīng)典應(yīng)用。一個浮點數(shù)如float被分為符號位、指數(shù)位和尾數(shù)位三部分。理解這個格式就能明白為什么0.1 0.2 ! 0.3以及如何進行精確的金融計算?；仡欓_頭的那個線上問題正是由于對補碼和位運算的細節(jié)理解不清導(dǎo)致在處理邊界值時符號位污染了本應(yīng)是數(shù)據(jù)位的區(qū)域。在將代碼中的有符號整數(shù)改為無符號整數(shù)并仔細檢查了所有移位和掩碼操作后問題得以解決。這個過程讓我再次確信計算機科學(xué)中那些最基礎(chǔ)、最“枯燥”的知識往往在關(guān)鍵時刻最有力量。它們不會過時而是你構(gòu)建穩(wěn)定、高效程序的堅實地面。下次當(dāng)你看到一段充斥著位運算的底層庫代碼時希望你不會再感到畏懼而是能帶著探究的心態(tài)去欣賞其中的精妙設(shè)計。