Google的親兒子Go是完美的編程語言嗎?
#引言
團(tuán)隊(duì)有項(xiàng)目考慮用GO重寫,所以花了些時間調(diào)研GO。

***次接觸GO是5年前,14年4月份,也是在我司,全職鉆研一周,彼時C++中毒太深,內(nèi)心排斥其他編程語言,看其他語法總覺得有點(diǎn)怪,而且有“C/C++能做任何事,故無用其他語言之必要”的思想在作祟。
我讀研階段用過幾年Java,工作以來一直使用C++/C,況且教出幾個非計(jì)算機(jī)系(包括英語系)的職業(yè)程序員,所以,我就浮夸一回,聲稱熟練掌握C++吧。
人都有思維定勢,受限于自己的經(jīng)驗(yàn)和認(rèn)知,我亦不能例外,但好在我意識到這一點(diǎn),所以在調(diào)研過程中,努力摒棄成見,盡量擺脫慣性,查閱關(guān)于GO的各種(包括核心設(shè)計(jì)師)文章,傾聽擁躉和批評者的不同聲音,結(jié)合自己的思考和分析,力求客觀公正去評價(jià)GO。
#GO語言簡介
GO是Google開發(fā)的一種靜態(tài)、強(qiáng)類型、編譯型、并發(fā)型,并具有垃圾回收功能的類C編程語言。2009以開源項(xiàng)目的形式發(fā)布,2012年發(fā)布1.0穩(wěn)定版本,距今已經(jīng)十年了。
發(fā)明一種新的編程語言,首先得找到必要性,不然肯定會被質(zhì)疑重復(fù)造輪子,方法嘛?無非是先找某種語言的一些茬,吐槽一番,復(fù)雜、笨拙、低效,太TM沙雕了,不能忍,勞資要立刻馬上分分鐘擼出一種新的編程語言,***解決所有問題,不然對不起我卓爾不群的智商。
GO的故事也很套路,G公司的Pike大牛聽完C++0x的演講,回到辦公室,開始編譯C++,等待編譯過程中,轉(zhuǎn)過椅子面向Robert,討論語言的問題,然后拉上Ken爺爺一起合計(jì),群嘲之后,受不了C++某些沙雕設(shè)計(jì),還沒等編譯完成,三個老男人便一拍即合,決定一起搞點(diǎn)change the world的偉大事情,于是乎,GO誕生了。
GO語言之父Pike提到:GO語言是以C為原型,以C++為目標(biāo)而設(shè)計(jì)的,希望C++程序員能以GO作為替代品。因?yàn)樗X得C++忒復(fù)雜了,要解救程序員于水火。
雖然GO以C++為目標(biāo)而設(shè)計(jì),但尷尬的是,Pike坦承GO并沒有吸引來多少C++程序員,反而是吸引了不少Python、Ruby程序員。這、這、這、這。
#GO核心團(tuán)隊(duì)
G公司不差錢不缺人,GO團(tuán)隊(duì)更是群星薈萃、大咖云集,不廢話,直接上圖:
核心設(shè)計(jì)師Pike和Ken都是出身自貝爾實(shí)驗(yàn)室,Ken之于Pike,亦師亦友,共同發(fā)明了UTF-8,還基情四射地結(jié)對編程過,感情好的穿一條褲子。
Pike是Unix先驅(qū),貝爾實(shí)驗(yàn)室最早跟Ken、Dennis一起開發(fā)Unix的猛人,Plan9 OS的靈魂人物。大胡子Ken爺爺則是Unix之父,和Dennis一起發(fā)明了C語言,殿堂骨灰級程序員,早已是名滿天下。
技術(shù)實(shí)力毋容置疑,不過這哥倆都是玩Kernel的,經(jīng)歷相同,理念相近,分歧會比較少,他們也都坦承C用得最多最熟,所以注定了GO的類C特性,不過這會不會導(dǎo)致GO設(shè)計(jì)上的思維火花不足,對OOP以及現(xiàn)代編程思想的支持不足,亦未可知。
#GO的哲學(xué)
哲學(xué)是難分對錯的,GO有GO的哲學(xué),有它的取舍和審美,不一定每個人都認(rèn)同,我覺得還挺有道理的,羅列如下:
##少即是多
GO信奉:Less Is More,大道至簡,臆測是喬幫主的信徒。
##世界是并行的
世間萬物是并行發(fā)生的,所以GO遵照這個規(guī)律,對并發(fā)的原生支持讓GO更易于描述并行世界。
##世界是物質(zhì)組成的
微觀世界由小的粒子組合成大的粒子;宏觀世界由小的物體組合成大的物體。繼承只能描述現(xiàn)實(shí)世界的一小部分,使用繼承是不全面的;GO的設(shè)計(jì)選擇的是組合,這個和現(xiàn)實(shí)世界比較吻合的設(shè)計(jì),表現(xiàn)力更強(qiáng)。
##世界是標(biāo)準(zhǔn)化的
硬件是標(biāo)準(zhǔn)化的,軟件也應(yīng)如此,GO的接口是DUCK模型,接口是非侵入式的。
##正交性
GO的多個特性都是正交性的,正交性是保持事物穩(wěn)定和簡單的***設(shè)計(jì)。
##二八定律
80%代碼只使用20%特性,增加語言特性,并不能提升效率,反而會增加復(fù)雜性,提高犯錯率,加重程序員心智負(fù)擔(dān)。
##統(tǒng)一格式化
C++語法自由自在,于是乎一群吊絲為tab or space、大括號要不要換行等諸如此類的格式問題吵得不可開交。GO設(shè)計(jì)師認(rèn)為,都是吃飽了撐的,你們太愚蠢了。
于是GO規(guī)定左大括號{不能換行放置,沒有為什么,對著干直接編譯不過。
GO編譯器內(nèi)建工具gofmt強(qiáng)制源碼格式化。對不起,沒有選項(xiàng),我的地盤聽我的,把精力focus到真正重要的事情上來,停止無意義的爭吵。
這其實(shí)也是一種哲學(xué):給你(我認(rèn)為)***的,而不是給你選擇。就像iPhone一樣,用戶太笨了,他們根本不知道自己需要什么,就讓幫主替你安排好一切吧。
不過GO強(qiáng)加個人喜好的一刀切做法,也招致批評和厭惡。有比較剛的程序員,直接因?yàn)榇罄ㄌ柌蛔寭Q行而拋棄GO。
作為一個經(jīng)歷過各種妖媚代碼格式要求的程序員,我發(fā)出了杠鈴般的笑聲。
#GO的特色
GO是介于C與C++之間的語言,比C抽象層次高,比C++抽象層次低。
因?yàn)槭且婚T新的編程語言,站在巨人的肩膀,博采眾長,規(guī)避了一些已知的問題,開發(fā)了一些優(yōu)秀的特征,相比C/C++,GO的核心特征包括以下幾個方面:
1. 原生并發(fā),以東尼·霍爾的通信順序進(jìn)程(CSP)為基礎(chǔ)的goroutine,適合現(xiàn)代多核機(jī)器
2. 垃圾回收,非常高效(請來世界***內(nèi)存管理專家設(shè)計(jì))
3. 強(qiáng)大的標(biāo)準(zhǔn)庫,對網(wǎng)絡(luò)編程等的良好支持
4. CGO提供了GO調(diào)用C機(jī)制,擴(kuò)展了GO的能力邊界
5. 內(nèi)嵌關(guān)聯(lián)數(shù)組
6. 非侵入式的接口設(shè)計(jì)
7. 簡單清晰的語法,以及強(qiáng)編碼規(guī)則,好處可能遠(yuǎn)超想象
#GO vs C/C++
[GO與C語法詳細(xì)對比](http://hyperpolyglot.org/c)
#性能對比
雖然GO號稱兼?zhèn)銫++的運(yùn)行效率和PHP的開發(fā)效率,但benchmarks好像打臉了,從數(shù)據(jù)上看,GO的運(yùn)行效率接近卻略低于Java。
#研發(fā)效率
我樂觀預(yù)計(jì)GO的研發(fā)效率上優(yōu)于C/C++,特別是*nix環(huán)境下。
#流行度
GO獲得TIOBE 2016年度***,2017年10月獲得第10,歷史***排名。
GO誕生10年,雖然背靠Google,但依然沒有挺進(jìn)編程語言***陣營 ,屬于外圍三線。
近一年多流行度排名有所下滑,鐵打的Java、C/C++,流水的編程語言。
#工程化水平
知名項(xiàng)目:
Docker:大名鼎鼎的開源應(yīng)用容器引擎
K8S:容器編排管理系統(tǒng)的事實(shí)標(biāo)準(zhǔn)
...
GO更適合開發(fā)服務(wù)器端大型軟件,高性能分布式系統(tǒng)領(lǐng)域,網(wǎng)絡(luò)編程,并發(fā)編程,被譽(yù)為云時代的C語言。
GO成為云計(jì)算時代流行起來,促進(jìn)了云計(jì)算的發(fā)展,Google用GO的多,今日頭條、Uber等公司也用GO對業(yè)務(wù)進(jìn)行了徹底的重構(gòu),golang.org YouTube.com也在使用GO開發(fā)。
美國市值TOP20有一半在使用GO,國外很多初創(chuàng)公司選擇GO,國內(nèi)關(guān)注高,但還未得到廣泛應(yīng)用,應(yīng)用上呈現(xiàn)國外熱國內(nèi)冷的特點(diǎn)
Go語言目前所面臨的***問題在于,還沒有足夠的經(jīng)驗(yàn)來證明GO是否真的是一個成功的產(chǎn)品,缺少足夠多超大型應(yīng)用的實(shí)踐。