精通golang語(yǔ)言是怎樣一種體驗(yàn)？

如果你了解任何一種編程語(yǔ)言，那么通過(guò)在「Go 語(yǔ)言之旅」學(xué)習(xí)幾個(gè)小時(shí)就能夠掌握 Go 的大部分語(yǔ)法，并在幾天后寫(xiě)出你的第一個(gè)真正的程序。閱讀并理解 實(shí)效 Go 編程，瀏覽一下「包文檔」,玩一玩 Gorilla 或者 Go Kit 這樣的網(wǎng)絡(luò)工具包，然后你將成為一個(gè)相當(dāng)不錯(cuò)的 Go 開(kāi)發(fā)者。

這是因?yàn)?Go 的首要目標(biāo)是簡(jiǎn)單。當(dāng)我開(kāi)始學(xué)習(xí) Go，它讓我想起我第一次 發(fā)現(xiàn) Java：一個(gè)簡(jiǎn)單的語(yǔ)言和一個(gè)豐富但不臃腫的標(biāo)準(zhǔn)庫(kù)。對(duì)比當(dāng)前 Java 沉重的環(huán)境，學(xué)習(xí) Go 是一個(gè)耳目一新的體驗(yàn)。因?yàn)?Go 的簡(jiǎn)易性，Go 程序可讀性非常高，雖然錯(cuò)誤處理添加了一些麻煩（更多的內(nèi)容在下面）。

Go 語(yǔ)言的簡(jiǎn)單可能是錯(cuò)誤的。引用 Rob Pike 的話，簡(jiǎn)單既是復(fù)雜，我們會(huì)看到簡(jiǎn)單背后有很多的陷阱等著我們?nèi)ゲ龋瑯O簡(jiǎn)主義會(huì)讓我們違背 DRY(Don't Repeat Yourself) 原則。

基于 goroutines 和 channels 的簡(jiǎn)單并發(fā)編程

Goroutines 可能是 Go 的最佳特性了。它們是輕量級(jí)的計(jì)算線程，與操作系統(tǒng)線程截然不同。

當(dāng) Go 程序執(zhí)行看似阻塞 I/O 的操作時(shí)，實(shí)際上 Go 運(yùn)行時(shí)掛起了 goroutine ,當(dāng)一個(gè)事件指示某個(gè)結(jié)果可用時(shí)恢復(fù)它。與此同時(shí)，其他的 goroutines 已被安排執(zhí)行。因此在同步編程模型下，我們具有了異步編程的可伸縮性優(yōu)勢(shì)。

Goroutines 也是輕量級(jí)的:它們的堆棧 隨需求增長(zhǎng)和收縮，這意味著有 100 個(gè)甚至 1000 個(gè) goroutines 都不是問(wèn)題。

我以前的應(yīng)用程序中有一個(gè) goroutine 漏洞:這些 goroutines 結(jié)束之前正在等待一個(gè) channel 關(guān)閉，而這個(gè) channel 永遠(yuǎn)不會(huì)關(guān)閉(一個(gè)常見(jiàn)的死鎖問(wèn)題)。這個(gè)進(jìn)程毫無(wú)任何理由吃掉了 90 % 的 CPU ，而檢查 expvars 顯示有 600 k 空閑的 goroutines! 我猜測(cè) goroutine 調(diào)度程序占用了 CPU。

當(dāng)然，像 Akka 這樣的 Actor 系統(tǒng)可以輕松 處理數(shù)百萬(wàn)的 Actors，部分原因是 actors 沒(méi)有堆棧，但是他們遠(yuǎn)沒(méi)有像 goroutines 那樣簡(jiǎn)單地編寫(xiě)大量并發(fā)的請(qǐng)求/響應(yīng)應(yīng)用程序（即 http APIs）。

channel 是 goroutines 的通信方式:它們提供了一個(gè)便利的編程模型，可以在 goroutines 之間發(fā)送和接收數(shù)據(jù)，而不必依賴脆弱的低級(jí)別同步基本體。channels 有它們自己的一套 用法 模式。

但是，channels 必須仔細(xì)考慮，因?yàn)殄e(cuò)誤大小的 channels (默認(rèn)情況下沒(méi)有緩沖) 會(huì)導(dǎo)致死鎖。下面我們還將看到，使用通道并不能阻止競(jìng)爭(zhēng)情況，因?yàn)樗狈Σ豢勺冃浴?/p>

豐富的標(biāo)準(zhǔn)庫(kù)

