GO語(yǔ)言的優(yōu)勢(shì):可直接編譯成機(jī)器碼,不依賴(lài)其他庫(kù),glibc的版本有一定要求,部署就是扔一個(gè)文件上去就完成了。靜態(tài)類(lèi)型語(yǔ)言,但是有動(dòng)態(tài)語(yǔ)言的感覺(jué),靜態(tài)類(lèi)型的語(yǔ)言就是可以在編譯的時(shí)候檢查出來(lái)隱藏的大多數(shù)問(wèn)題,動(dòng)態(tài)語(yǔ)言的感覺(jué)就是有很多的包可以使用,寫(xiě)起來(lái)的效率很高。語(yǔ)言層面支持并發(fā),這個(gè)就是Go最大的特色,天生的支持并發(fā),我曾經(jīng)說(shuō)過(guò)一句話(huà),天生的基因和整容是有區(qū)別的,大家一樣美麗,但是你喜歡整容的還是天生基因的美麗呢?Go就是基因里面支持的并發(fā),可以充分的利用多核,很容易的使用并發(fā)。內(nèi)置runtime,支持垃圾回收,這屬于動(dòng)態(tài)語(yǔ)言的特性之一吧,雖然目前來(lái)說(shuō)GC不算完美,但是足以應(yīng)付我們所能遇到的大多數(shù)情況,特別是Go1.1之后的GC。簡(jiǎn)單易學(xué),Go語(yǔ)言的作者都有C的基因,那么Go自然而然就有了C的基因,那么Go關(guān)鍵字是25個(gè),但是表達(dá)能力很強(qiáng)大,幾乎支持大多數(shù)你在其他語(yǔ)言見(jiàn)過(guò)的特性:繼承、重載、對(duì)象等。豐富的標(biāo)準(zhǔn)庫(kù),Go目前已經(jīng)內(nèi)置了大量的庫(kù),特別是網(wǎng)絡(luò)庫(kù)非常強(qiáng)大,我最?lèi)?ài)的也是這部分。內(nèi)置強(qiáng)大的工具,Go語(yǔ)言里面內(nèi)置了很多工具鏈,最好的應(yīng)該是gofmt工具,自動(dòng)化格式化代碼,能夠讓團(tuán)隊(duì)review變得如此的簡(jiǎn)單,代碼格式一模一樣,想不一樣都很困難??缙脚_(tái)編譯,如果你寫(xiě)的Go代碼不包含cgo,那么就可以做到window系統(tǒng)編譯linux的應(yīng)用,如何做到的呢?Go引用了plan9的代碼,這就是不依賴(lài)系統(tǒng)的信息。Go語(yǔ)言這么多的優(yōu)勢(shì),你還不想學(xué)嗎?我記得當(dāng)時(shí)我看的是黑馬程序員的視頻,我對(duì)他們視頻的印象就是通俗易懂,就是好!
目前成都創(chuàng)新互聯(lián)公司已為千余家的企業(yè)提供了網(wǎng)站建設(shè)、域名、網(wǎng)頁(yè)空間、網(wǎng)站改版維護(hù)、企業(yè)網(wǎng)站設(shè)計(jì)、銀川網(wǎng)站維護(hù)等服務(wù),公司將堅(jiān)持客戶(hù)導(dǎo)向、應(yīng)用為本的策略,正道將秉承"和諧、參與、激情"的文化,與客戶(hù)和合作伙伴齊心協(xié)力一起成長(zhǎng),共同發(fā)展。
1. 保留但大幅度簡(jiǎn)化指針
Go語(yǔ)言保留著C中值和指針的區(qū)別,但是對(duì)于指針?lè)爆嵱梅ㄟM(jìn)行了大量的簡(jiǎn)化,引入引用的概念。所以在Go語(yǔ)言中,你幾乎不用擔(dān)心會(huì)因?yàn)橹苯硬僮鲀?nèi)寸而引起各式各樣的錯(cuò)誤。
2. 多參數(shù)返回
還記得在C里面為了回饋多個(gè)參數(shù),不得不開(kāi)辟幾段指針傳到目標(biāo)函數(shù)中讓其操作么?在Go里面這是完全不必要的。而且多參數(shù)的支持讓Go無(wú)需使用繁瑣的exceptions體系,一個(gè)函數(shù)可以返回期待的返回值加上error,調(diào)用函數(shù)后立刻處理錯(cuò)誤信息,清晰明了。
3. Array,slice,map等內(nèi)置基本數(shù)據(jù)結(jié)構(gòu)
如果你習(xí)慣了Python中簡(jiǎn)潔的list和dict操作,在Go語(yǔ)言中,你不會(huì)感到孤單。一切都是那么熟悉,而且更加高效。如果你是C++程序員,你會(huì)發(fā)現(xiàn)你又找到了STL的vector 和 map這對(duì)朋友。
4. Interface
Go語(yǔ)言最讓人贊嘆不易的特性,就是interface的設(shè)計(jì)。任何數(shù)據(jù)結(jié)構(gòu),只要實(shí)現(xiàn)了interface所定義的函數(shù),自動(dòng)就implement了這個(gè)interface,沒(méi)有像Java那樣冗長(zhǎng)的class申明,提供了靈活太多的設(shè)計(jì)度和OO抽象度,讓你的代碼也非常干凈。千萬(wàn)不要以為你習(xí)慣了Java那種一條一條加implements的方式,感覺(jué)還行,等接口的設(shè)計(jì)越來(lái)越復(fù)雜的時(shí)候,無(wú)數(shù)Bug正在后面等著你。
同時(shí),正因?yàn)槿绱?,Go語(yǔ)言的interface可以用來(lái)表示任何generic的東西,比如一個(gè)空的interface,可以是string可以是int,可以是任何數(shù)據(jù)類(lèi)型,因?yàn)檫@些數(shù)據(jù)類(lèi)型都不需要實(shí)現(xiàn)任何函數(shù),自然就滿(mǎn)足空interface的定義了。加上Go語(yǔ)言的type assertion,可以提供一般動(dòng)態(tài)語(yǔ)言才有的duck typing特性, 而仍然能在compile中捕捉明顯的錯(cuò)誤。
5. OO
Go語(yǔ)言本質(zhì)上不是面向?qū)ο笳Z(yǔ)言,它還是過(guò)程化的。但是,在Go語(yǔ)言中, 你可以很輕易的做大部分你在別的OO語(yǔ)言中能做的事,用更簡(jiǎn)單清晰的邏輯。是的,在這里,不需要class,仍然可以繼承,仍然可以多態(tài),但是速度卻快得多。因?yàn)楸举|(zhì)上,OO在Go語(yǔ)言中,就是普通的struct操作。
6. Goroutine
這個(gè)幾乎算是Go語(yǔ)言的招牌特性之一了,我也不想多提。如果你完全不了解Goroutine,那么你只需要知道,這玩意是超級(jí)輕量級(jí)的類(lèi)似線程的東西,但通過(guò)它,你不需要復(fù)雜的線程操作鎖操作,不需要care調(diào)度,就能玩轉(zhuǎn)基本的并行程序。在Go語(yǔ)言里,觸發(fā)一個(gè)routine和erlang spawn一樣簡(jiǎn)單?;旧弦莆誈o語(yǔ)言,以Goroutine和channel為核心的內(nèi)存模型是必須要懂的。不過(guò)請(qǐng)放心,真的非常簡(jiǎn)單。
7. 更多現(xiàn)代的特性
和C比較,Go語(yǔ)言完全就是一門(mén)現(xiàn)代化語(yǔ)言,原生支持的Unicode, garbage collection, Closures(是的,和functional programming language類(lèi)似), function是first class object,等等等等。
看到這里,你可能會(huì)發(fā)現(xiàn),我用了很多輕易,簡(jiǎn)單,快速之類(lèi)的形容詞來(lái)形容Go語(yǔ)言的特點(diǎn)。我想說(shuō)的是,一點(diǎn)都不夸張,連Go語(yǔ)言的入門(mén)學(xué)習(xí)到提高,都比別的語(yǔ)言門(mén)檻低太多太多。在大部分人都有C的背景的時(shí)代,對(duì)于Go語(yǔ)言,從入門(mén)到能夠上手做項(xiàng)目,最多不過(guò)半個(gè)月。Go語(yǔ)言給人的感覺(jué)就是太直接了,什么都直接,讀源代碼直接,寫(xiě)自己的代碼也直接。
此篇文章流傳甚廣, 其實(shí)里面沒(méi)啥干貨, 而且里面很多觀點(diǎn)是有問(wèn)題的. 這個(gè)文章在 golang-china 很早就討論過(guò)了.
最近因?yàn)?Rust 1.0 和 1.1 的發(fā)布, 導(dǎo)致這個(gè)文章又出來(lái)毒害讀者.
所以寫(xiě)了這篇反駁文章, 指出其中的問(wèn)題.
有好幾次,當(dāng)我想起來(lái)的時(shí)候,總是會(huì)問(wèn)自己:我為什么要放棄Go語(yǔ)言?這個(gè)決定是正確的嗎?是明智和理性的嗎?其實(shí)我一直在認(rèn)真思考這個(gè)問(wèn)題。
開(kāi)門(mén)見(jiàn)山地說(shuō),我當(dāng)初放棄Go語(yǔ)言(golang),就是因?yàn)閮蓚€(gè)“不爽”:第一,對(duì)Go語(yǔ)言本身不爽;第二,對(duì)Go語(yǔ)言社區(qū)里的某些人不爽。毫無(wú)疑問(wèn),這是非常主觀的結(jié)論。但是我有足夠詳實(shí)的客觀的論據(jù),用以支撐這個(gè)看似主觀的結(jié)論。
文末附有本文更新日志。
確實(shí)是非常主觀的結(jié)論, 因?yàn)槔锩嬗胁簧儆袉?wèn)題的觀點(diǎn)(用來(lái)忽悠Go小白還行).
第0節(jié):我的Go語(yǔ)言經(jīng)歷
先說(shuō)說(shuō)我的經(jīng)歷吧,以避免被無(wú)緣無(wú)故地當(dāng)作Go語(yǔ)言的低級(jí)黑。
2009年底,Go語(yǔ)言(golang)第一個(gè)公開(kāi)版本發(fā)布,籠罩著“Google公司制造”的光環(huán),吸引了許多慕名而來(lái)的嘗鮮者,我(Liigo)也身居其中,籠統(tǒng)的看了一些Go語(yǔ)言的資料,學(xué)習(xí)了基礎(chǔ)的教程,因?qū)ζ湔Z(yǔ)法中的分號(hào)和花括號(hào)不滿(mǎn),很快就遺忘掉了,沒(méi)拿它當(dāng)一回事。
在2009年Go剛發(fā)布時(shí), 確實(shí)是因?yàn)椤癎oogle公司制造”的光環(huán)而吸引了(包括文章作者和諸多IT記者)很多低級(jí)的嘗鮮者.
還好, 經(jīng)過(guò)5年的發(fā)展, 這些純粹因?yàn)楣猸h(huán)來(lái)的投機(jī)者所剩已經(jīng)不多了(Google趨勢(shì)).
目前, 真正的Go用戶(hù)早就將Go用于實(shí)際的生產(chǎn)了.
說(shuō)到 其語(yǔ)法中的分號(hào)和花括號(hào)不滿(mǎn), 我想說(shuō)這只是你的 個(gè)人主觀感受, 還有很多人對(duì)Go的分號(hào)和花括號(hào)很滿(mǎn)意,
包括水果公司的的 Swift 的語(yǔ)言設(shè)計(jì)者也很滿(mǎn)意這種風(fēng)格(Swift中的分號(hào)和花括號(hào)和Go基本相同).
如果只談 個(gè)人主觀感受, 我也可以說(shuō) Rust 的 fn 縮寫(xiě)也很蛋疼!
兩年之后,2011年底,Go語(yǔ)言發(fā)布1.0的計(jì)劃被提上日程,相關(guān)的報(bào)道又多起來(lái),我再次關(guān)注它,重新評(píng)估之后決定深入?yún)⑴cGo語(yǔ)言。我訂閱了其users、nuts、dev、commits等官方郵件組,堅(jiān)持每天閱讀其中的電子郵件,以及開(kāi)發(fā)者提交的每一次源代碼更新,給Go提交了許多改進(jìn)意見(jiàn),甚至包括修改Go語(yǔ)言編譯器源代碼直接參與開(kāi)發(fā)任務(wù)。如此持續(xù)了數(shù)月時(shí)間。
這個(gè)到是事實(shí), 在 golang-china 有不少吵架的帖子, 感興趣的可以去挖下, 我就不展開(kāi)說(shuō)了.
到2012年初,Go 1.0發(fā)布,語(yǔ)言和標(biāo)準(zhǔn)庫(kù)都已經(jīng)基本定型,不可能再有大幅改進(jìn),我對(duì)Go語(yǔ)言未能在1.0定型之前更上一個(gè)臺(tái)階、實(shí)現(xiàn)自我突破,甚至帶著諸多明顯缺陷走向1.0,感到非常失望,因而逐漸疏遠(yuǎn)了它(所以Go 1.0之后的事情我很少關(guān)心)。后來(lái)看到即將發(fā)布的Go 1.1的Release Note,發(fā)現(xiàn)語(yǔ)言層面沒(méi)有太大改變,只是在庫(kù)和工具層面有所修補(bǔ)和改進(jìn),感到它尚在幼年就失去成長(zhǎng)的動(dòng)力,越發(fā)失望。外加Go語(yǔ)言社區(qū)里的某些人,其中也包括Google公司負(fù)責(zé)開(kāi)發(fā)Go語(yǔ)言的某些人,其態(tài)度、言行,讓我極度厭惡,促使我決絕地離棄Go語(yǔ)言。
真的不清楚樓主說(shuō)的可以在 Go1.0 之前短時(shí)間內(nèi)能實(shí)現(xiàn)的 重大改進(jìn)和諸多明顯缺陷 是什么.
如果是樓主說(shuō)前面的 其語(yǔ)法中的分號(hào)和花括號(hào)不滿(mǎn) 之類(lèi)的重大改進(jìn), 我只能說(shuō)這只是你的 個(gè)人主觀感受 而已,
你的很多想法只能說(shuō)服你自己, 沒(méi)辦法說(shuō)服其他絕大部分人(不要以為像C++或Rust那樣什么特性都有就NB了, 各種NB特性加到一起只能是 要你命3000, 而絕對(duì)不會(huì)是什么 銀彈).
Go 1.1的Release Note,發(fā)現(xiàn)語(yǔ)言層面沒(méi)有太大改變. 語(yǔ)言層沒(méi)有改變是是因?yàn)?Go1 作出的向后兼容的承諾. 對(duì)于工業(yè)級(jí)的語(yǔ)言來(lái)說(shuō), Go1 這個(gè)只能是優(yōu)點(diǎn). 如果連語(yǔ)言層在每個(gè)版本都會(huì)出現(xiàn)諸多大幅改進(jìn), 那誰(shuí)還敢用Go語(yǔ)言來(lái)做生產(chǎn)開(kāi)發(fā)呢(我承認(rèn)Rust的改動(dòng)很大膽, 但也說(shuō)明了Rust還處于比較幼稚和任性的階段)?
說(shuō) Go語(yǔ)言社區(qū)里的某些人固執(zhí) 的觀點(diǎn)我是同意的. 但是這些 固執(zhí) 的人是可以講道理的, 但是他們對(duì)很多東西的要求很高(特別是關(guān)于Go的設(shè)計(jì)哲學(xué)部分).
只要你給的建議有依據(jù)(語(yǔ)言的設(shè)計(jì)哲學(xué)是另外一回事情), 他們絕對(duì)不會(huì)盲目的拒絕(只是討論的周期會(huì)比較長(zhǎng)).
關(guān)于樓主提交的給Go文件添加BOM的文章, 需要補(bǔ)充說(shuō)明下.
在Go1.0發(fā)布的時(shí)候, Go語(yǔ)言的源文件(.go)明確要求必須是UTF8編碼的, 而且是無(wú)BOM的UTF8編碼的.
注意: 這個(gè) 無(wú)BOM的UTF8編碼 的限制僅僅是 針對(duì) Go語(yǔ)言的源文件(.go).
這個(gè)限制并不是說(shuō)不允許用戶(hù)處理帶BOM的UTF8的txt文件!
我覺(jué)得對(duì)于寫(xiě)Go程序來(lái)說(shuō), 這個(gè)限制是沒(méi)有任何問(wèn)題的, 到目前為止, 我還從來(lái)沒(méi)有使用過(guò)帶BOM的.go文件.
不僅是因?yàn)閹OM的.go文件沒(méi)有太多的意義, 而且有很多的缺陷.
BOM的原意是用來(lái)表示編碼是大端還是小端的, 主要用于UTF16和UTF32. 對(duì)于 UTF8 來(lái)說(shuō), BOM 沒(méi)有任何存在的意義(正是Go的2個(gè)作者發(fā)明了UTF8, 徹底解決了全球的編碼問(wèn)題).
但是, 在現(xiàn)實(shí)中, 因?yàn)镸S的txt記事本, 對(duì)于中文環(huán)境會(huì)將txt(甚至是C/C++源文件)當(dāng)作GBK編碼(GBK是個(gè)爛編碼),
為了區(qū)別到底是GBK還是UTF8, MS的記事本在前面加了BOM這個(gè)垃圾(被GBK占了茅坑), 這里的bom已經(jīng)不是表示字節(jié)序本意了. 不知道有沒(méi)有人用ms的記事本寫(xiě)網(wǎng)頁(yè), 然后生成一個(gè)帶bom的utf8網(wǎng)頁(yè)肯定很有意思.
這是MS的記事本的BUG: 它不支持生成無(wú)BOM的UTF8編碼的文本文件!
這些是現(xiàn)實(shí)存在的帶BOM的UTF8編碼的文本文件, 但是它們肯定都不是Go語(yǔ)言源文件!
所以說(shuō), Go語(yǔ)言的源文件即使強(qiáng)制限制了無(wú)BOM的UTF8編碼要求, 也是沒(méi)有任何問(wèn)題的(而且我還希望有這個(gè)限制).
雖然后來(lái)Go源文件接受帶BOM的UTF8了, 但是運(yùn)行 go fmt 之后, 還是會(huì)刪除掉BOM的(因?yàn)锽OM就是然并卵). 也就是說(shuō) 帶 BOM 的 Go 源文件是不符合 Go語(yǔ)言的編碼風(fēng)格的, go fmt 會(huì)強(qiáng)制刪除 BOM 頭.
前面說(shuō)了BOM是MS帶來(lái)的垃圾, 但是BOM的UTF8除了然并卵之外還有很多問(wèn)題, 因?yàn)锽OM在string的開(kāi)頭嵌入了垃圾,
導(dǎo)致正則表達(dá)式, string的鏈接運(yùn)算等操作都被會(huì)被BOM這個(gè)垃圾所污染. 對(duì)于.go語(yǔ)言, 即使代碼完全一樣, 有BOM和無(wú)BOM會(huì)導(dǎo)致文件的MD5之類(lèi)的校驗(yàn)碼不同.
所以, 我覺(jué)得Go用戶(hù)不用糾結(jié)BOM這個(gè)無(wú)關(guān)緊要的東西.
在上一個(gè)10年,我(Liigo)在我所屬的公司里,深度參與了兩個(gè)編程語(yǔ)言項(xiàng)目的開(kāi)發(fā)。我想,對(duì)于如何判斷某個(gè)編程語(yǔ)言的優(yōu)劣,或者說(shuō)至少對(duì)于如何判斷某個(gè)編程語(yǔ)言是否適合于我自己,我應(yīng)該還是有一點(diǎn)發(fā)言權(quán)的。
第1節(jié):我為什么對(duì)Go語(yǔ)言不爽?
Go語(yǔ)言有很多讓我不爽之處,這里列出我現(xiàn)在還能記起的其中一部分,排名基本上不分先后。讀者們耐心地看完之后,還能淡定地說(shuō)一句“我不在乎”嗎?
1.1 不允許左花括號(hào)另起一行
關(guān)于對(duì)花括號(hào)的擺放,在C語(yǔ)言、C++、Java、C#等社區(qū)中,十余年來(lái)存在持續(xù)爭(zhēng)議,從未形成一致意見(jiàn)。在我看來(lái),這本來(lái)就是主觀傾向很重的抉擇,不違反原則不涉及是非的情況下,不應(yīng)該搞一刀切,讓程序員或團(tuán)隊(duì)自己選擇就足夠了。編程語(yǔ)言本身強(qiáng)行限制,把自己的喜好強(qiáng)加給別人,得不償失。無(wú)論傾向于其中任意一種,必然得罪與其對(duì)立的一群人。雖然我現(xiàn)在已經(jīng)習(xí)慣了把左花括號(hào)放在行尾,但一想到被禁止其他選擇,就感到十分不爽。Go語(yǔ)言這這個(gè)問(wèn)題上,沒(méi)有做到“團(tuán)結(jié)一切可以團(tuán)結(jié)的力量”不說(shuō),還有意給自己樹(shù)敵,太失敗了。
我覺(jué)得Go最偉大的發(fā)明是 go fmt, 從此Go用戶(hù)不會(huì)再有花括弧的位置這種無(wú)聊爭(zhēng)論了(當(dāng)然也少了不少灌水和上tiobe排名的機(jī)會(huì)).
是這優(yōu)點(diǎn), Swift 語(yǔ)言也使用和 Go 類(lèi)似的風(fēng)格(當(dāng)然樓主也可能鄙視swift的作者).
1.2 編譯器莫名其妙地給行尾加上分號(hào)
對(duì)Go語(yǔ)言本身而言,行尾的分號(hào)是可以省略的。但是在其編譯器(gc)的實(shí)現(xiàn)中,為了方便編譯器開(kāi)發(fā)者,卻在詞法分析階段強(qiáng)行添加了行尾的分號(hào),反過(guò)來(lái)又影響到語(yǔ)言規(guī)范,對(duì)“怎樣添加分號(hào)”做出特殊規(guī)定。這種變態(tài)做法前無(wú)古人。在左花括號(hào)被意外放到下一行行首的情況下,它自動(dòng)在上一行行尾添加的分號(hào),會(huì)導(dǎo)致莫名其妙的編譯錯(cuò)誤(Go 1.0之前),連它自己都解釋不明白。如果實(shí)在處理不好分號(hào),干脆不要省略分號(hào)得了;或者,Scala和JavaScript的編譯器是開(kāi)源的,跟它們學(xué)學(xué)怎么處理省略行尾分號(hào)可以嗎?
又是樓主的 個(gè)人主觀感受, 不過(guò)我很喜歡這個(gè)特性. Swift 語(yǔ)言也是類(lèi)似.
1.3 極度強(qiáng)調(diào)編譯速度,不惜放棄本應(yīng)提供的功能
程序員是人不是神,編碼過(guò)程中免不了因?yàn)榇笠饣蚴韬龇敢恍╁e(cuò)。其中有一些,是大家集體性的很容易就中招的錯(cuò)誤(Go語(yǔ)言里的例子我暫時(shí)想不起來(lái),C++里的例子有“基類(lèi)析構(gòu)函數(shù)不是虛函數(shù)”)。這時(shí)候編譯器應(yīng)該站出來(lái),多做一些檢查、約束、核對(duì)性工作,盡量阻止常規(guī)錯(cuò)誤的發(fā)生,盡量不讓有潛在錯(cuò)誤的代碼編譯通過(guò),必要時(shí)給出一些警告或提示,讓程序員留意。編譯器不就是機(jī)器么,不就是應(yīng)該多做臟活累活雜活、減少人的心智負(fù)擔(dān)么?編譯器多做一項(xiàng)檢查,可能會(huì)避免數(shù)十萬(wàn)程序員今后多年內(nèi)無(wú)數(shù)次犯同樣的錯(cuò)誤,節(jié)省的時(shí)間不計(jì)其數(shù),這是功德無(wú)量的好事。但是Go編譯器的作者們可不這么想,他們不愿意自己多花幾個(gè)小時(shí)給編譯器增加新功能,覺(jué)得那是虧本,反而減慢了編譯速度。他們以影響編譯速度為由,拒絕了很多對(duì)編譯器改進(jìn)的要求。典型的因噎廢食。強(qiáng)調(diào)編譯速度固然值得贊賞,但如果因此放棄應(yīng)有的功能,我不贊成。
編譯速度是很重要的, 如果編譯速度夠慢, 語(yǔ)言再好也不會(huì)有人使用的.
比如C/C++的增量編譯/預(yù)編譯頭文件/并發(fā)編譯都是為了提高編譯速度.
Rust1.1 也號(hào)稱(chēng) 比 1.0 的編譯時(shí)間減少了32% (注意: 不是運(yùn)行速度).
當(dāng)然, Go剛面世的時(shí)候, 編譯速度是其中的一個(gè)設(shè)計(jì)目標(biāo).
不過(guò)我想樓主, 可能想說(shuō)的是因?yàn)榫幾g器自己添加分號(hào)而導(dǎo)致的編譯錯(cuò)誤的問(wèn)題.
我覺(jué)得Go中 { 不能另起一行是語(yǔ)言特性, 如果修復(fù)這個(gè)就是引入了新的錯(cuò)誤.
其他的我真想不起來(lái)還有哪些 調(diào)編譯速度,不惜放棄本應(yīng)提供的功能 (不要提泛型, 那是因?yàn)檫€沒(méi)有好的設(shè)計(jì)).
1.4 錯(cuò)誤處理機(jī)制太原始
在Go語(yǔ)言中處理錯(cuò)誤的基本模式是:函數(shù)通常返回多個(gè)值,其中最后一個(gè)值是error類(lèi)型,用于表示錯(cuò)誤類(lèi)型極其描述;調(diào)用者每次調(diào)用完一個(gè)函數(shù),都需要檢查這個(gè)error并進(jìn)行相應(yīng)的錯(cuò)誤處理:if err != nil { /*這種代碼寫(xiě)多了不想吐么*/ }。此模式跟C語(yǔ)言那種很原始的錯(cuò)誤處理相比如出一轍,并無(wú)實(shí)質(zhì)性改進(jìn)。實(shí)際應(yīng)用中很容易形成多層嵌套的if else語(yǔ)句,可以想一想這個(gè)編碼場(chǎng)景:先判斷文件是否存在,如果存在則打開(kāi)文件,如果打開(kāi)成功則讀取文件,如果讀取成功再寫(xiě)入一段數(shù)據(jù),最后關(guān)閉文件,別忘了還要處理每一步驟中出現(xiàn)錯(cuò)誤的情況,這代碼寫(xiě)出來(lái)得有多變態(tài)、多丑陋?實(shí)踐中普遍的做法是,判斷操作出錯(cuò)后提前return,以避免多層花括號(hào)嵌套,但這么做的后果是,許多錯(cuò)誤處理代碼被放在前面突出的位置,常規(guī)的處理邏輯反而被掩埋到后面去了,代碼可讀性極差。而且,error對(duì)象的標(biāo)準(zhǔn)接口只能返回一個(gè)錯(cuò)誤文本,有時(shí)候調(diào)用者為了區(qū)分不同的錯(cuò)誤類(lèi)型,甚至需要解析該文本。除此之外,你只能手工強(qiáng)制轉(zhuǎn)換error類(lèi)型到特定子類(lèi)型(靜態(tài)類(lèi)型的優(yōu)勢(shì)沒(méi)了)。至于panic - recover機(jī)制,致命的缺陷是不能跨越庫(kù)的邊界使用,注定是一個(gè)半成品,最多只能在自己的pkg里面玩一玩。Java的異常處理雖然也有自身的問(wèn)題(比如Checked Exceptions),但總體上還是比Go的錯(cuò)誤處理高明很多。
話(huà)說(shuō), 軟件開(kāi)發(fā)都發(fā)展了半個(gè)世紀(jì), 還是無(wú)實(shí)質(zhì)性改進(jìn). 不要以為弄一個(gè)異常的語(yǔ)法糖就是革命了.
我只能說(shuō)錯(cuò)誤和異常是2個(gè)不同的東西, 將所有錯(cuò)誤當(dāng)作異常那是SB行為.
正因?yàn)橛挟惓_@個(gè)所謂的銀彈, 導(dǎo)致很多等著別人幫忙擦屁股的行為(注意 shit 函數(shù)拋出的絕對(duì)不會(huì)是一種類(lèi)型的 shit, 而被其間接調(diào)用的各種 xxx_shit 也可能拋出各種類(lèi)型的異常, 這就導(dǎo)致 catch 失控了):
int main() {
try {
shit();
} catch( /* 到底有幾千種 shit ? */) {
...
}
}
Go的建議是 panic - recover 不跨越邊界, 也就是要求正常的錯(cuò)誤要由pkg的處理掉.
這是負(fù)責(zé)任的行為.
再說(shuō)Go是面向并發(fā)的編程語(yǔ)言, 在海量的 goroutine 中使用 try/catch 是不是有一種不倫不類(lèi)的感覺(jué)呢?
1.5 垃圾回收器(GC)不完善、有重大缺陷
在Go 1.0前夕,其垃圾回收器在32位環(huán)境下有內(nèi)存泄漏,一直拖著不肯改進(jìn),這且不說(shuō)。Go語(yǔ)言垃圾回收器真正致命的缺陷是,會(huì)導(dǎo)致整個(gè)進(jìn)程不可預(yù)知的間歇性停頓。像某些大型后臺(tái)服務(wù)程序,如游戲服務(wù)器、APP容器等,由于占用內(nèi)存巨大,其內(nèi)存對(duì)象數(shù)量極多,GC完成一次回收周期,可能需要數(shù)秒甚至更長(zhǎng)時(shí)間,這段時(shí)間內(nèi),整個(gè)服務(wù)進(jìn)程是阻塞的、停頓的,在外界看來(lái)就是服務(wù)中斷、無(wú)響應(yīng),再牛逼的并發(fā)機(jī)制到了這里統(tǒng)統(tǒng)失效。垃圾回收器定期啟動(dòng),每次啟動(dòng)就導(dǎo)致短暫的服務(wù)中斷,這樣下去,還有人敢用嗎?這可是后臺(tái)服務(wù)器進(jìn)程,是Go語(yǔ)言的重點(diǎn)應(yīng)用領(lǐng)域。以上現(xiàn)象可不是我假設(shè)出來(lái)的,而是事實(shí)存在的現(xiàn)實(shí)問(wèn)題,受其嚴(yán)重困擾的也不是一家兩家了(2013年底ECUG Con 2013,京東的劉奇提到了Go語(yǔ)言的GC、defer、標(biāo)準(zhǔn)庫(kù)實(shí)現(xiàn)是性能殺手,最大的痛苦是GC;美團(tuán)的沈鋒也提到Go語(yǔ)言的GC導(dǎo)致后臺(tái)服務(wù)間隔性停頓是最大的問(wèn)題。更早的網(wǎng)絡(luò)游戲仙俠道開(kāi)發(fā)團(tuán)隊(duì)也曾受Go垃圾回收的沉重打擊)。在實(shí)踐中,你必須努力減少進(jìn)程中的對(duì)象數(shù)量,以便把GC導(dǎo)致的間歇性停頓控制在可接受范圍內(nèi)。除此之外你別無(wú)選擇(難道你還想自己更換GC算法、甚至砍掉GC?那還是Go語(yǔ)言嗎?)。跳出圈外,我近期一直在思考,一定需要垃圾回收器嗎?沒(méi)有垃圾回收器就一定是歷史的倒退嗎?(可能會(huì)新寫(xiě)一篇博客文章專(zhuān)題探討。)
這是說(shuō)的是32位系統(tǒng), 這絕對(duì)不是Go語(yǔ)言的重點(diǎn)應(yīng)用領(lǐng)域!! 我可以說(shuō)Go出生就是面向64位系統(tǒng)和多核心CPU環(huán)境設(shè)計(jì)的. (再說(shuō) Rust 目前好像還不支持 XP 吧, 這可不可以算是影響巨大?)
32位當(dāng)時(shí)是有問(wèn)題, 但是對(duì)實(shí)際生產(chǎn)影響并不大(請(qǐng)問(wèn)樓主還是在用32位系統(tǒng)嗎, 還只安裝4GB的內(nèi)存嗎). 如果是8位單片機(jī)環(huán)境, 建議就不要用Go語(yǔ)言了, 直接C語(yǔ)言好了.
而且這個(gè)問(wèn)題早就不存在了(大家可以去看Go的發(fā)布日志).
Go的出生也就5年時(shí)間, GC的完善和改進(jìn)是一個(gè)持續(xù)的工作, 2015年8月將發(fā)布的 Go1.5將采用并行GC.
關(guān)于GC的被人詬病的地方是會(huì)導(dǎo)致卡頓, 但是我以為這個(gè)主要是因?yàn)镚C的實(shí)現(xiàn)還不夠完美而導(dǎo)致的.
如果是完美的并發(fā)和增量的GC, 那應(yīng)該不會(huì)出現(xiàn)大的卡頓問(wèn)題的.
當(dāng)然, 如果非要實(shí)時(shí)性, 那用C好了(實(shí)時(shí)并不表示性能高, 只是響應(yīng)時(shí)間可控).
對(duì)于Rust之類(lèi)沒(méi)有GC的語(yǔ)言來(lái)說(shuō), 想很方便的開(kāi)發(fā)并發(fā)的后臺(tái)程序那幾乎是不可能的.
不要總是吹Rust能代替底層/中層/上層的開(kāi)發(fā), 我們要看有誰(shuí)用Rust真的做了什么.
1.6 禁止未使用變量和多余import
Go編譯器不允許存在被未被使用的變量和多余的import,如果存在,必然導(dǎo)致編譯錯(cuò)誤。但是現(xiàn)實(shí)情況是,在代碼編寫(xiě)、重構(gòu)、調(diào)試過(guò)程中,例如,臨時(shí)性的注釋掉一行代碼,很容易就會(huì)導(dǎo)致同時(shí)出現(xiàn)未使用的變量和多余的import,直接編譯錯(cuò)誤了,你必須相應(yīng)的把變量定義注釋掉,再翻頁(yè)回到文件首部把多余的import也注釋掉,……等事情辦完了,想把剛才注釋的代碼找回來(lái),又要好幾個(gè)麻煩的步驟。還有一個(gè)讓人蛋疼的問(wèn)題,編寫(xiě)數(shù)據(jù)庫(kù)相關(guān)的代碼時(shí),如果你import某數(shù)據(jù)庫(kù)驅(qū)動(dòng)的pkg,它編譯給你報(bào)錯(cuò),說(shuō)不需要import這個(gè)未被使用的pkg;但如果你聽(tīng)信編譯器的話(huà)刪掉該import,編譯是通過(guò)了,運(yùn)行時(shí)必然報(bào)錯(cuò),說(shuō)找不到數(shù)據(jù)庫(kù)驅(qū)動(dòng);你看看程序員被折騰的兩邊不是人,最后不得不請(qǐng)出大神:import _。對(duì)待這種問(wèn)題,一個(gè)比較好的解決方案是,視其為編譯警告而非編譯錯(cuò)誤。但是Go語(yǔ)言開(kāi)發(fā)者很固執(zhí),不容許這種折中方案。
這個(gè)問(wèn)題我只能說(shuō)樓主的吐槽真的是沒(méi)水平.
為何不使用的是錯(cuò)誤而不是警告? 這是為了將低級(jí)的bug消滅在編譯階段(大家可以想下C/C++的那么多警告有什么卵用).
而且, import 即使沒(méi)有使用的話(huà), 也是用副作用的, 因?yàn)?import 會(huì)導(dǎo)致 init 和全局變量的初始化.
如果某些代碼沒(méi)有使用, 為何要執(zhí)行 init 這些初始化呢?
如果是因?yàn)檎{(diào)試而添加的變量, 那么調(diào)試完刪除不是很正常的要求嗎?
如果是因?yàn)檎{(diào)試而要導(dǎo)入fmt或log之類(lèi)的包, 刪除調(diào)試代碼后又導(dǎo)致 import 錯(cuò)誤的花,
樓主難道不知道在一個(gè)獨(dú)立的文件包裝下類(lèi)似的輔助調(diào)試的函數(shù)嗎?
import (
"fmt"
"log"
)
func logf(format string, a ...interface{}) {
file, line := callerFileLine()
fmt.Fprintf(os.Stderr, "%s:%d: ", file, line)
fmt.Fprintf(os.Stderr, format, a...)
}
func fatalf(format string, a ...interface{}) {
file, line := callerFileLine()
fmt.Fprintf(os.Stderr, "%s:%d: ", file, line)
fmt.Fprintf(os.Stderr, format, a...)
os.Exit(1)
}
import _ 是有明確行為的用法, 就是為了執(zhí)行包中的 init 等函數(shù)(可以做某些注冊(cè)操作).
將警告當(dāng)作錯(cuò)誤是Go的一個(gè)哲學(xué), 當(dāng)然在樓主看來(lái)這是白癡做法.
1.7 創(chuàng)建對(duì)象的方式太多令人糾結(jié)
創(chuàng)建對(duì)象的方式,調(diào)用new函數(shù)、調(diào)用make函數(shù)、調(diào)用New方法、使用花括號(hào)語(yǔ)法直接初始化結(jié)構(gòu)體,你選哪一種?不好選擇,因?yàn)闆](méi)有一個(gè)固定的模式。從實(shí)踐中看,如果要?jiǎng)?chuàng)建一個(gè)語(yǔ)言?xún)?nèi)置類(lèi)型(如channel、map)的對(duì)象,通常用make函數(shù)創(chuàng)建;如果要?jiǎng)?chuàng)建標(biāo)準(zhǔn)庫(kù)或第三方庫(kù)定義的類(lèi)型的對(duì)象,首先要去文檔里找一下有沒(méi)有New方法,如果有就最好調(diào)用New方法創(chuàng)建對(duì)象,如果沒(méi)有New方法,則退而求其次,用初始化結(jié)構(gòu)體的方式創(chuàng)建其對(duì)象。這個(gè)過(guò)程頗為周折,不像C++、Java、C#那樣直接new就行了。
C++的new是狗屎. new導(dǎo)致的問(wèn)題是構(gòu)造函數(shù)和普通函數(shù)的行為不一致, 這個(gè)補(bǔ)丁特性真的沒(méi)啥優(yōu)越的.
我還是喜歡C語(yǔ)言的 fopen 和 malloc 之類(lèi)構(gòu)造函數(shù), 構(gòu)造函數(shù)就是普通函數(shù), Go語(yǔ)言中也是這樣.
C++中, 除了構(gòu)造不兼容普通函數(shù), 析構(gòu)函數(shù)也是不兼容普通函數(shù). 這個(gè)而引入的坑有很多吧.
1.8 對(duì)象沒(méi)有構(gòu)造函數(shù)和析構(gòu)函數(shù)
沒(méi)有構(gòu)造函數(shù)還好說(shuō),畢竟還有自定義的New方法,大致也算是構(gòu)造函數(shù)了。沒(méi)有析構(gòu)函數(shù)就比較難受了,沒(méi)法實(shí)現(xiàn)RAII。額外的人工處理資源清理工作,無(wú)疑加重了程序員的心智負(fù)擔(dān)。沒(méi)人性啊,還嫌我們程序員加班還少嗎?C++里有析構(gòu)函數(shù),Java里雖然沒(méi)有析構(gòu)函數(shù)但是有人家finally語(yǔ)句啊,Go呢,什么都沒(méi)有。沒(méi)錯(cuò),你有個(gè)defer,可是那個(gè)defer問(wèn)題更大,詳見(jiàn)下文吧。
defer 可以覆蓋析構(gòu)函數(shù)的行為, 當(dāng)然 defer 還有其他的任務(wù). Swift2.0 也引入了一個(gè)簡(jiǎn)化版的 defer 特性.
1.9 defer語(yǔ)句的語(yǔ)義設(shè)定不甚合理
Go語(yǔ)言設(shè)計(jì)defer語(yǔ)句的出發(fā)點(diǎn)是好的,把釋放資源的“代碼”放在靠近創(chuàng)建資源的地方,但把釋放資源的“動(dòng)作”推遲(defer)到函數(shù)返回前執(zhí)行。遺憾的是其執(zhí)行時(shí)機(jī)的設(shè)置似乎有些不甚合理。設(shè)想有一個(gè)需要長(zhǎng)期運(yùn)行的函數(shù),其中有無(wú)限循環(huán)語(yǔ)句,在循環(huán)體內(nèi)不斷的創(chuàng)建資源(或分配內(nèi)存),并用defer語(yǔ)句確保釋放。由于函數(shù)一直運(yùn)行沒(méi)有返回,所有defer語(yǔ)句都得不到執(zhí)行,循環(huán)過(guò)程中創(chuàng)建的大量短暫性資源一直積累著,得不到回收。而且,系統(tǒng)為了存儲(chǔ)defer列表還要額外占用資源,也是持續(xù)增加的。這樣下去,過(guò)不了多久,整個(gè)系統(tǒng)就要因?yàn)橘Y源耗盡而崩潰。像這類(lèi)長(zhǎng)期運(yùn)行的函數(shù),http.ListenAndServe()就是典型的例子。在Go語(yǔ)言重點(diǎn)應(yīng)用領(lǐng)域,可以說(shuō)幾乎每一個(gè)后臺(tái)服務(wù)程序都必然有這么一類(lèi)函數(shù),往往還都是程序的核心部分。如果程序員不小心在這些函數(shù)中使用了defer語(yǔ)句,可以說(shuō)后患無(wú)窮。如果語(yǔ)言設(shè)計(jì)者把defer的語(yǔ)義設(shè)定為在所屬代碼塊結(jié)束時(shí)(而非函數(shù)返回時(shí))執(zhí)行,是不是更好一點(diǎn)呢?可是Go 1.0早已發(fā)布定型,為了保持向后兼容性,已經(jīng)不可能改變了。小心使用defer語(yǔ)句!一不小心就中招。
前面說(shuō)到 defer 還有其他的任務(wù), 也就是 defer 中執(zhí)行的 recover 可以捕獲 panic 拋出的異常.
還有 defer 可以在 return 之后修改命名的返回值.
上面2個(gè)工作要求 defer 只能在函數(shù)退出時(shí)來(lái)執(zhí)行.
樓主說(shuō)的 defer 是類(lèi)似 Swift2.0 中 defer 的行為, 但是 Swift2.0 中 defer 是沒(méi)有前面2個(gè)特性的.
Go中的defer是以函數(shù)作用域作為觸發(fā)的條件的, 是會(huì)導(dǎo)致樓主說(shuō)的在 for 中執(zhí)行的錯(cuò)誤用法(哪個(gè)語(yǔ)言沒(méi)有坑呢?).
不過(guò) for 中 局部 defer 也是有辦法的 (Go中的defer是以函數(shù)作用域):
for {
func(){
f, err := os.Open(...)
defer f.Close()
}()
}
在 for 中做一個(gè)閉包函數(shù)就可以了. 自己不會(huì)用不要怪別人沒(méi)告訴你.
1.10 許多語(yǔ)言?xún)?nèi)置設(shè)施不支持用戶(hù)定義的類(lèi)型
for in、make、range、channel、map等都僅支持語(yǔ)言?xún)?nèi)置類(lèi)型,不支持用戶(hù)定義的類(lèi)型(?)。用戶(hù)定義的類(lèi)型沒(méi)法支持for in循環(huán),用戶(hù)不能編寫(xiě)像make、range那樣“參數(shù)類(lèi)型和個(gè)數(shù)”甚至“返回值類(lèi)型和個(gè)數(shù)”都可變的函數(shù),不能編寫(xiě)像channel、map那樣類(lèi)似泛型的數(shù)據(jù)類(lèi)型。語(yǔ)言?xún)?nèi)置的那些東西,處處充斥著斧鑿的痕跡。這體現(xiàn)了語(yǔ)言設(shè)計(jì)的局限性、封閉性、不完善,可擴(kuò)展性差,像是新手作品——且不論其設(shè)計(jì)者和實(shí)現(xiàn)者如何權(quán)威。延伸閱讀:Go語(yǔ)言是30年前的陳舊設(shè)計(jì)思想,用戶(hù)定義的東西幾乎都是二等公民(Tikhon Jelvis)。
說(shuō)到底, 這個(gè)是因?yàn)閷?duì)泛型支持的不完備導(dǎo)致的.
Go語(yǔ)言是沒(méi)啥NB的特性, 但是Go的特性和工具組合在一起就是好用.
這就是Go語(yǔ)言NB的地方.
1.11 沒(méi)有泛型支持,常見(jiàn)數(shù)據(jù)類(lèi)型接口丑陋
沒(méi)有泛型的話(huà),List、Set、Tree這些常見(jiàn)的基礎(chǔ)性數(shù)據(jù)類(lèi)型的接口就只能很丑陋:放進(jìn)去的對(duì)象是一個(gè)具體的類(lèi)型,取出來(lái)之后成了無(wú)類(lèi)型的interface{}(可以視為所有類(lèi)型的基礎(chǔ)類(lèi)型),還得強(qiáng)制類(lèi)型轉(zhuǎn)換之后才能繼續(xù)使用,令人無(wú)語(yǔ)。Go語(yǔ)言缺少min、max這類(lèi)函數(shù),求數(shù)值絕對(duì)值的函數(shù)abs只接收/返回雙精度小數(shù)類(lèi)型,排序接口只能借助sort.Interface無(wú)奈的回避了被比較對(duì)象的類(lèi)型,等等等等,都是沒(méi)有泛型導(dǎo)致的結(jié)果。沒(méi)有泛型,接口很難優(yōu)雅起來(lái)。Go開(kāi)發(fā)者沒(méi)有明確拒絕泛型,只是說(shuō)還沒(méi)有找到很好的方法實(shí)現(xiàn)泛型(能不能學(xué)學(xué)已經(jīng)開(kāi)源的語(yǔ)言呀)。現(xiàn)實(shí)是,Go 1.0已經(jīng)定型,泛型還沒(méi)有,那些丑陋的接口為了保持向后兼容必須長(zhǎng)期存在著。
Go有自己的哲學(xué), 如果能有和目前哲學(xué)不沖突的泛型實(shí)現(xiàn), 他們是不會(huì)反對(duì)的.
如果只是簡(jiǎn)單學(xué)學(xué)(或者叫抄襲)已經(jīng)開(kāi)源的語(yǔ)言的語(yǔ)法, 那是C++的設(shè)計(jì)風(fēng)格(或者說(shuō)C++從來(lái)都是這樣設(shè)計(jì)的, 有什么特性就抄什么), 導(dǎo)致了各種腦裂的編程風(fēng)格.
編譯時(shí)泛型和運(yùn)行時(shí)泛型可能是無(wú)法完全兼容的, 看這個(gè)例子:
type AdderT interface {
Add(a, b T) T
}
創(chuàng)建 PayPal 的目的是使金融服務(wù)民主化,并使個(gè)人和企業(yè)能夠加入并在全球經(jīng)濟(jì)中蓬勃發(fā)展。這項(xiàng)工作的核心是 PayPal 的支付平臺(tái),該平臺(tái)使用專(zhuān)有技術(shù)和第三方技術(shù)的組合來(lái)高效、安全地促進(jìn)全球數(shù)百萬(wàn)商家和消費(fèi)者之間的交易。隨著支付平臺(tái)變得越來(lái)越大、越來(lái)越復(fù)雜,PayPal 尋求對(duì)其系統(tǒng)進(jìn)行現(xiàn)代化改造并縮短新應(yīng)用程序的上市時(shí)間。
Go 在生成干凈、高效的代碼方面的有著極高的價(jià)值。這些代碼可以隨著軟件部署的擴(kuò)展而輕松擴(kuò)展,這使得該語(yǔ)言非常適合支持 PayPal 的目標(biāo)。
支付處理平臺(tái)的核心是 PayPal 用 C++ 開(kāi)發(fā)的專(zhuān)有 NoSQL 數(shù)據(jù)庫(kù)。然而,代碼的復(fù)雜性大大降低了開(kāi)發(fā)人員發(fā)展平臺(tái)的能力。Go 的簡(jiǎn)單代碼布局、goroutine(輕量級(jí)執(zhí)行線程)和通道(用作連接并發(fā) goroutine 的管道)使 Go 成為 NoSQL 開(kāi)發(fā)團(tuán)隊(duì)簡(jiǎn)化和現(xiàn)代化平臺(tái)的自然選擇。
作為概念驗(yàn)證,一個(gè)開(kāi)發(fā)團(tuán)隊(duì)花了六個(gè)月的時(shí)間學(xué)習(xí) Go 并在 Go 中從頭開(kāi)始重新實(shí)現(xiàn) NoSQL 系統(tǒng),在此期間,他們還提供了有關(guān)如何在 PayPal 更廣泛地實(shí)施 Go 的見(jiàn)解。截至今天,已遷移 30% 的集群以使用新的 NoSQL 數(shù)據(jù)庫(kù)。
隨著 PayPal 的平臺(tái)變得越來(lái)越復(fù)雜,Go 提供了一種輕松簡(jiǎn)化大規(guī)模創(chuàng)建和運(yùn)行軟件的復(fù)雜性的方法。該語(yǔ)言為 PayPal 提供了出色的庫(kù)和快速工具,以及并發(fā)、垃圾收集和類(lèi)型安全。
借助 Go,PayPal 使其開(kāi)發(fā)人員能夠?qū)⒏鄷r(shí)間從 C++ 和 Java 開(kāi)發(fā)的噪音中解放出來(lái),從而能夠花更多時(shí)間查看代碼和進(jìn)行戰(zhàn)略性思考。
在這個(gè)新改寫(xiě)的 NoSQL 系統(tǒng)取得成功后,PayPal 內(nèi)更多的平臺(tái)和內(nèi)容團(tuán)隊(duì)開(kāi)始采用 Go。Natarajan 目前的團(tuán)隊(duì)負(fù)責(zé) PayPal 的構(gòu)建、測(cè)試和發(fā)布管道——所有這些都是在 Go 中構(gòu)建的。該公司擁有一個(gè)大型構(gòu)建和測(cè)試農(nóng)場(chǎng),它使用 Go 基礎(chǔ)設(shè)施進(jìn)行完全管理,以支持整個(gè)公司的開(kāi)發(fā)人員的構(gòu)建即服務(wù)(和測(cè)試即服務(wù))。
憑借 PayPal 所需的分布式計(jì)算能力,Go 是刷新系統(tǒng)的正確語(yǔ)言。PayPal 需要并發(fā)和并行的編程,為高性能和高度可移植性而編譯,并為開(kāi)發(fā)人員帶來(lái)模塊化、可組合的開(kāi)源架構(gòu)的好處——Go 已經(jīng)提供了所有這些以及更多幫助 PayPal 對(duì)其系統(tǒng)進(jìn)行現(xiàn)代化改造。
安全性和可支持性是 PayPal 的關(guān)鍵問(wèn)題,該公司的運(yùn)營(yíng)管道越來(lái)越多地由 Go 主導(dǎo),因?yàn)樵撜Z(yǔ)言的簡(jiǎn)潔性和模塊化幫助他們實(shí)現(xiàn)了這些目標(biāo)。PayPal 對(duì) Go 的部署為開(kāi)發(fā)人員提供了一個(gè)創(chuàng)意平臺(tái),使他們能夠?yàn)?PayPal 的全球市場(chǎng)大規(guī)模生產(chǎn)簡(jiǎn)單、高效和可靠的軟件。
隨著 PayPal 繼續(xù)使用 Go 對(duì)其軟件定義網(wǎng)絡(luò) (SDN) 基礎(chǔ)設(shè)施進(jìn)行現(xiàn)代化改造,除了更易于維護(hù)的代碼外,他們還看到了性能優(yōu)勢(shì)。例如,Go 現(xiàn)在為路由器、負(fù)載平衡和越來(lái)越多的生產(chǎn)系統(tǒng)提供動(dòng)力。
作為一家全球性企業(yè),PayPal 需要其開(kāi)發(fā)團(tuán)隊(duì)有效管理兩種規(guī)模:生產(chǎn)規(guī)模,尤其是與許多其他服務(wù)器(如云服務(wù))交互的并發(fā)系統(tǒng);和開(kāi)發(fā)規(guī)模,尤其是由許多程序員協(xié)同開(kāi)發(fā)的大型代碼庫(kù)(如開(kāi)源開(kāi)發(fā))
PayPal 利用 Go 來(lái)解決這些規(guī)模問(wèn)題。該公司的開(kāi)發(fā)人員受益于 Go 將解釋型動(dòng)態(tài)類(lèi)型語(yǔ)言的編程易用性與靜態(tài)類(lèi)型編譯語(yǔ)言的效率和安全性相結(jié)合的能力。隨著 PayPal 對(duì)其系統(tǒng)進(jìn)行現(xiàn)代化改造,對(duì)網(wǎng)絡(luò)和多核計(jì)算的支持至關(guān)重要。Go 不僅提供了這種支持,而且提供的速度很快——在單臺(tái)計(jì)算機(jī)上編譯一個(gè)大型可執(zhí)行文件最多需要幾秒鐘。
PayPal 目前有 100 多名 Go 開(kāi)發(fā)人員,未來(lái)選擇采用 Go 的開(kāi)發(fā)人員將更容易獲得該語(yǔ)言的批準(zhǔn),這要?dú)w功于公司已經(jīng)在生產(chǎn)中的許多成功實(shí)現(xiàn)。
最重要的是,PayPal 開(kāi)發(fā)人員使用 Go 提高了他們的生產(chǎn)力。Go 的并發(fā)機(jī)制使得編寫(xiě)充分利用 PayPal 的多核和聯(lián)網(wǎng)機(jī)器的程序變得很容易。使用 Go 的開(kāi)發(fā)人員還受益于它可以快速編譯為機(jī)器代碼的事實(shí),并且他們的應(yīng)用程序獲得了垃圾收集的便利和運(yùn)行時(shí)反射的強(qiáng)大功能。
今天 PayPal 的第一類(lèi)語(yǔ)言是 Java 和 Node,Go 主要用作基礎(chǔ)設(shè)施語(yǔ)言。雖然 Go 可能永遠(yuǎn)不會(huì)在某些應(yīng)用程序中取代 Node.js,但 Natarajan 正在推動(dòng)讓 Go 成為 PayPal 的第一類(lèi)語(yǔ)言。
通過(guò)他的努力,PayPal 還在評(píng)估遷移到 Google Kubernetes Engine (GKE) 以加快其新產(chǎn)品的上市時(shí)間。GKE 是一個(gè)用于部署容器化應(yīng)用程序的托管、生產(chǎn)就緒環(huán)境,并帶來(lái)了 Google 在開(kāi)發(fā)人員生產(chǎn)力、自動(dòng)化操作和開(kāi)源靈活性方面的最新創(chuàng)新。
對(duì)于 PayPal 而言,部署到 GKE 將使 PayPal 更容易部署、更新和管理其應(yīng)用程序和服務(wù),從而實(shí)現(xiàn)快速開(kāi)發(fā)和迭代。此外,PayPal 會(huì)發(fā)現(xiàn)更容易運(yùn)行機(jī)器學(xué)習(xí)、通用 GPU、高性能計(jì)算和其他受益于 GKE 支持的專(zhuān)用硬件加速器的工作負(fù)載。
對(duì) PayPal 來(lái)說(shuō)最重要的是,Go 開(kāi)發(fā)和 GKE 的結(jié)合使公司能夠輕松擴(kuò)展以滿(mǎn)足需求,因?yàn)?Kubernetes 自動(dòng)擴(kuò)展將使 PayPal 能夠處理用戶(hù)對(duì)服務(wù)不斷增長(zhǎng)的需求——在最重要的時(shí)候保持它們可用,然后在安靜的時(shí)間來(lái)省錢(qián)。
1、簡(jiǎn)單易學(xué)。
Go語(yǔ)言的作者本身就很懂C語(yǔ)言,所以同樣Go語(yǔ)言也會(huì)有C語(yǔ)言的基因,所以對(duì)于程序員來(lái)說(shuō),Go語(yǔ)言天生就會(huì)讓人很熟悉,容易上手。
2、并發(fā)性好。
Go語(yǔ)言天生支持并發(fā),可以充分利用多核,輕松地使用并發(fā)。 這是Go語(yǔ)言最大的特點(diǎn)。
描述
Go的語(yǔ)法接近C語(yǔ)言,但對(duì)于變量的聲明有所不同。Go支持垃圾回收功能。Go的并行模型是以東尼·霍爾的通信順序進(jìn)程(CSP)為基礎(chǔ),采取類(lèi)似模型的其他語(yǔ)言包括Occam和Limbo,但它也具有Pi運(yùn)算的特征,比如通道傳輸。
在1.8版本中開(kāi)放插件(Plugin)的支持,這意味著現(xiàn)在能從Go中動(dòng)態(tài)加載部分函數(shù)。
與C++相比,Go并不包括如枚舉、異常處理、繼承、泛型、斷言、虛函數(shù)等功能,但增加了 切片(Slice) 型、并發(fā)、管道、垃圾回收、接口(Interface)等特性的語(yǔ)言級(jí)支持。
切換到新語(yǔ)言始終是一大步,尤其是當(dāng)您的團(tuán)隊(duì)成員只有一個(gè)時(shí)有該語(yǔ)言的先前經(jīng)驗(yàn)?,F(xiàn)在,Stream 的主要編程語(yǔ)言從 Python 切換到了 Go。這篇文章將解釋stream決定放棄 Python 并轉(zhuǎn)向 Go 的一些原因。
Go 非???。性能類(lèi)似于 Java 或 C++。對(duì)于用例,Go 通常比 Python 快 40 倍。
對(duì)于許多應(yīng)用程序來(lái)說(shuō),編程語(yǔ)言只是應(yīng)用程序和數(shù)據(jù)庫(kù)之間的粘合劑。語(yǔ)言本身的性能通常并不重要。然而,Stream 是一個(gè)API 提供商,為 700 家公司和超過(guò) 5 億最終用戶(hù)提供提要和聊天平臺(tái)。多年來(lái),我們一直在優(yōu)化 Cassandra、PostgreSQL、Redis 等,但最終,您會(huì)達(dá)到所使用語(yǔ)言的極限。Python 是一門(mén)很棒的語(yǔ)言,但對(duì)于序列化/反序列化、排名和聚合等用例,它的性能相當(dāng)緩慢。我們經(jīng)常遇到性能問(wèn)題,Cassandra 需要 1 毫秒來(lái)檢索數(shù)據(jù),而 Python 會(huì)花費(fèi)接下來(lái)的 10 毫秒將其轉(zhuǎn)換為對(duì)象。
看看我如何開(kāi)始 Go 教程中的一小段 Go 代碼。(這是一個(gè)很棒的教程,也是學(xué)習(xí) Go 的一個(gè)很好的起點(diǎn)。)
如果您是 Go 新手,那么在閱讀那個(gè)小代碼片段時(shí)不會(huì)有太多讓您感到驚訝的事情。它展示了多個(gè)賦值、數(shù)據(jù)結(jié)構(gòu)、指針、格式和一個(gè)內(nèi)置的 HTTP 庫(kù)。當(dāng)我第一次開(kāi)始編程時(shí),我一直喜歡使用 Python 更高級(jí)的功能。Python 允許您在編寫(xiě)代碼時(shí)獲得相當(dāng)?shù)膭?chuàng)意。例如,您可以:
這些功能玩起來(lái)很有趣,但是,正如大多數(shù)程序員會(huì)同意的那樣,在閱讀別人的作品時(shí),它們通常會(huì)使代碼更難理解。Go 迫使你堅(jiān)持基礎(chǔ)。這使得閱讀任何人的代碼并立即了解發(fā)生了什么變得非常容易。 注意:當(dāng)然,它實(shí)際上有多“容易”取決于您的用例。如果你想創(chuàng)建一個(gè)基本的 CRUD API,我仍然推薦 Django + DRF或 Rails。
作為一門(mén)語(yǔ)言,Go 試圖讓事情變得簡(jiǎn)單。它沒(méi)有引入許多新概念。重點(diǎn)是創(chuàng)建一種非??焖偾乙子谑褂玫暮?jiǎn)單語(yǔ)言。它唯一具有創(chuàng)新性的領(lǐng)域是 goroutine 和通道。(100% 正確CSP的概念始于 1977 年,所以這項(xiàng)創(chuàng)新更多是對(duì)舊思想的一種新方法。)Goroutines 是 Go 的輕量級(jí)線程方法,通道是 goroutines 之間通信的首選方式。Goroutines 的創(chuàng)建非常便宜,并且只需要幾 KB 的額外內(nèi)存。因?yàn)?Goroutine 非常輕量,所以有可能同時(shí)運(yùn)行數(shù)百甚至數(shù)千個(gè)。您可以使用通道在 goroutine 之間進(jìn)行通信。Go 運(yùn)行時(shí)處理所有復(fù)雜性。goroutines 和基于通道的并發(fā)方法使得使用所有可用的 CPU 內(nèi)核和處理并發(fā) IO 變得非常容易——所有這些都不會(huì)使開(kāi)發(fā)復(fù)雜化。與 Python/Java 相比,在 goroutine 上運(yùn)行函數(shù)需要最少的樣板代碼。您只需在函數(shù)調(diào)用前加上關(guān)鍵字“go”:
Go 的并發(fā)方法很容易使用。與 Node 相比,這是一種有趣的方法,開(kāi)發(fā)人員必須密切關(guān)注異步代碼的處理方式。Go 中并發(fā)的另一個(gè)重要方面是競(jìng)爭(zhēng)檢測(cè)器。這樣可以很容易地確定異步代碼中是否存在任何競(jìng)爭(zhēng)條件。
我們目前用 Go 編寫(xiě)的最大的微服務(wù)編譯需要 4 秒。與以編譯速度慢而聞名的 Java 和 C++ 等語(yǔ)言相比,Go 的快速編譯時(shí)間是一項(xiàng)重大的生產(chǎn)力勝利。我喜歡在程序編譯的時(shí)候摸魚(yú),但在我還記得代碼應(yīng)該做什么的同時(shí)完成事情會(huì)更好。
首先,讓我們從顯而易見(jiàn)的開(kāi)始:與 C++ 和 Java 等舊語(yǔ)言相比,Go 開(kāi)發(fā)人員的數(shù)量并不多。根據(jù)StackOverflow的數(shù)據(jù), 38% 的開(kāi)發(fā)人員知道 Java, 19.3% 的人知道 C++,只有 4.6% 的人知道 Go。GitHub 數(shù)據(jù)顯示了類(lèi)似的趨勢(shì):Go 比 Erlang、Scala 和 Elixir 等語(yǔ)言使用更廣泛,但不如 Java 和 C++ 流行。幸運(yùn)的是,Go 是一種非常簡(jiǎn)單易學(xué)的語(yǔ)言。它提供了您需要的基本功能,僅此而已。它引入的新概念是“延遲”聲明和內(nèi)置的并發(fā)管理與“goroutines”和通道。(對(duì)于純粹主義者來(lái)說(shuō):Go 并不是第一種實(shí)現(xiàn)這些概念的語(yǔ)言,只是第一種使它們流行起來(lái)的語(yǔ)言。)任何加入團(tuán)隊(duì)的 Python、Elixir、C++、Scala 或 Java 開(kāi)發(fā)人員都可以在一個(gè)月內(nèi)在 Go 上發(fā)揮作用,因?yàn)樗暮?jiǎn)單性。與許多其他語(yǔ)言相比,我們發(fā)現(xiàn)組建 Go 開(kāi)發(fā)人員團(tuán)隊(duì)更容易。如果您在博爾德和阿姆斯特丹等競(jìng)爭(zhēng)激烈的生態(tài)系統(tǒng)中招聘人員,這是一項(xiàng)重要的優(yōu)勢(shì)。
對(duì)于我們這樣規(guī)模的團(tuán)隊(duì)(約 20 人)來(lái)說(shuō),生態(tài)系統(tǒng)很重要。如果您必須重新發(fā)明每一個(gè)小功能,您根本無(wú)法為您的客戶(hù)創(chuàng)造價(jià)值。Go 對(duì)我們使用的工具有很好的支持。實(shí)體庫(kù)已經(jīng)可用于 Redis、RabbitMQ、PostgreSQL、模板解析、任務(wù)調(diào)度、表達(dá)式解析和 RocksDB。與 Rust 或 Elixir 等其他較新的語(yǔ)言相比,Go 的生態(tài)系統(tǒng)是一個(gè)重大勝利。它當(dāng)然不如 Java、Python 或 Node 之類(lèi)的語(yǔ)言好,但它很可靠,而且對(duì)于許多基本需求,你會(huì)發(fā)現(xiàn)已經(jīng)有高質(zhì)量的包可用。
Gofmt 是一個(gè)很棒的命令行實(shí)用程序,內(nèi)置在 Go 編譯器中,用于格式化代碼。就功能而言,它與 Python 的 autopep8 非常相似。我們大多數(shù)人并不真正喜歡爭(zhēng)論制表符與空格。格式的一致性很重要,但實(shí)際的格式標(biāo)準(zhǔn)并不那么重要。Gofmt 通過(guò)使用一種正式的方式來(lái)格式化您的代碼來(lái)避免所有這些討論。
Go 對(duì)協(xié)議緩沖區(qū)和 gRPC 具有一流的支持。這兩個(gè)工具非常適合構(gòu)建需要通過(guò) RPC 通信的微服務(wù)。您只需要編寫(xiě)一個(gè)清單,在其中定義可以進(jìn)行的 RPC 調(diào)用以及它們采用的參數(shù)。然后從這個(gè)清單中自動(dòng)生成服務(wù)器和客戶(hù)端代碼。生成的代碼既快速又具有非常小的網(wǎng)絡(luò)占用空間并且易于使用。從同一個(gè)清單中,您甚至可以為許多不同的語(yǔ)言生成客戶(hù)端代碼,例如 C++、Java、Python 和 Ruby。因此,內(nèi)部流量不再有模棱兩可的 REST 端點(diǎn),您每次都必須編寫(xiě)幾乎相同的客戶(hù)端和服務(wù)器代碼。.
Go 沒(méi)有像 Rails 用于 Ruby、Django 用于 Python 或 Laravel 用于 PHP 那樣的單一主導(dǎo)框架。這是 Go 社區(qū)內(nèi)激烈爭(zhēng)論的話(huà)題,因?yàn)樵S多人主張你不應(yīng)該一開(kāi)始就使用框架。我完全同意這對(duì)于某些用例是正確的。但是,如果有人想構(gòu)建一個(gè)簡(jiǎn)單的 CRUD API,他們將更容易使用 Django/DJRF、Rails Laravel 或Phoenix。對(duì)于 Stream 的用例,我們更喜歡不使用框架。然而,對(duì)于許多希望提供簡(jiǎn)單 CRUD API 的新項(xiàng)目來(lái)說(shuō),缺乏主導(dǎo)框架將是一個(gè)嚴(yán)重的劣勢(shì)。
Go 通過(guò)簡(jiǎn)單地從函數(shù)返回錯(cuò)誤并期望調(diào)用代碼來(lái)處理錯(cuò)誤(或?qū)⑵浞祷氐秸{(diào)用堆棧)來(lái)處理錯(cuò)誤。雖然這種方法有效,但很容易失去問(wèn)題的范圍,以確保您可以向用戶(hù)提供有意義的錯(cuò)誤。錯(cuò)誤包通過(guò)允許您向錯(cuò)誤添加上下文和堆棧跟蹤來(lái)解決此問(wèn)題。另一個(gè)問(wèn)題是很容易忘記處理錯(cuò)誤。像 errcheck 和 megacheck 這樣的靜態(tài)分析工具可以方便地避免犯這些錯(cuò)誤。雖然這些變通辦法效果很好,但感覺(jué)不太對(duì)勁。您希望該語(yǔ)言支持正確的錯(cuò)誤處理。
Go 的包管理絕不是完美的。默認(rèn)情況下,它無(wú)法指定特定版本的依賴(lài)項(xiàng),也無(wú)法創(chuàng)建可重現(xiàn)的構(gòu)建。Python、Node 和 Ruby 都有更好的包管理系統(tǒng)。但是,使用正確的工具,Go 的包管理工作得很好。您可以使用Dep來(lái)管理您的依賴(lài)項(xiàng),以允許指定和固定版本。除此之外,我們還貢獻(xiàn)了一個(gè)名為的開(kāi)源工具VirtualGo,它可以更輕松地處理用 Go 編寫(xiě)的多個(gè)項(xiàng)目。
我們進(jìn)行的一個(gè)有趣的實(shí)驗(yàn)是在 Python 中使用我們的排名提要功能并在 Go 中重寫(xiě)它??纯催@個(gè)排名方法的例子:
Python 和 Go 代碼都需要執(zhí)行以下操作來(lái)支持這種排名方法:
開(kāi)發(fā) Python 版本的排名代碼大約花了 3 天時(shí)間。這包括編寫(xiě)代碼、單元測(cè)試和文檔。接下來(lái),我們花了大約 2 周的時(shí)間優(yōu)化代碼。其中一項(xiàng)優(yōu)化是將分?jǐn)?shù)表達(dá)式 (simple_gauss(time)*popularity) 轉(zhuǎn)換為抽象語(yǔ)法樹(shù). 我們還實(shí)現(xiàn)了緩存邏輯,可以在未來(lái)的特定時(shí)間預(yù)先計(jì)算分?jǐn)?shù)。相比之下,開(kāi)發(fā)此代碼的 Go 版本大約需要 4 天時(shí)間。性能不需要任何進(jìn)一步的優(yōu)化。因此,雖然 Python 的最初開(kāi)發(fā)速度更快,但基于 Go 的版本最終需要我們團(tuán)隊(duì)的工作量大大減少。另外一個(gè)好處是,Go 代碼的執(zhí)行速度比我們高度優(yōu)化的 Python 代碼快大約 40 倍?,F(xiàn)在,這只是我們通過(guò)切換到 Go 體驗(yàn)到的性能提升的一個(gè)示例。
與 Python 相比,我們系統(tǒng)的其他一些組件在 Go 中構(gòu)建所需的時(shí)間要多得多。作為一個(gè)總體趨勢(shì),我們看到 開(kāi)發(fā) Go 代碼需要更多的努力。但是,我們花更少的時(shí)間 優(yōu)化 代碼以提高性能。
我們?cè)u(píng)估的另一種語(yǔ)言是Elixir.。Elixir 建立在 Erlang 虛擬機(jī)之上。這是一種迷人的語(yǔ)言,我們之所以考慮它,是因?yàn)槲覀兊囊幻麍F(tuán)隊(duì)成員在 Erlang 方面擁有豐富的經(jīng)驗(yàn)。對(duì)于我們的用例,我們注意到 Go 的原始性能要好得多。Go 和 Elixir 都可以很好地服務(wù)數(shù)千個(gè)并發(fā)請(qǐng)求。但是,如果您查看單個(gè)請(qǐng)求的性能,Go 對(duì)于我們的用例來(lái)說(shuō)要快得多。我們選擇 Go 而不是 Elixir 的另一個(gè)原因是生態(tài)系統(tǒng)。對(duì)于我們需要的組件,Go 有更成熟的庫(kù),而在許多情況下,Elixir 庫(kù)還沒(méi)有準(zhǔn)備好用于生產(chǎn)環(huán)境。培訓(xùn)/尋找開(kāi)發(fā)人員使用 Elixir 也更加困難。這些原因使天平向 Go 傾斜。Elixir 的 Phoenix 框架看起來(lái)很棒,絕對(duì)值得一看。
Go 是一種非常高性能的語(yǔ)言,對(duì)并發(fā)有很好的支持。它幾乎與 C++ 和 Java 等語(yǔ)言一樣快。雖然與 Python 或 Ruby 相比,使用 Go 構(gòu)建東西確實(shí)需要更多時(shí)間,但您將節(jié)省大量用于優(yōu)化代碼的時(shí)間。我們?cè)赟tream有一個(gè)小型開(kāi)發(fā)團(tuán)隊(duì),為超過(guò) 5 億最終用戶(hù)提供動(dòng)力和聊天。Go 結(jié)合了 強(qiáng)大的生態(tài)系統(tǒng) 、新開(kāi)發(fā)人員的 輕松入門(mén)、快速的性能 、對(duì)并發(fā)的 可靠支持和高效的編程環(huán)境 ,使其成為一個(gè)不錯(cuò)的選擇。Stream 仍然在我們的儀表板、站點(diǎn)和機(jī)器學(xué)習(xí)中利用 Python 來(lái)提供個(gè)性化的訂閱源. 我們不會(huì)很快與 Python 說(shuō)再見(jiàn),但今后所有性能密集型代碼都將使用 Go 編寫(xiě)。我們新的聊天 API也完全用 Go 編寫(xiě)。