大家好，我是小風(fēng)哥，這是一篇首發(fā)于2021年9月的、為數(shù)不多關(guān)于數(shù)據(jù)結(jié)構(gòu)與算法的文章，當(dāng)時(shí)本來(lái)想寫一個(gè)系列，但因?yàn)榉N種原因擱置了，有時(shí)選擇太多未必會(huì)更好，一年做三件事和三年做一件事的效果肯定不同，話不多說(shuō)，以下是正文。

鏈表是計(jì)算機(jī)科學(xué)中極其經(jīng)典的一種數(shù)據(jù)結(jié)構(gòu)，那么作為程序員我們?cè)撛鯓永斫怄湵砟兀?/p>

貨車 VS 火車

作為兩大運(yùn)輸工具，貨車以及火車想必大家都很熟悉，但你想沒(méi)想過(guò)這兩者的區(qū)別？

我們首先來(lái)看貨車。

對(duì)于貨車的話，如果有一堆貨物想用貨車來(lái)運(yùn)輸，那么你首先要考慮的是什么呢？

答案顯而易見，載重。因?yàn)樨涇嚨妮d重是有限的，不可變的，你沒(méi)辦法把貨車拆了臨時(shí)裝上一截，如果貨物的重量是10噸，那么想用貨車運(yùn)輸則必須找一個(gè)載重不小于10噸的車，否則你沒(méi)有辦法拉走。

假設(shè)你現(xiàn)在選好一輛貨車，但不巧的是，當(dāng)你把東西都裝到車上以后發(fā)現(xiàn)客戶又額外追加一些訂單，因此還有一些貨物需要一并運(yùn)走，但由于貨車的載重有限，這時(shí)你該怎么辦呢？

沒(méi)有辦法，你不得不重新去找一輛載重更多的貨車，我們假設(shè)載重更大的車為B車，原來(lái)的車為A車，這是你需要把A車的貨物搬運(yùn)到B車，然后再把剩下的裝到B車上拉走。

接著我們?cè)賮?lái)看火車。

對(duì)于火車的話就很有趣了，與貨車不同的是，對(duì)于火車來(lái)說(shuō)你不需要考慮載重的問(wèn)題，你可以認(rèn)為火車的載重是無(wú)限的，如果有更多貨物要運(yùn)輸該怎么辦呢？很簡(jiǎn)單，找更多車廂過(guò)來(lái)掛接到火車上就可以了，你根本就不需要像貨車那樣很麻煩的需要把A車的貨物搬運(yùn)到B車。

這就是火車的妙用。

現(xiàn)在你應(yīng)該看出來(lái)了嗎，貨車就好比數(shù)組，火車就好比鏈表。

數(shù)據(jù)結(jié)構(gòu)與語(yǔ)言無(wú)關(guān)

注意這里說(shuō)的數(shù)組以及鏈表特指用來(lái)組織數(shù)據(jù)的結(jié)構(gòu)，與任何語(yǔ)言無(wú)關(guān)，你可以在C/C++中使用數(shù)組或鏈表，當(dāng)然也可以在Java、Python等語(yǔ)言中使用數(shù)組或者鏈表。

記住，數(shù)據(jù)結(jié)構(gòu)是一種組織數(shù)據(jù)的方式，和語(yǔ)言無(wú)關(guān)。

無(wú)論你用什么語(yǔ)言來(lái)使用數(shù)組或者鏈表，其在底層的表示都是一樣的，不同點(diǎn)僅僅在于外觀，也就是你看到的那層抽象。

在C語(yǔ)言中可能需要你自己用指針來(lái)等來(lái)實(shí)現(xiàn)鏈表、C++是使用相關(guān)容器、在Java、Python等語(yǔ)言中可能只需要使用語(yǔ)言自帶的鏈表就好了，這就是所謂的外觀，而之所以外觀不同在于抽象層次有高低之分，C/C++抽象層次更低一些，因此你能看到更多細(xì)節(jié)，而Java、Python等抽象層次更高一點(diǎn)因此你只能知道一個(gè)叫做鏈表的東西，拿過(guò)來(lái)用就好。

但抽象并不是魔法，總要有人來(lái)實(shí)現(xiàn)細(xì)節(jié)，要想真正理解鏈表，你需要知道其底層的實(shí)現(xiàn)，數(shù)據(jù)結(jié)構(gòu)，數(shù)據(jù)結(jié)構(gòu)，既然是組織數(shù)據(jù)的結(jié)構(gòu)，那么數(shù)據(jù)存放在哪里呢？

很顯然，內(nèi)存，數(shù)據(jù)結(jié)構(gòu)在這一層級(jí)就和語(yǔ)言無(wú)關(guān)了，因此你能更清楚的看到本質(zhì)。

接下來(lái)我們看看數(shù)組以及鏈表在內(nèi)存中是怎么表示的。

內(nèi)存，最重要的是內(nèi)存

