轉(zhuǎn)用一門新語言通常是一項大決策，尤其是當(dāng)你的團(tuán)隊成員中只有一個使用過它時。今年 Stream 團(tuán)隊的主要編程語言從 Python 轉(zhuǎn)向了 Go。本文解釋了其背后的九大原因以及如何做好這一轉(zhuǎn)換。

Go的優(yōu)勢

原因 1：性能

Go 極其地快。其性能與 Java 或 C++相似。在我們的使用中，Go 一般比 Python 要快 30 倍。以下是 Go 與 Java 之間的基準(zhǔn)比較：

原因 2：語言性能很重要

對很多應(yīng)用來說，編程語言只是簡單充當(dāng)了其與數(shù)據(jù)集之間的膠水。語言本身的性能常常無關(guān)輕重。

但是 Stream 是一個 API 提供商，服務(wù)于世界 500 強(qiáng)以及超過 2 億的終端用戶。數(shù)年來我們已經(jīng)優(yōu)化了 Cassandra、PostgreSQL、Redis 等等，然而最終抵達(dá)了所使用語言的極限。

Python 非常棒，但是其在序列化/去序列化、排序和聚合中表現(xiàn)欠佳。我們經(jīng)常會遇到這樣的問題：Cassandra 用時 1ms 檢索了數(shù)據(jù)，Python 卻需要 10ms 將其轉(zhuǎn)化成對象。

原因 3：開發(fā)者效率&不要過于創(chuàng)新

看一下絕佳的入門教程《開始學(xué)習(xí) Go 語言》(http://howistart.org/posts/go/1/)中的一小段代碼：

package?main?

type?openWeatherMap?struct{}func?(w?openWeatherMap)?temperature(city?string)?(float64,?error)?{?

resp,?err?:=?http.Get("http://api.openweathermap.org/data/2.5/weather?APPID=YOUR_API_KEY&q="?+?city)?

if?err?!=?nil?{?

return?0,?err?

}?

defer?resp.Body.Close()?

var?d?struct?{?

Main?struct?{?

Kelvin?float64?`json:"temp"`?

}?`json:"main"`?

}?

if?err?:=?json.NewDecoder(resp.Body).Decode(&d);?err?!=?nil?{?

return?0,?err?

}?

log.Printf("openWeatherMap:?%s:?%.2f",?city,?d.Main.Kelvin)?

return?d.Main.Kelvin,?nil}?

如果你是一個新手，看到這段代碼你并不會感到吃驚。它展示了多種賦值、數(shù)據(jù)結(jié)構(gòu)、指針、格式化以及內(nèi)置的 HTTP 庫。

當(dāng)我第一次編程時，我很喜歡使用 Python 的高階功能。Python 允許你創(chuàng)造性地使用正在編寫的代碼，比如，你可以：

在代碼初始化時，使用 MetaClasses 自行注冊類別

置換真假

添加函數(shù)到內(nèi)置函數(shù)列表中

通過奇妙的方法重載運(yùn)算符

毋庸置疑這些代碼很有趣，但也使得在讀取其他人的工作時，代碼變得難以理解。

Go 強(qiáng)迫你堅持打牢基礎(chǔ)，這也就為讀取任意代碼帶來了便利，并能很快搞明白當(dāng)下發(fā)生的事情。

注意：當(dāng)然如何容易還是要取決于你的使用案例。如果你要創(chuàng)建一個基本的 CRUD API，我還是建議你使用 Django + DRF，或者 Rails。

原因 4：并發(fā)性&通道

Go 作為一門語言致力于使事情簡單化。它并未引入很多新概念，而是聚焦于打造一門簡單的語言，它使用起來異常快速并且簡單。其唯一的創(chuàng)新之處是 goroutines 和通道。Goroutines 是 Go 面向線程的輕量級方法，而通道是 goroutines 之間通信的優(yōu)先方式。

創(chuàng)建 Goroutines 的成本很低，只需幾千個字節(jié)的額外內(nèi)存，正由于此，才使得同時運(yùn)行數(shù)百個甚至數(shù)千個 goroutines 成為可能。你可以借助通道實現(xiàn) goroutines 之間的通信。Go 運(yùn)行時間可以表示所有的復(fù)雜性。Goroutines 以及基于通道的并發(fā)性方法使其非常容易使用所有可用的 CPU 內(nèi)核，并處理并發(fā)的 IO——所有不帶有復(fù)雜的開發(fā)。相較于 Python/Java，在一個 goroutine 上運(yùn)行一個函數(shù)需要最小的樣板代碼。你只需使用關(guān)鍵詞「go」添加函數(shù)調(diào)用：

package?main?

import?(?

"fmt"?

"time")func?say(s?string)?{?

for?i?:=?0;?i?

time.Sleep(100?*?time.Millisecond)?

fmt.Println(s)?

}}func?main()?{?

go?say("world")?

say("hello")}?

Go 的并發(fā)性方法非常容易上手，相較于 Node 也很有趣;在 Node 中，開發(fā)者必須密切關(guān)注異步代碼的處理。