Go 的 標(biāo)準(zhǔn)庫(kù) 非常豐富,特別是對(duì)于所有與網(wǎng)絡(luò)協(xié)議或 API 開(kāi)發(fā)相關(guān)的: http 客戶端和服務(wù)器，加密，檔案格式，壓縮，發(fā)送電子郵件等等。甚至還有一個(gè)html解析器和相當(dāng)強(qiáng)大的模板引擎去生成 text & html，它會(huì)自動(dòng)過(guò)濾 XSS 攻擊（例如在 Hugo 中的使用）。

各種 APIs 一般都簡(jiǎn)單易懂。它們有時(shí)看起來(lái)過(guò)于簡(jiǎn)單:這個(gè)某種程度上是因?yàn)?goroutine 編程模型意味著我們只需要關(guān)心“看似同步”的操作。這也是因?yàn)橐恍┩ㄓ玫暮瘮?shù)也可以替換許多專門的函數(shù)，就像 我最近發(fā)現(xiàn)的關(guān)于時(shí)間計(jì)算的問(wèn)題。

Go性能優(yōu)越

Go 編譯為本地可執(zhí)行文件。許多 Go 的用戶來(lái)自 Python、Ruby 或 Node.js。對(duì)他們來(lái)說(shuō)，這是一種令人興奮的體驗(yàn)，因?yàn)樗麄兛吹椒?wù)器可以處理的并發(fā)請(qǐng)求數(shù)量大幅增加。當(dāng)您使用非并發(fā)(Node.js)或全局解釋器鎖定的解釋型語(yǔ)言時(shí)，這實(shí)際上是相當(dāng)正常的。結(jié)合語(yǔ)言的簡(jiǎn)易性，這解釋了 Go 令人興奮的原因。

然而與 Java 相比，在 原始性能基準(zhǔn)測(cè)試 中，情況并不是那么清晰。Go 打敗 Java 地方是內(nèi)存使用和垃圾回收。

Go 的垃圾回收器的設(shè)計(jì)目的是 優(yōu)先考慮延遲，并避免停機(jī)，這在服務(wù)器中尤其重要。這可能會(huì)帶來(lái)更高的 CPU 成本，但是在水平可伸縮的體系結(jié)構(gòu)中，這很容易通過(guò)添加更多的機(jī)器來(lái)解決。請(qǐng)記住，Go 是由谷歌設(shè)計(jì)的，他們從不會(huì)在資源上面短缺。

與 Java 相比，Go 的垃圾回收器（GC）需要做的更少:切片是一個(gè)連續(xù)的數(shù)組結(jié)構(gòu)，而不是像 Java 那樣的指針數(shù)組。類似地，Go maps 也使用小數(shù)組作為 buckets，以實(shí)現(xiàn)相同的目的。這意味著垃圾回收器的工作量減少，并且 CPU 緩存本地化也更好。

Go 同樣在命令行實(shí)用程序中優(yōu)于 Java :作為本地可執(zhí)行文件，Go 程序沒(méi)有啟動(dòng)消耗，反之 Java 首先需要加載和編譯的字節(jié)碼。

語(yǔ)言層面定義源代碼的格式化

我職業(yè)生涯中一些最激烈的辯論發(fā)生在團(tuán)隊(duì)代碼格式的定義上。 Go 通過(guò)為代碼定義規(guī)范格式來(lái)解決這個(gè)問(wèn)題。 工具會(huì)重新格式化您的代碼，并且沒(méi)有選項(xiàng)。

不管你喜歡與否， 定義了如何對(duì)代碼進(jìn)行格式化，一次性解決了這個(gè)問(wèn)題。

標(biāo)準(zhǔn)化的測(cè)試框架

Go 在其標(biāo)準(zhǔn)庫(kù)中提供了一個(gè)很好的 測(cè)試框架。它支持并行測(cè)試、基準(zhǔn)測(cè)試，并包含許多實(shí)用程序，可以輕松測(cè)試網(wǎng)絡(luò)客戶端和服務(wù)器。

Go 程序方便操作

與 Python，Ruby 或 Node.js 相比，必須安裝單個(gè)可執(zhí)行文件對(duì)于運(yùn)維工程師來(lái)說(shuō)是一個(gè)夢(mèng)想。 隨著越來(lái)越多的 Docker 的使用，這個(gè)問(wèn)題越來(lái)越少，但獨(dú)立的可執(zhí)行文件也意味著小型的 Docker 鏡像。

Go還具有一些內(nèi)置的觀察性功能，可以使用 包發(fā)布內(nèi)部狀態(tài)和指標(biāo)，并易于添加新內(nèi)容。但要小心，因?yàn)樗鼈冊(cè)谀J(rèn)的 http 請(qǐng)求處理程序中 自動(dòng)公開(kāi)，不受保護(hù)。Java 有類似的 JMX ，但它要復(fù)雜得多。