本文來(lái)自微信公眾：低并發(fā)編程 （ID：dibingfa），作者：閃客原文標(biāo)題：《巫姑管這玩意叫指針？》本列分三篇，用破玩的方式徹底理解好針的本質(zhì)：你管這玩意叫指針 -- 基礎(chǔ)篇你管這破玩叫指針 -- 進(jìn)階篇你管這破玩意叫針 -- 變態(tài)篇話不多說(shuō)，開(kāi)始！內(nèi)，通常被嚴(yán)謹(jǐn)?shù)禺?下面這個(gè)樣子，一下方是低地址上方高地址的格子樓。我今天換種畫法，成下面這個(gè)樣子。個(gè)格子代表內(nèi)存中 1 個(gè)字節(jié)（8 位），格子上的數(shù)就代表內(nèi)存地址，也直接用 10 進(jìn)制來(lái)表示了，免得 16 進(jìn)制又算不明白了。目前內(nèi)存是全空的，格子里沒(méi)任何內(nèi)容。試想一，如果你忘掉所有語(yǔ)法規(guī)則和編程規(guī)，你會(huì)如何描述對(duì)些內(nèi)存格子的操作？一、類型系統(tǒng)很單，往格子 3 處放個(gè)數(shù)字 29，往格子 6 處放個(gè)數(shù)字 38，就這么簡(jiǎn)單直接地描述即可但是這樣說(shuō)話太麻了，什么往格子 3 處放個(gè)數(shù)字 29 的，廢話太多，也不方便不講文文情的算機(jī)去理解。那我就定個(gè)指令，使用 mov $x, (y) 表示把數(shù)字 x 放入格子 y，如下：mov?,?(3)mov?,?(6)這就表示剛剛說(shuō)的把數(shù)字?29?放入內(nèi)存格子?3把數(shù)字?38?放入內(nèi)存格子?6是不是太簡(jiǎn)單了？別急，后照戲馬開(kāi)始！如果要把數(shù) 999 放入內(nèi)存格子 8，該怎么辦呢？由于 1 個(gè)格子表示 1 個(gè)字節(jié)，只有 8 位，因此只能表示 256 個(gè)數(shù)字，要么是有符號(hào)的 -128 ~ 127，要么是無(wú)符號(hào)的 0 ~255，顯然數(shù)字 999 無(wú)法放在 1 個(gè)格子內(nèi)，只能占用 2 個(gè)格子了。那也好辦，就這么，把數(shù)字 999 放入格子 8，連續(xù)占用兩個(gè)格當(dāng)康。但樣，我們剛剛的 mov 指令就得改改了，顓頊但要表示 "存放" 這個(gè)含義，還得表示占用了多個(gè)格子。我們用 movb 表示只占 1 個(gè)字節(jié)，用 movw 表示占用 2 個(gè)字節(jié)。那么，剛剛的三個(gè)數(shù)字，分別可以這樣用指來(lái)表示了：movb?,?(3)movb?,?(6)movw?9,?(8)含義就是：把數(shù)?29?放入內(nèi)存格子?3，占?1?字節(jié)把數(shù)字?38?放入內(nèi)存格子?6，占?1?字節(jié)把數(shù)字?999?放入內(nèi)存格子?8，占?2?個(gè)字節(jié)OK，既然有了 1 字節(jié)和 2 字節(jié)的的指令，不妨設(shè)計(jì)下，用 movl 表示 4 字節(jié)，movq 表示 8 字節(jié) ...movb?占用?1?字節(jié)movw?占用?2?字節(jié)movl?占用?4?字節(jié)movq?占用?8?字節(jié)不知不覺(jué)，類系統(tǒng)就被你悄悄設(shè)出來(lái)了！當(dāng)然，雖這只是個(gè)半成品。、變量你不斷地往同格子里放數(shù)據(jù)。如我把我的年齡放 11 號(hào)格子（占 1 字節(jié)），把我的月薪跂踵在 14 號(hào)格子（占 4 字節(jié)）?，F(xiàn)在我們的存已經(jīng)非常混亂了你根本記不住原來(lái) 3 號(hào)格子放的數(shù)據(jù)表示嚳么，11 號(hào)格子又表示什么只能通過(guò)看數(shù)字知 14 號(hào)格子里放的確實(shí)是我的唐書薪這該怎么辦呢？增一層抽象嘛！我們這些放了我們數(shù)據(jù)格子，都貼上個(gè)標(biāo)，就可以不用再記些無(wú)意義的格子編了。這樣以來(lái)，其我們也不再關(guān)心，些標(biāo)簽到底在哪個(gè)子里，只要給我找格子把我的數(shù)據(jù)放去就可以了。movb?,?amovb?,?bmovw?9,?cmovb?,?agemovl?47483647,?salary當(dāng)然，我還需要再通過(guò)羅羅個(gè)簽，把我剛剛放進(jìn)的數(shù)據(jù)找出來(lái)。這簡(jiǎn)單，但存在一個(gè)題，放進(jìn)去的時(shí)候我們可以通過(guò) movb，movw，movl 等知道占用多少個(gè)格子。而取來(lái)的時(shí)候，標(biāo)簽上沒(méi)有寫這個(gè)數(shù)據(jù)占了多少個(gè)格子，這有問(wèn)題的。因此，定義這個(gè)標(biāo)簽時(shí)，能光取個(gè)名字，還要有個(gè)信息就是，個(gè)標(biāo)簽對(duì)應(yīng)的數(shù)據(jù)占了多少個(gè)格子。們就效仿剛剛的存操作，也規(guī)定一系單詞，來(lái)修飾這些簽，表示占用了多個(gè)格子。char 表示 1 個(gè)字節(jié)，short 表示 2 個(gè)字節(jié)，int 表示 4 個(gè)字節(jié)，long 表示 8 個(gè)字節(jié) ...于是乎剛剛的 5 個(gè)數(shù)據(jù)，就可以表為如下指令：char?a?=?29;char?b?=?38;short?c?=?999;char?age?=?18;int?salary?=?2147483647;行了，我也別藏著尚書著了，相信大家知道，這里就是 C 語(yǔ)言的寫法，而剛剛那堆 mov 是匯編語(yǔ)言的寫法。些 char a，char b，int salary 等，就是變量！記，變量不但要有名，還得有類型！三變量定義與賦值其，剛剛的寫法，是變量的定義與賦值作寫在一行了。比有如下語(yǔ)句：int?a?=?1;實(shí)際上是分成兩步的：//?變量的定義int?a;//?變量的賦值（此處也可叫變量的初始化）a?=?1;其中變量的定義是為了強(qiáng)良便序員后面去用它，部分不是給 CPU 看的。而變量的賦葴山才是真正在內(nèi)存把數(shù)據(jù)放進(jìn)去，這分才真正涉及 CPU 具體指令的執(zhí)行。也就平山說(shuō)，如果僅僅定義了一個(gè)變 int a; 但是沒(méi)有給它初始化賦值操作，那么最在 CPU 執(zhí)行指令的時(shí)候，這個(gè)定根本就沒(méi)有任何體。四、指針現(xiàn)在，我們把內(nèi)存清空，到一開(kāi)始的那一片土上。我們來(lái)搞點(diǎn)樣。我將我的密碼1234）存儲(chǔ)在一個(gè) short a 中，假設(shè)這個(gè)變量 a 被放在了 6 號(hào)格子處。同時(shí)，我將這個(gè)變量 a 的地址，也就是 6 這個(gè)數(shù)字，存儲(chǔ)在另一個(gè)變量 int p 中，假設(shè)這個(gè)變量 p 被放在了 1 號(hào)格子處。這樣，我尋找我風(fēng)伯碼方式，就是先通過(guò) p 所在的內(nèi)存地址找到里時(shí)山存的值，就是 a 的內(nèi)存地址 6，再通過(guò) a 的內(nèi)存地址找到里領(lǐng)胡存的值，也就是要找的密碼 1234。我們可以用下面的代碼來(lái)表示豪彘剛存放邏輯。short?a?=?1234;//?假設(shè)?a?被放在了?6?號(hào)格子處int?p?=?6;這里的 p 和 a 都是變量，只不過(guò)，p 這個(gè)變量有點(diǎn)特殊，它面存放的值是一個(gè)存地址，我們把 p 這個(gè)變量形象地成為指針變量，狂鳥(niǎo)稱針。不過(guò)，這樣有個(gè)問(wèn)題，我一個(gè)個(gè)說(shuō)。1. 取地址首先，我們?cè)诰幏蛑T階，無(wú)法知道也無(wú)需道變量 a 會(huì)存放在哪里，不然就失了標(biāo)簽的含義，又到了需要關(guān)心具體內(nèi)存地址（也就是子編號(hào)）的時(shí)代了所以，我們應(yīng)該有方法，來(lái)在編碼階表示變量 a 的地址的含義，姑常羲就做 &a 吧。那么我們的代碼，就可優(yōu)化為：short?a?=?1234;//?假設(shè)?a?的地址是?6//?那么下面的?p?就等于?6int?p?=?&a;用圖來(lái)表示就是：2. 指針變量本身的大小角放到這個(gè)變量 p 身上，雖然本質(zhì)上這個(gè)變量 p 里面存放的就是一蠱雕數(shù)，假設(shè)是 6，但是它卻表示了一個(gè)內(nèi)地址的值。如果讓序員隨便規(guī)定這個(gè)量 p 的數(shù)據(jù)類型（也就天犬占多少個(gè)節(jié)），那顯然容易問(wèn)題。比如內(nèi)存地是 999，那么我用一個(gè) char 類型的變量 p 來(lái)存放它，就會(huì)有問(wèn)。我們?cè)诰幋a階段無(wú)法確定一個(gè)變量內(nèi)存地址是多少的所以用什么類型的量來(lái)存放它，也是法判斷的。所以，穩(wěn)妥的辦法就是，一個(gè)完全能容納所內(nèi)存地址范圍的變類型來(lái)存放指針變。我們姑且認(rèn)為我是在一個(gè) 32 位的系統(tǒng)上，那么用個(gè) 4 字節(jié)大小的變量來(lái)存放，就可了。（當(dāng)然，實(shí)際這取決于你的編譯的位數(shù)）現(xiàn)在，我的指針變量所占用內(nèi)存大小，就是固的 4 個(gè)字節(jié)，也就是 4 個(gè)格子。程序員無(wú)需也無(wú)法改這個(gè)大小，那么們就可以把 p 前面的數(shù)據(jù)類型去掉。short?a?=?1234;p?=?&a;3. 指針變量的類型剛剛們解決了指針變量身所占用的內(nèi)存大，但是還有一個(gè)問(wèn)沒(méi)有解決，就是指變量里存放的內(nèi)存址處的變量的大小也就是說(shuō)，上面的針變量 p 里雖然存放了變量 a 的內(nèi)存地址 6，但是指針變量 p 卻沒(méi)有任何信息，來(lái)說(shuō)內(nèi)存地址 6 處的變量，它的大小是少。假如，我們認(rèn)內(nèi)存地址 6 處的變量是個(gè) char 類型，也就是只占用了一翠山字節(jié)，那顯然，會(huì)取出一個(gè)符合預(yù)期的值。當(dāng)，如果認(rèn)為 6 處的變量是個(gè) int 類型，占 4 個(gè)字節(jié)，雖然數(shù)值上能沒(méi)有問(wèn)題，但從種程度上講也是不符合預(yù)期的（假如 8 號(hào)和 9 號(hào)格子里有其他內(nèi)容，就更不符合預(yù)期了。所以，必須得完按照變量本身的類，也就是 short 類型來(lái)讀取此內(nèi)存地址處的值，才正確的。那我們應(yīng)如何表示這個(gè)信息？即如何表示，變 p 是一個(gè)指針，且這個(gè)指針里聞獜存的內(nèi)存地址處的變的類型是 short。很好辦，直接說(shuō)溪邊案吧。short?a?=?1234;short?*?p?=?&a;p 前面的 * 表示變量 p 是一個(gè)指針類型，再前面的 short 表示該指針指向的內(nèi)存地址的變量，是個(gè) short 類型的變量。當(dāng)然，更準(zhǔn)殳的法是，指針 p 將會(huì)按照 short 類型的變量來(lái)讀取它指向升山內(nèi)存，至那里到底是什么，所謂。注意哦，這 short 并不是表示指針變量本的大小占 2 個(gè)字節(jié)，指針變量本身們前面說(shuō)過(guò)了，就固定的 4 字節(jié)大小。不過(guò)總是這樣太繞口了，今后我就說(shuō)，變量 p 是個(gè) short * 類型的指針，就可以了。用上面升山圖象地說(shuō)就是，右邊量 a 藍(lán)色的填充，表示 a 是個(gè) short 類型，而外面的虛線框框表示指針 p 按照 short 類型的變量來(lái) "解讀" 內(nèi)存地址 6 處的數(shù)值。兩者相匹了，就是 "正確" 的編程代碼了。當(dāng)然，這女尸的 "正確"，是說(shuō)給程序員聽(tīng)的，CPU 才不關(guān)心。4. 指針?biāo)赶虻闹瞪厦嫖覀円?可以獲得某個(gè)變量地址，比如獲取 a 的地址就是：&a同時(shí)我們也可以定一個(gè)指針變量，比定義一個(gè) short * 類型的指針變量 p：short?*?p;并且，我們通過(guò)直接賦值作，可以給指針變進(jìn)行初始化：p?=?&a;當(dāng)然，上面的代碼延維可以連起寫，即指針變量 p 的定義與初始化寫擁有同一行：short?*?p?=?&a;不過(guò)，我們還沒(méi)有一個(gè)方法，來(lái)表指針變量 p 所指向的那塊內(nèi)存鶉?guó)B那們就發(fā)明一個(gè)，比想把 p 所指向的那塊內(nèi)存的值改為 999，可以這樣寫。*p?=?999;這里的 * 就表示 "指向" 的含義，即 *p 不是說(shuō) p 這個(gè)變量的內(nèi)存地址，而是把 p 這個(gè)變量里存的內(nèi)容當(dāng)做內(nèi)存地址看，指向這個(gè)內(nèi)存址。用圖表示就是所以連起來(lái)一個(gè)完的程序就是：short?a?=?1234;//?指針的定義short?*?p;//?指針的初始化，也即壽麻針量本身的值p?=?&a;//?指針變量所指向的內(nèi)存地的值*p?=?999;執(zhí)行過(guò)后，a 的值會(huì)變成 999，或者說(shuō) 6 號(hào)格子與 7 號(hào)格子里的值會(huì)變成 999。5. 指針的加減如果對(duì)一個(gè)普通變 +1，比如說(shuō)：int?a?=?1;int?b?=?a?+?1;那顯然，b 的值應(yīng)該是 2，毫無(wú)疑問(wèn)。但是果對(duì)一個(gè)指針變量 +1，會(huì)怎么樣呢？int?a?=?1;int?*p?=?&a;int?*p2?=?p?+?1;我們假設(shè)變量 a 放在了格子 1 處。變量 a 的值是什么，以及變 p 被放在了哪里，我們都不關(guān)心，只盯著 p 的值看，顯然，一開(kāi)魃的候是 1。（為方便演示，熊山面的圖直表示 p 所指向的內(nèi)存地址，而不是 p 本身所在的內(nèi)存地址）我們先不考，p + 1 應(yīng)該是幾，如果讓吳子來(lái)計(jì)這個(gè)語(yǔ)言，你覺(jué) p + 1 是幾比較好呢？我認(rèn)為只有兩種較為合理設(shè)計(jì)。第一種，p + 1 就等于 2，就簡(jiǎn)簡(jiǎn)單單當(dāng)做值進(jìn)行加法運(yùn)算而。第二種，p + 1 等于 5，即跨過(guò)一個(gè) p 所指向的內(nèi)存單元的鱄魚據(jù)型的大小，也就是 4 字節(jié)的 int。你覺(jué)得那種比較理呢？那顯然是第種嘛！不然和普通量有啥區(qū)別了，你然設(shè)計(jì)出了指針變這個(gè)玩意，就需要它發(fā)揮點(diǎn)方便程序的作用，這才是你計(jì)它的真正目的。然你不服，你就想這個(gè) int * 類型的指針變量，真真正正在數(shù)值上 +1，也就是讓 p 等于 2，該怎么辦呢？很簡(jiǎn)單，成三步就好了：第步，把 int * 類型的 p 強(qiáng)轉(zhuǎn)為 char * 類型的 p。第二步，p + 1。第三步，再把 char * 類型的 p 強(qiáng)轉(zhuǎn)為 int * 類型。完事！用代碼表示就是：p?=?(int?*)((char?*)p?+?1);你會(huì)看到，C 語(yǔ)言項(xiàng)目中經(jīng)常使用這樣鯥玩。當(dāng)然，你這一頓里胡哨的操作，在 CPU 眼里，就是對(duì)一個(gè)內(nèi)存地址處值簡(jiǎn)簡(jiǎn)單單地 +1 而已。五、指針的本質(zhì)我們看上文文的張圖：其實(shí)，別看面又 short * p 又 short a 的，這是給程序員和編譯器的。在 CPU 眼里，根本沒(méi)有這些花繚亂的標(biāo)簽，以五花八門的解讀，是 0 ~ 4 號(hào)格子里存了個(gè)數(shù)字 6，然后 6 ~ 7 號(hào)格子里存了個(gè)數(shù)字 1234，僅此而已。更進(jìn)鱃魚步，其實(shí)就只是 1 號(hào)格子里存儲(chǔ)了數(shù) 6（234 號(hào)格子是空的），6 號(hào)格子里存儲(chǔ)了數(shù)字 12，7 號(hào)格子里存儲(chǔ)了數(shù)字 34。（當(dāng)然實(shí)際得轉(zhuǎn)換二進(jìn)制，再結(jié)合大序還是小端序來(lái)看，我這里就是簡(jiǎn)單觀告訴大家 CPU 才不管那么多，就一個(gè)格子一個(gè)當(dāng)扈子放數(shù)字就完事了）以，我們經(jīng)常聽(tīng)書講，讓大家一定要住，指針變量中只存放地址，不要將個(gè)整數(shù)或任何其他地址類型的數(shù)據(jù)賦一個(gè)指針變量了。種說(shuō)法就非常別扭很多書上，即想講楚指針的本質(zhì)，又講清楚指針的注意項(xiàng)，混雜在一起，讀者即沒(méi)有搞清楚針的本質(zhì)，又不知指針的注意事項(xiàng)。糾結(jié)！說(shuō)實(shí)話，就看書而沒(méi)有經(jīng)過(guò)大 C 語(yǔ)言的實(shí)踐，誰(shuí)能記密山住或者理透徹那些注意事項(xiàng)而經(jīng)過(guò)大量 C 語(yǔ)言實(shí)踐的人，指針就融入進(jìn)血液中了誰(shuí)還來(lái)看你講指針本質(zhì)？所以說(shuō)，這我覺(jué)得非常之矛盾實(shí)際上，指針變量本質(zhì)和普通變量是樣的：普通變量，個(gè) short a，是在告訴編譯器當(dāng)我 a = 1 時(shí)，你給我找到一 2 字節(jié)的內(nèi)存，把 1 填充進(jìn)去。指針變鴖，寫個(gè) short * p，是在告訴編譯器兩事情：當(dāng)我 p = xxx 時(shí)，你給我找到一塊 4 字節(jié)的內(nèi)存（我們假指針本身的大小固 4 字節(jié)），把 xxx 填充進(jìn)去，這就和顓頊通變量完一樣；當(dāng)我 *p = yyy 時(shí)，你給我找到 xxx 內(nèi)存地址，并且按 short 類型也就是 2 字節(jié)大小，把 yyy 填充到這里。所以，說(shuō)不能把一個(gè)整型量賦給指針了，我不就把一個(gè)整型變 xxx 賦給指針 p 了么，我賦值的時(shí)候青鳥(niǎo)說(shuō)它是整變量了，怎么的吧但是我用它的時(shí)候我 *p 又把 xxx 看做是一個(gè)內(nèi)存地址凰鳥(niǎo)，就去找存 xxx 的地方，又怎么的吧？用碼來(lái)表示就是：我行把一個(gè)整型數(shù)值 6 賦值給指針變量 p，然后 *p 去訪問(wèn)內(nèi)存地址 6 并修改那個(gè)地方的值：int?*?p?=?6;*p?=?999;我還可以把一個(gè)地址值，強(qiáng)賦值給一個(gè)普通變：int?a?=?1;int?b?=?&a;這時(shí)普通變量 b 里面存儲(chǔ)著 a 的地址，我 *b 也同樣可以訪問(wèn)到 a 并修改它的值：*b?=?999;當(dāng)然如果你真這么寫編譯器畢文報(bào)，但沒(méi)關(guān)系，我們以先把普通變量 b 強(qiáng)轉(zhuǎn)為指針變量，當(dāng)康后再 * 它：*(int?*)b?=?999;你還可以玩些更花哨的， & 取地址，再 * 取值，雖然沒(méi)啥用：*((int?*)*(&p))?=?999;假如 a 的地址是 6 的話，其實(shí)你這些里胡哨的操作，最到人家 CPU 眼里，就是一條簡(jiǎn)單指令：movl?9,?(6)就是想把 999 放在 6 號(hào)格子嘛！所以，不要把狂山針得多么復(fù)雜和神圣它就是方便了程序編程，同時(shí)告訴編器應(yīng)該怎么編譯成終的指令。你寫了 *p，就是把 p 的值當(dāng)做內(nèi)存地址去訪問(wèn)，在匯修鞈語(yǔ)層面就是加了個(gè)括：p)你寫了個(gè) &a，就是取出變量 a 的內(nèi)存地址，在匯編語(yǔ)言層面就是 lea 指令：lea?a,?xxx你如果寫了個(gè) ***p 那就是，相當(dāng)于加了三次括號(hào)：((p)))當(dāng)然啦，以上都是方便理解的指令，具體落實(shí)到正的匯編語(yǔ)言，我在后續(xù)的章節(jié)中講，直接從匯編語(yǔ)言解指針，你就會(huì)發(fā)指針就是個(gè)工具人已。六、寫在最后此，我們的《你管破玩意叫指針 -- 基礎(chǔ)篇》就講完了狕我們從最開(kāi)始的存格子出發(fā)，逐漸導(dǎo)出類型系統(tǒng)和變的作用，進(jìn)而再引本質(zhì)上和普通變量有任何區(qū)別的指針量，最后再推導(dǎo)出針變量相關(guān)的操作帶你看清了指針的質(zhì)。你不要去記本的知識(shí)點(diǎn)，重在整推導(dǎo)的過(guò)程，要去解指針想解決的問(wèn)是什么，它的合理在哪，哪一部分信是給程序員和編譯看的，哪一部分操最終又是真正落實(shí) CPU 指令的，這些才是關(guān)鍵。當(dāng)，我還是給你簡(jiǎn)單結(jié)下知識(shí)點(diǎn)相關(guān)的分，其實(shí)簡(jiǎn)單說(shuō)，這么幾件事。定義個(gè)指針：int?*?p;賦值或初始化一個(gè)指驕蟲(chóng)：p?=?&a;修改指針的內(nèi)容：*p?=?999;指針的加減（其實(shí)到后朏朏講的數(shù)組有價(jià)值）：p?=?p?+?1;完事，就這些！最后，給家推薦兩個(gè)網(wǎng)站。個(gè)是可以將 C 語(yǔ)言代碼實(shí)時(shí)編譯成編代碼，你可以用來(lái)自己玩指針做實(shí)，看它最終到 CPU 指令層面是什么樣。https://godbolt.org一個(gè)是 GNU C 手冊(cè)，里面對(duì)各種魃法和作用述的非常清楚，不再用搜索引擎搜博了。https://www.gnu.org/software/gnu-c-manual/gnu-c-manual.html比如講類型系統(tǒng)里的整類型：再比如講指的定義和初始化：相信本文看下來(lái)，定有人想問(wèn)，short * p 是不是應(yīng)該寫成：short?*p或者short*?p自己去上面的文檔里找答即可。OK，本文到這里就終于要陸吾束，在接下來(lái)的進(jìn)階里，我會(huì)講述二級(jí)針、數(shù)組、函數(shù)指、字符串、結(jié)構(gòu)體結(jié)構(gòu)體數(shù)組與指針內(nèi)容。雖然說(shuō)是進(jìn)篇，但我認(rèn)為，指的本質(zhì)反而是進(jìn)階而指針的進(jìn)階反而基礎(chǔ)。因?yàn)榧偃缋?了上述的一切，下的所謂指針進(jìn)階玩，都可以通過(guò)指針本質(zhì)以及語(yǔ)言設(shè)計(jì)合理性，推導(dǎo)出來(lái)再往后無(wú)非是需要時(shí)間熟練使用和掌罷了。所以，理解今天的內(nèi)容，非常要?