并發(fā)性的另一個優(yōu)質(zhì)特性是競賽檢測器，這使其很容易弄清楚異步代碼中是否存在競態(tài)條件。下面是一些上手 Go 和通道的很好的資源：

https://gobyexample.com/channels

https://tour.golang.org/concurrency/2

http://guzalexander.com/2013/12/06/golang-channels-tutorial.html

https://www.golang-book.com/books/intro/10

https://www.goinggo.net/2014/02/the-nature-of-channels-in-go.html

原因 5：快速的編譯時間

當(dāng)前我們使用 Go 編寫的最大微服務(wù)的編譯時間只需 6 秒。相較于 Java 和 C++呆滯的編譯速度，Go 的快速編譯時間是一個主要的效率優(yōu)勢。我熱愛擊劍，但是當(dāng)我依然記得代碼應(yīng)該做什么之時，事情已經(jīng)完成就更好了。

Go 之前的代碼編譯

原因 6：打造團(tuán)隊的能力

首先，最明顯的一點是：Go 的開發(fā)者遠(yuǎn)沒有 C++和 Java 等舊語言多。據(jù)知，有 38% 的開發(fā)者了解 Java，19.3% 的開發(fā)者了解 C++，只有 4.6% 的開發(fā)者知道 Go。GitHub 數(shù)據(jù)表明了相似的趨勢：相較于 Erlang、Scala 和 Elixir，Go 更為流行，但是相較于 Java 和 C++ 就不是了。

幸運(yùn)的是 Go 非常簡單，且易于學(xué)習(xí)。它只提供了基本功能而沒有多余。Go 引入的新概念是「defer」聲明，以及內(nèi)置的帶有 goroutines 和通道的并發(fā)性管理。正是由于 Go 的簡單性，任何的 Python、Elixir、C++、Scala 或者 Java 開發(fā)者皆可在一月內(nèi)組建成一個高效的 Go 團(tuán)隊。

原因 7：強(qiáng)大的生態(tài)系統(tǒng)

對我們這么大小的團(tuán)隊(大約 20 人)而言，生態(tài)系統(tǒng)很重要。如果你需要重做每塊功能，那就無法為客戶創(chuàng)造收益了。Go 有著強(qiáng)大的工具支持，面向 Redis、RabbitMQ、PostgreSQL、Template parsing、Task scheduling、Expression parsing 和 RocksDB 的穩(wěn)定的庫。

Go 的生態(tài)系統(tǒng)相比于 Rust、Elixir 這樣的語言有很大的優(yōu)勢。當(dāng)然，它又略遜于 Java、Python 或 Node 這樣的語言，但它很穩(wěn)定，而且你會發(fā)現(xiàn)在很多基礎(chǔ)需求上，已經(jīng)有高質(zhì)量的文件包可用了。

原因 8：GOFMT，強(qiáng)制代碼格式

Gofmt 是一種強(qiáng)大的命令行功能，內(nèi)建在 Go 的編譯器中來規(guī)定代碼的格式。從功能上看，它類似于 Python 的 autopep8。格式一致很重要，但實際的格式標(biāo)準(zhǔn)并不總是非常重要。Gofmt 用一種官方的形式規(guī)格代碼，避免了不必要的討論。

原因 9：gRPC 和 Protocol Buffers

Go 語言對 protocol buffers 和 gRPC 有一流的支持。這兩個工具能一起友好地工作以構(gòu)建需要通過 RPC 進(jìn)行通信的微服務(wù)器(microservices)。我們只需要寫一個清單(manifest)就能定義 RPC 調(diào)用發(fā)生的情況和參數(shù)，然后從該清單將自動生成服務(wù)器和客戶端代碼。這樣產(chǎn)生代碼不僅快速，同時網(wǎng)絡(luò)占用也非常少。

從相同的清單，我們可以從不同的語言生成客戶端代碼，例如 C++、Java、Python 和 Ruby。因此內(nèi)部通信的 RESET 端點不會產(chǎn)生分歧，我們每次也就需要編寫幾乎相同的客戶端和服務(wù)器代碼。

使用 Go 語言的缺點

缺點 1：缺少框架

Go 語言沒有一個主要的框架，如 Ruby 的 Rails 框架、Python 的 Django 框架或 PHP 的 Laravel。這是 Go 語言社區(qū)激烈討論的問題，因為許多人認(rèn)為我們不應(yīng)該從使用框架開始。在很多案例情況中確實如此，但如果只是希望構(gòu)建一個簡單的 CRUD API，那么使用 Django/DJRF、Rails Laravel 或 Phoenix 將簡單地多。

缺點 2：錯誤處理

Go 語言通過函數(shù)和預(yù)期的調(diào)用代碼簡單地返回錯誤(或返回調(diào)用堆棧)而幫助開發(fā)者處理編譯報錯。雖然這種方法是有效的，但很容易丟失錯誤發(fā)生的范圍，因此我們也很難向用戶提供有意義的錯誤信息。錯誤包(errors package)可以允許我們添加返回錯誤的上下文和堆棧追蹤而解決該問題。