首先我們來(lái)看數(shù)組，假設(shè)你要裝載的貨物是16個(gè)字節(jié)，那么如果你想用數(shù)組來(lái)裝載數(shù)據(jù)的話該怎么辦呢？

很顯然，你需要從內(nèi)存中申請(qǐng)16個(gè)字節(jié)，而且是連續(xù)的字節(jié)，就像卡車一樣，一上來(lái)容量就固定了。

圖片

這里一個(gè)小方格代表4字節(jié)。

這時(shí)如果你想在容量16個(gè)字節(jié)的數(shù)組中再裝入8字節(jié)數(shù)據(jù)該怎么辦？沒(méi)辦法，原來(lái)的數(shù)組就不再可用了，你需要再次從內(nèi)存中申請(qǐng)24字節(jié)，并且把原來(lái)的數(shù)據(jù)copy過(guò)來(lái)，此后再把剩余的8字節(jié)裝入數(shù)組。

就像這樣：

圖片

接下來(lái)，我們看鏈表，依然假設(shè)需要裝載的貨物是16個(gè)字節(jié)。

鏈表與數(shù)組截然不同的地方在于就像火車一樣，你無(wú)須一次性申請(qǐng)40字節(jié)的空間，而是可以一節(jié)車廂一節(jié)車廂的申請(qǐng)，而且更棒的是這些車廂也不需要和數(shù)組一樣是連續(xù)的，就像這樣：

圖片

你可以看到，這些車廂可以很松散的分布在內(nèi)存的各個(gè)角落中，當(dāng)你裝滿16字節(jié)想要再裝8字節(jié)怎么辦？很簡(jiǎn)單，只需要再?gòu)膬?nèi)存中找2個(gè)車廂掛接上去就好了，就像這樣：

圖片

原來(lái)的16字節(jié)根本就無(wú)需改動(dòng)。

從這里也能看出來(lái)，數(shù)組是靜態(tài)的，創(chuàng)建好后就不能改動(dòng)；而鏈表是動(dòng)態(tài)的，你可以根據(jù)需求來(lái)動(dòng)態(tài)的增加或者減少鏈表的長(zhǎng)度。

接下來(lái)有同學(xué)就會(huì)問(wèn)了，既然鏈表的車廂可以離散的分布在內(nèi)存中的各個(gè)角落，那么你怎么知道一節(jié)車廂到底屬于哪個(gè)火車(鏈表)呢？你怎么能知道當(dāng)前車廂的后一截車廂是哪一個(gè)呢？

鏈表是如何形成的？

要想明白這個(gè)問(wèn)題，火車依然是為一個(gè)絕佳的示例。

想一想火車是如何形成的，火車是由火車頭、火車尾以及一節(jié)節(jié)車廂組成，火車頭和火車尾以及各節(jié)車廂沒(méi)有本質(zhì)區(qū)別，因此我們重點(diǎn)關(guān)注在一節(jié)車廂上。

一節(jié)車廂有哪些關(guān)鍵因素呢：

一節(jié)車廂只知道自己的負(fù)重以及它的下一節(jié)車廂是誰(shuí)

這就足夠了。

一節(jié)車廂不需要關(guān)心一輛火車是如何形成的，它只需要關(guān)心自己裝載了什么，以及它的下一節(jié)車廂是誰(shuí)，這就是為什么鏈表的節(jié)點(diǎn)可以離散的散落在內(nèi)存的各個(gè)角落的原因，因?yàn)楸M管車廂是不連續(xù)的，但每一節(jié)車廂都知道自己的下一節(jié)車廂是誰(shuí)：

圖片

現(xiàn)在你應(yīng)該看到了吧，只要你能找到一個(gè)頭節(jié)點(diǎn)，你可以拎出整條鏈表。這就是鏈表的奇妙之處。

這也告訴我們?yōu)槭裁丛黾踊蛘邉h除一節(jié)車廂這么簡(jiǎn)單：你只需要改動(dòng)節(jié)點(diǎn)本身以及該節(jié)點(diǎn)的前后鄰居就可以了：

圖片

而數(shù)組這種一次性的數(shù)據(jù)結(jié)構(gòu)(創(chuàng)建好后就無(wú)法修改)則對(duì)改動(dòng)很不友好，鏈表則無(wú)此問(wèn)題。

但鏈表的這種特性也有自己的缺點(diǎn)，這世界上沒(méi)有完美的數(shù)據(jù)結(jié)構(gòu)。

對(duì)于數(shù)組來(lái)說(shuō)，只要知道數(shù)組下標(biāo)，我們可以一步從數(shù)組中找出該元素，但鏈表則不可以，如果我問(wèn)你鏈表的第10個(gè)節(jié)點(diǎn)在哪里？除非從頭到尾數(shù)一遍否則在不借助其它方法的情況下你是沒(méi)有辦法知道的。

理解了這些你覺(jué)得鏈表還難嗎？