[導(dǎo)讀]很表面很淺薄的問(wèn)題。簡(jiǎn)單說(shuō)愛(ài)怎么規(guī)定就怎么規(guī)定，甚至-1到254都行。無(wú)非是顯示時(shí)通過(guò)編碼表做個(gè)轉(zhuǎn)換的問(wèn)題而已。不過(guò)，當(dāng)初選擇“補(bǔ)碼”這種編碼形式，卻并不像表面看起來(lái)那么淺薄。背后的道道可多著呢。
關(guān)注、星標(biāo)公眾號(hào)，不錯(cuò)過(guò)精彩內(nèi)容
作者：invalid s
鏈接：https://www.zhihu.com/question/405701348/answer/1329114111
簡(jiǎn)單說(shuō)愛(ài)怎么規(guī)定就怎么規(guī)定，甚至-1到254都行。無(wú)非是顯示時(shí)通過(guò)編碼表做個(gè)轉(zhuǎn)換的問(wèn)題而已。
不過(guò)，當(dāng)初選擇“補(bǔ)碼”這種編碼形式，卻并不像表面看起來(lái)那么淺薄。背后的道道可多著呢。
首先，8位二進(jìn)制一共可以提供256個(gè)“碼點(diǎn)”；那么我們就總可以用這些“碼點(diǎn)”來(lái)編碼256種符號(hào)。
這種編碼方案有很多。最著名的大概就是ASCII碼方案了，這個(gè)方案規(guī)定了英文字符（區(qū)分大小寫(xiě)）、0~9這10個(gè)數(shù)字、標(biāo)點(diǎn)符號(hào)以及一些控制字符如何編碼：
但ASCII碼用來(lái)編碼字符效果不錯(cuò)；
拿來(lái)存儲(chǔ)數(shù)字卻極為浪費(fèi)。
比如它需要三個(gè)字節(jié)才能表示123。
為了編碼數(shù)字，我們需要一個(gè)更有效的方案。
一種很自然的想法是，我們就直接把二進(jìn)制對(duì)應(yīng)的數(shù)字值拿來(lái)用，這就是最好的編碼方案！
于是，8個(gè)二進(jìn)制位就可以表示0~255之間的所有數(shù)字——用ASCII碼三個(gè)字節(jié)才能表示的123，直接用二進(jìn)制編碼就是01111011，一個(gè)字節(jié)足夠了。
這個(gè)方案只能表示正數(shù)；遇到負(fù)數(shù)怎么辦呢？
簡(jiǎn)單，第一個(gè)二進(jìn)制位拿出來(lái)當(dāng)符號(hào)位，剩下七位仍然當(dāng)數(shù)字用，就能表示±127之間的任何數(shù)字了。
這個(gè)方案就叫“原碼”；其中不帶符號(hào)位的就是無(wú)符號(hào)數(shù)（unsigned）。
原碼是一種很初級(jí)的編碼方案，它僅僅解決了編碼問(wèn)題——從此數(shù)字有辦法二進(jìn)制表示了。
但我們?cè)谟?jì)算機(jī)內(nèi)部表示數(shù)字是用來(lái)計(jì)算的；那么想用原碼計(jì)算的話，那可就麻煩了……
我們知道，最初CPU的內(nèi)部最重要的核心器件叫ALU（Arithmetic and Logic Unit算術(shù)邏輯單元），其中的A就是數(shù)學(xué)。
ALU的核心是加法器，這是個(gè)隨參與計(jì)算的數(shù)值的二進(jìn)制位數(shù)指數(shù)增長(zhǎng)的數(shù)字電路。較早期的CPU里面絕大多數(shù)的邏輯門(mén)都被拿來(lái)做這個(gè)加法器了。
但是沒(méi)關(guān)系，如果你調(diào)過(guò)機(jī)械表，就知道從8點(diǎn)調(diào)到1點(diǎn)的方式有兩種：一種是往后撥7個(gè)小時(shí)，一種是往前撥5個(gè)小時(shí)。
換句話說(shuō)，在時(shí)鐘鐘面上，8-7和8+(12-7)效果相同，最終得到的都是1.
類(lèi)似的，1個(gè)字節(jié)的加減法，如果計(jì)算結(jié)果超過(guò)255就會(huì)造成溢出，溢出的高位二進(jìn)制數(shù)據(jù)無(wú)處存放自動(dòng)丟棄，計(jì)算結(jié)果就出錯(cuò)了——但反過(guò)來(lái)想，這不恰恰就是一個(gè)邏輯鐘面嗎？
顯然，我們也可以利用這個(gè)性質(zhì)做減法：減32完全可以當(dāng)成加(256-32)來(lái)算嘛；而由于二進(jìn)制的特點(diǎn)，256-32恰好又等于32這個(gè)數(shù)值取反。
類(lèi)似的，有符號(hào)數(shù)其實(shí)是一個(gè)符號(hào)位和7個(gè)二進(jìn)制位，7個(gè)二進(jìn)制位能表示的最大數(shù)是127；因此減32就可以用加(128-32)代替（和表盤(pán)上的12點(diǎn)/0點(diǎn)一樣）。
于是，減法器就可以不做，一個(gè)加法器就足夠用了——省了好大一坨門(mén)電路，CPU的制造成本一下子就去了一大塊。
既然最終減法一定要這樣做……那么從一開(kāi)始就不應(yīng)該用原碼表示負(fù)數(shù)，對(duì)吧。
不然每次計(jì)算都還得用一條指令判斷判斷符號(hào)位，然后該取反取反……這速度可就慢下去了。
如果從一開(kāi)始，負(fù)數(shù)就取反表示，那么負(fù)數(shù)加法完全無(wú)需判斷，拎起來(lái)就加——圓滿。
反碼是一個(gè)充滿了工程師的惡臭味的優(yōu)秀方案。
說(shuō)它優(yōu)秀，是因?yàn)樗拇_解決問(wèn)題；說(shuō)它惡臭，是因?yàn)樗闷饋?lái)實(shí)在麻煩，需要很多“微妙”的調(diào)整才能得到正確結(jié)果。
比如，它的符號(hào)位相加后，如果產(chǎn)生了進(jìn)位，就要把進(jìn)位送回去加到最低位上——你得搞一大張真值表才能確定這個(gè)做法的正確性。
嗯……這就是最容易產(chǎn)生沒(méi)人看得懂但絕對(duì)不能動(dòng)不然就會(huì)出錯(cuò)的神奇代碼的重災(zāi)區(qū)——反正它就是能工作；剛開(kāi)始我還知道為什么得這樣做，一段時(shí)間后就只有上帝知道了。
反碼行為奇特的根本原因在于，它有兩個(gè)零：＋0和－0，分別對(duì)應(yīng)于00000000和10000000——還記得嗎？我們規(guī)定第一位是符號(hào)位。因此最前面的0/1是±號(hào)，并不是數(shù)值。
但＋0和－0都是0.它們是同一個(gè)數(shù)據(jù)，卻得到了兩個(gè)碼點(diǎn)。
打個(gè)比方的話，這就好像夜里12點(diǎn)就是0點(diǎn)一樣；結(jié)果我們的鐘匠師傅沒(méi)想明白，偏偏要在鐘面上、12點(diǎn)和1點(diǎn)之間添加一個(gè)零點(diǎn)——然而邏輯上我們?nèi)匀恍枰?2小時(shí)是一圈。
現(xiàn)在，你還想好好調(diào)表嗎？算的準(zhǔn)準(zhǔn)的，8點(diǎn)前擰5個(gè)小時(shí)就是1點(diǎn)了；結(jié)果擰完一看，0點(diǎn)？
而反碼的計(jì)算規(guī)則呢，無(wú)異于規(guī)定了過(guò)12點(diǎn)的方向——正著過(guò)正常去1點(diǎn)，反著過(guò)會(huì)先停在-0點(diǎn)上，所以必須推一把。
注意這個(gè)調(diào)整是計(jì)算過(guò)程的一部分，每次計(jì)算都必須即時(shí)調(diào)整。這是一個(gè)額外的負(fù)擔(dān)——和顯示時(shí)查表轉(zhuǎn)換到光學(xué)點(diǎn)陣/向量是不想干的兩個(gè)過(guò)程。
或者說(shuō)，數(shù)據(jù)的內(nèi)部表示和外部顯示之間的轉(zhuǎn)換是另外一個(gè)必不可少的流程。這里只要不是太過(guò)復(fù)雜就不能算額外負(fù)擔(dān)；而原碼/反碼這兩個(gè)編碼方案已經(jīng)影響了計(jì)算過(guò)程，造成了額外的性能消耗。
一言以蔽之：能解決問(wèn)題，但是太難看、太復(fù)雜。
但是在介紹補(bǔ)碼之前，我先來(lái)講一個(gè)數(shù)學(xué)概念—群。
群大概來(lái)源于“算術(shù)運(yùn)算以及適用算法運(yùn)算的集合”的抽象，但又超脫于簡(jiǎn)單的四則運(yùn)算，是一切計(jì)算/變換類(lèi)似行為的總綱。
在群的觀念里，加減乘除都是一種“二元運(yùn)算”；二元運(yùn)算是一個(gè)集合G中任意兩個(gè)元素向群中另一個(gè)元素的映射。比如1+1就映射到了2。
注意群有“封閉性”，意思是群中任意兩個(gè)元素經(jīng)過(guò)二元運(yùn)算后，映射的那個(gè)元素都還要在群中。因此(自然數(shù),加減法)就不是一個(gè)群，因?yàn)闇p法會(huì)映射到負(fù)數(shù)。
此外，二元運(yùn)算需要滿足結(jié)合律，要有單位元（任何元素與之執(zhí)行二元運(yùn)算后都會(huì)映射到該元素自身），等等。
更復(fù)雜的東西我也還看不懂（對(duì)不起，俺數(shù)學(xué)水平太弱雞了）；但了解這么多其實(shí)也已經(jīng)夠了：反碼存在兩個(gè)0，意味著對(duì)于加法運(yùn)算來(lái)說(shuō)，它存在兩個(gè)不同的單位元；而根據(jù)群的定義，群里面有且只有一個(gè)單位元。
因此，在反碼這個(gè)基礎(chǔ)上無(wú)法定義一個(gè)群——用人話說(shuō)就是，你不可能期望找到一種不需要判斷的算法，從而基于反碼模擬加減法運(yùn)算。
沒(méi)錯(cuò)，反碼有兩個(gè)零這事并不像外行想象的那樣無(wú)關(guān)痛癢——它并不僅僅是浪費(fèi)了一個(gè)碼點(diǎn)的問(wèn)題，而是破壞了相關(guān)結(jié)構(gòu)的性質(zhì)的問(wèn)題。
不妨返璞歸真，看看這個(gè)問(wèn)題的本質(zhì)。
很簡(jiǎn)單，和上面等待寫(xiě)入時(shí)間信息的無(wú)字鐘面一樣：這里有256個(gè)不同的二進(jìn)制編碼，我們需要給它們分別指定一個(gè)意義。
我們希望它們是連續(xù)的編碼，且基于二進(jìn)制的排序不能打亂——這樣我們才能使得基于這些碼點(diǎn)的、拋棄溢出位的加減法運(yùn)算構(gòu)成一個(gè)群。
只有它們是一個(gè)群，我們才能簡(jiǎn)單明了的在加法器上支持加減法運(yùn)算——而不是先算一個(gè)瑕疵值然后想辦法彌補(bǔ)、把硬件/軟件變得復(fù)雜。
打個(gè)比方的話，就是把這些二進(jìn)制編碼按順序排于鐘面，我們要在上面填上帶±號(hào)的數(shù)字。
原碼的問(wèn)題在于，它的編碼排列“不按固定順序”，使得因此必須把負(fù)數(shù)先“顛倒”一下（實(shí)際上取反）才能用；而反碼頭疼醫(yī)頭腳疼醫(yī)腳，大致保證了編碼順序，卻沒(méi)能消除額外的無(wú)效碼點(diǎn)，造成在±0這個(gè)位置兩個(gè)碼點(diǎn)對(duì)應(yīng)一個(gè)編碼。
這兩個(gè)編碼都沒(méi)法自然構(gòu)造出加法群。
可以很清晰的看出補(bǔ)碼編碼的連續(xù)性。
（相比之下，原碼是0 1 2 3……127 -0 -1 -2……-127，順序上一會(huì)兒從小到大一會(huì)兒從大到小；補(bǔ)碼按照一定的順序編碼但是多了個(gè)-0；
只有補(bǔ)碼，嚴(yán)格按照統(tǒng)一的順序連續(xù)排列數(shù)字）。
既然連續(xù)，那么通過(guò)加一個(gè)值（可能為負(fù)）調(diào)整對(duì)稱(chēng)中心（比如0的位置是00000000還是11111111）、然后再引入模運(yùn)算剔除高位溢出，這個(gè)群就建立起來(lái)了。
換句話說(shuō)，隨便你如何編碼，只要?jiǎng)e改變底層的二進(jìn)制順序、不要有跳躍/重復(fù)碼點(diǎn)，那么這個(gè)計(jì)算就仍然是一個(gè)群。
這個(gè)計(jì)算過(guò)程和最終的顯示是完全脫鉤的，你不需要在計(jì)算時(shí)做任何調(diào)整——溢出就隨它溢出，反正（在模運(yùn)算的層面上）算出來(lái)的值總是對(duì)的。這是群的性質(zhì)所保證的。
（注意是“模運(yùn)算的層面上”，換句話說(shuō)算出來(lái)的實(shí)際意義是什么還是得你自己解釋?zhuān)挥绕涫钱a(chǎn)生溢出之后。）
比如，哪怕你把它的編碼范圍改成[-129, 126]或者[-1, 254]，這也僅僅是一個(gè)加/減一個(gè)整數(shù)的映射操作而已；核心計(jì)算法則仍然會(huì)滿足你的需求）。
甚至，你規(guī)定0代表1、1代表0，最終也不過(guò)是顯示時(shí)換一個(gè)不同的譯碼表而已，并不改變問(wèn)題性質(zhì)。
7位、8位或者32位、128位二進(jìn)制全都適用。
一旦明白了這個(gè)……再寫(xiě)環(huán)形緩沖時(shí)，你還要費(fèi)勁巴拉的檢查什么時(shí)候需要繞回嗎？求個(gè)余（或許還需要再視情況不同增減一個(gè)常數(shù)），完事。
哪怕群論門(mén)檻都摸不到的這么一點(diǎn)點(diǎn)皮毛知識(shí)，帶來(lái)的就是眼界水平的差異。
一旦了解了這點(diǎn)皮毛，關(guān)于補(bǔ)碼的種種清規(guī)戒律神奇規(guī)則，也就平常。
但沒(méi)有這個(gè)眼界，就容易像反碼那樣動(dòng)輒得咎；反之，隨你怎么玩都不會(huì)出界。
沒(méi)錯(cuò)。別看這東西簡(jiǎn)單；
但想要做第一個(gè)提出的人，你還是需要強(qiáng)悍的洞察力的。
站在群論的肩膀上、反向碾壓這個(gè)問(wèn)題，這是伽羅瓦之后的現(xiàn)代人特有的福利。
干貨總結(jié)：I2C總線詳細(xì)要點(diǎn)
若覺(jué)得文章不錯(cuò)，轉(zhuǎn)發(fā)分享，也是我們繼續(xù)更新的動(dòng)力。
5T資源大放送！包括但不限于：C/C++，Linux，Python，Java，PHP，人工智能，PCB、FPGA、DSP、labview、單片機(jī)、等等！
在公眾號(hào)內(nèi)回復(fù)「更多資源」，即可免費(fèi)獲取，期待你的關(guān)注~
長(zhǎng)按識(shí)別圖中二維碼關(guān)注
免責(zé)聲明：本文內(nèi)容由21ic獲得授權(quán)后發(fā)布，版權(quán)歸原作者所有，本平臺(tái)僅提供信息存儲(chǔ)服務(wù)。文章僅代表作者個(gè)人觀點(diǎn)，不代表本平臺(tái)立場(chǎng)，如有問(wèn)題，請(qǐng)聯(lián)系我們，謝謝！
欲知詳情，請(qǐng)下載word文檔
下載文檔
本站聲明： 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布，目的在于傳遞更多信息，并不代表本站贊同其觀點(diǎn)，本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請(qǐng)聯(lián)系該專(zhuān)欄作者，如若文章內(nèi)容侵犯您的權(quán)益，請(qǐng)及時(shí)聯(lián)系本站刪除。