另一個問題是我們可能會忘記處理報錯。諸如 errcheck 和 megacheck 等靜態(tài)分析工具可以避免出現(xiàn)這些失誤。雖然這些解決方案十分有效，但可能并不是那么正確的方法。

缺點 3：軟件包管理

Go 語言的軟件包管理絕對不是完美的。默認(rèn)情況下，它沒有辦法制定特定版本的依賴庫，也無法創(chuàng)建可復(fù)寫的 builds。相比之下 Python、Node 和 Ruby 都有更好的軟件包管理系統(tǒng)。然而通過正確的工具，Go 語言的軟件包管理也可以表現(xiàn)得不錯。

我們可以使用 Dep 來管理依賴項，它也能指定特定的軟件包版本。除此之外，我們還可以使用一個名為 VirtualGo 的開源工具，它能輕松地管理 Go 語言編寫的多個項目。

Python vs Go

我們實施的一個有趣實驗是用 Python 寫排名 feed，然后用 Go 改寫?？聪旅孢@種排序方法的示例：

{?

"functions":?{?

"simple_gauss":?{?

"base":?"decay_gauss",?

"scale":?"5d",?

"offset":?"1d",?

"decay":?"0.3"?

},?

"popularity_gauss":?{?

"base":?"decay_gauss",?

"scale":?"100",?

"offset":?"5",?

"decay":?"0.5"?

}?

},?

"defaults":?{?

"popularity":?1?

},?

"score":?"simple_gauss(time)*popularity"}?

Python 和 Go 代碼都需要以下要求從而支持上面的排序方法：

解析得分的表達(dá)。在此示例中，我們想要把 simple_gauss(time)*popularity 字符串轉(zhuǎn)變?yōu)橐环N函數(shù)，能夠把 activity 作為輸入然后給出得分作為輸出。

在 JSON config 上創(chuàng)建部分函數(shù)。例如，我們想要「simple_gauss」調(diào)用「decay_gauss」，且?guī)в械逆I值對為”scale”: “5d”、”offset”: “1d”、”decay”: “0.3”。

解析「defaults」配置，便于某個領(lǐng)域沒有明確定義的情況下有所反饋。

從 step1 開始使用函數(shù)，為 feed 中的所有 activity 打分。

開發(fā) Python 版本排序代碼大約需要 3 天，包括寫代碼、測試和建立文檔。接下來，我么花費(fèi)大約 2 周的時間優(yōu)化代碼。其中一個優(yōu)化是把得分表達(dá) simple_gauss(time)*popularity 轉(zhuǎn)譯進(jìn)一個抽象語法樹。我們也實現(xiàn)了 caching logic，之后會預(yù)先計算每次的得分。

相比之下，開發(fā) Go 版本的代碼需要 4 天，但之后不需要更多的優(yōu)化。所以雖然最初的開發(fā)上 Python 更快，但 Go 最終需要的工作量更少。此外，Go 代碼要比高度優(yōu)化的 python 代碼快了 40 多倍。

以上只是我們轉(zhuǎn)向 Go 所體驗到的一種好處。當(dāng)然，也不能這么做比較：

該排序代碼是我用 Go 寫的第一個項目;

Go 代碼是在 Python 代碼之后寫的，所以提前理解了該案例;

Go 的表達(dá)解析庫質(zhì)量優(yōu)越。

Elixir vs Go

我們評估的另一種語言是 Elixir。Elixir 建立在 Erlang 虛擬機(jī)上。這是一種迷人的語言，我們之所以想到它是因為我們組員中有一個在 Erlang 上非常有經(jīng)驗。

在使用案例中，我們觀察到 Go 的原始性能更好。Go 和 Elixir 都能很好地處理數(shù)千條并行需求，然而，如果是單獨的要求，Go 實際上更快。相對于 Elixir，我們選擇 Go 的另一個原因是生態(tài)系統(tǒng)。在我們需求的組件上，Go 的庫更為成熟。在很多案例中，Elixir 庫不適合產(chǎn)品使用。同時，也很難找到/訓(xùn)練同樣使用 Elixir 的開發(fā)者。

結(jié)論

Go 是一種非常高效的語言，高度支持并發(fā)性。同時，它也像 C++和 Java 一樣快。雖然相比于 Python 和 Ruby，使用 Go 建立東西需要更多的時間，但在后續(xù)的代碼優(yōu)化上可以節(jié)省大量時間。在 Stream，我們有個小型開發(fā)團(tuán)隊為 2 億終端用戶提供 feed 流。對新手開發(fā)者而言，Go 結(jié)合了強(qiáng)大的生態(tài)系統(tǒng)、易于上手，也有超快的表現(xiàn)、高度支持并發(fā)性，富有成效的編程環(huán)境使它成為了一種好的選擇。Stream 仍舊使用 Python 做個性化 feed，但所有性能密集型的代碼將會用 Go 來編寫。