029-63618096

首頁 > 最新動態

Go是更好的編程語言嗎?

時間:2019年04月29日 10:43:43 來源:恒智IT 作者:admin

GO語言簡介


GO是Google開發的一種靜態、強類型、編譯型、並發型,並具有垃圾回收功能的類C編程語言。2009以開源項目的形式發布,2012年發布1.0穩定版本,距今已經十年了。


發明一種新的編程語言,首先得找到必要性,不然肯定會被質疑重複造輪子,方法嘛?無非是先找某種語言的一些茬,吐槽一番,複雜、笨拙、低效,太TM沙雕了,不能忍,勞資要立刻馬上分分鍾擼出一種新的編程語言,完美解決所有問題,不然對不起我卓爾不群的智商。


GO的故事也很套路,G公司的Pike大牛聽完C++0x的演講,回到辦公室,開始編譯C++,等待編譯過程中,轉過椅子麵向Robert,討論語言的問題,然後拉上Ken爺爺一起合計,群嘲之後,受不了C++某些沙雕設計,還沒等編譯完成,三個老男人便一拍即合,決定一起搞點change the world的偉大事情,於是乎,GO誕生了。


GO語言之父Pike提到:GO語言是以C為原型,以C++為目標而設計的,希望C++程序員能以GO作為替代品。因為他覺得C++忒複雜了,要解救程序員於水火。


雖然GO以C++為目標而設計,但尷尬的是,Pike坦承GO並沒有吸引來多少C++程序員,反而是吸引了不少Python、Ruby程序員。這、這、這、這。


GO核心團隊


G公司不差錢不缺人,GO團隊更是群星薈萃、大咖雲集,不廢話,直接上圖:


640?wx_fmt=jpeg


核心設計師Pike和Ken都是出身自貝爾實驗室,Ken之於Pike,亦師亦友,共同發明了UTF-8,還基情四射地結對編程過,感情好的穿一條褲子。


Pike是Unix先驅,貝爾實驗室最早跟Ken、Dennis一起開發Unix的猛人,Plan9 OS的靈魂人物。大胡子Ken爺爺則是Unix之父,和Dennis一起發明了C語言,殿堂骨灰級程序員,早已是名滿天下。


技術實力毋容置疑,不過這哥倆都是玩Kernel的,經曆相同,理念相近,分歧會比較少,他們也都坦承C用得最多最熟,所以注定了GO的類C特性,不過這會不會導致GO設計上的思維火花不足,對OOP以及現代編程思想的支持不足,亦未可知。


GO的哲學


哲學是難分對錯的,GO有GO的哲學,有它的取舍和審美,不一定每個人都認同,我覺得還挺有道理的,羅列如下:


少即是多


GO信奉:Less Is More,大道至簡,臆測是喬幫主的信徒。


世界是並行的


世間萬物是並行發生的,所以GO遵照這個規律,對並發的原生支持讓GO更易於描述並行世界。


世界是物質組成的


微觀世界由小的粒子組合成大的粒子;宏觀世界由小的物體組合成大的物體。繼承隻能描述現實世界的一小部分,使用繼承是不全麵的;GO的設計選擇的是組合,這個和現實世界比較吻合的設計,表現力更強。


世界是標準化的


硬件是標準化的,軟件也應如此,GO的接口是DUCK模型,接口是非侵入式的。


正交性


GO的多個特性都是正交性的,正交性是保持事物穩定和簡單的最好設計。


二八定律


80%代碼隻使用20%特性,增加語言特性,並不能提升效率,反而會增加複雜性,提高犯錯率,加重程序員心智負擔。


統一格式化


C++語法自由自在,於是乎一群吊絲為tab or space、大括號要不要換行等諸如此類的格式問題吵得不可開交。GO設計師認為,都是吃飽了撐的,你們太愚蠢了。


於是GO規定左大括號{不能換行放置,沒有為什麽,對著幹直接編譯不過。

GO編譯器內建工具gofmt強製源碼格式化。對不起,沒有選項,我的地盤聽我的,把精力focus到真正重要的事情上來,停止無意義的爭吵。


這其實也是一種哲學:給你(我認為)最好的,而不是給你選擇。就像iphoness一樣,用戶太笨了,他們根本不知道自己需要什麽,就讓幫主替你安排好一切吧。


不過GO強加個人喜好的一刀切做法,也招致批評和厭惡。有比較剛的程序員,直接因為大括號不讓換行而拋棄GO。


作為一個經曆過各種妖媚代碼格式要求的程序員,我發出了杠鈴般的笑聲。


GO的特色


GO是介於C與C++之間的語言,比C抽象層次高,比C++抽象層次低。


因為是一門新的編程語言,站在巨人的肩膀,博采眾長,規避了一些已知的問題,開發了一些優秀的特征,相比C/C++,GO的核心特征包括以下幾個方麵:


1. 原生並發,以東尼·霍爾的通信順序進程(CSP)為基礎的goroutine,適合現代多核機器

2. 垃圾回收,非常高效(請來世界頂級內存管理專家設計)

3. 強大的標準庫,對網絡編程等的良好支持

4. CGO提供了GO調用C機製,擴展了GO的能力邊界

5. 內嵌關聯數組

6. 非侵入式的接口設計

7. 簡單清晰的語法,以及強編碼規則,好處可能遠超想象


GO vs C/C++


640?wx_fmt=jpeg

[GO與C語法詳細對比](https://hyperpolyglot.org/c)


性能對比


雖然GO號稱兼備C++的運行效率和PHP的開發效率,但benchmarks好像打臉了,從數據上看,GO的運行效率接近卻略低於Java。


640?wx_fmt=jpeg


研發效率


640?wx_fmt=jpeg


我樂觀預計GO的研發效率上優於C/C++,特別是*nix環境下。


流行度


GO獲得TIOBE 2016年度最佳,2017年10月獲得第10,曆史最高排名。


GO誕生10年,雖然背靠Google,但依然沒有挺進編程語言第一陣營 ,屬於外圍三線。


近一年多流行度排名有所下滑,鐵打的Java、C/C++,流水的編程語言。


640?wx_fmt=jpeg


工程化水平

640?wx_fmt=jpeg


知名項目:

Docker:大名鼎鼎的開源應用容器引擎

K8S:容器編排管理係統的事實標準

...

GO更適合開發服務器端大型軟件,高性能分布式係統領域,網絡編程,並發編程,被譽為雲時代的C語言。


GO成為雲計算時代流行起來,促進了雲計算的發展,Google用GO的多,今日頭條、Uber等公司也用GO對業務進行了徹底的重構,golang.org YouTube.com也在使用GO開發。


美國市值TOP20有一半在使用GO,國外很多初創公司選擇GO,國內關注高,但還未得到廣泛應用,應用上呈現國外熱國內冷的特點。


Go語言目前所麵臨的最大問題在於,還沒有足夠的經驗來證明GO是否真的是一個成功的產品,缺少足夠多超大型應用的實踐。


總體而言,GO的工程化水平低於C/C++和Java等第一梯隊語言。


爭議和不足


GO最初聲稱為了解決Google的問題而設計,為了幫助人們閱讀、調試和維護軟件而生,但目前為止,難言圓滿。


GO的異常處理經常被吐槽,GC提高了安全性卻失去了控製力,組合代替繼承真的好嗎?包管理做的好嗎?


摒棄先入為主的觀念影響,重新客觀審視GO語言,我覺得在語言設計層麵,GO確實更自然、更簡約。比如摒棄行尾的分號,比如if/for不需要圓括號包裹條件,放空內心去想,好像真的更合理。


GO抖掉了C++的諸多包袱,讓程序簡單,也更容易理解(特別是相對於C),但是隨著GO的發展,語法也有可能變重,比如GO 2.0版又把它之前批評的泛型引入了,當初GO批評別人的點又有可能反過來被別人批評。


而關於語法層麵是否真的更簡潔,也是有爭議的,三目運算符不支持+強製大括號讓一行C代碼變成多行GO真的更簡單了嗎?比如編程語言專家莊曉立(Liigo)在CSDN上有吐槽的文章,仔細讀來,也有一定道理,我貼一個鏈接,可以參考一下。


原文鏈接:https://blog.csdn.net/liigo/article/details/23699459


另外GO是G公司的,雖然目前開源,但會不會哪天也像Oracle一樣,窮瘋了便開始薅羊毛,Oracle Java JDK已經開始割韭菜了,所以GO智慧產權的風險依然存在,而C/C++已經是宇宙人類的了,世界性的標準化組織在控製管理,風險無窮逼近於零。


小結


GO在一些點確實有突破,比如讓並發編程更容易、運行更高效,比如垃圾回收讓程序更安全,比如基於消息(Channel)編程的支持,比如內嵌關聯結構,這些都很讚,也很重要。編程語言發展這麽多年,任何突破都是艱難和寶貴的。


Goroutine是GO的殺手鐧,經過GO改造後的係統有更高並發量和IO吞吐率。


GO跟C非常像,這並不奇怪,因為設計師都是C語言大師,C/C++程序員很容易切換到GO,但Java程序員轉GO可能要困難一些。


另一個隱患就是在Java占主導的生態中,GO顯得比較小眾,跟其他中間件的融合也存在潛在風險,引入複雜性甚至混亂。


回到標題的問題,GO是更好的語言嗎?GO是理想的編程語言嗎?說實話,我不知道,而且我的觀點也不重要,這似乎是一個哲學問題。


是否要選擇GO作為項目開發語言,我認為不應該被GO聲稱的優勢迷惑,因為你去google任何一門語言,都能收獲一堆優點,PR會自然而然的對缺點選擇性忽視。


但也不能因循守舊,而應該仔細辨別,你度量什麽便得到什麽。GO是否適合你的項目,GO的新特點和優勢對你的項目是否真有必要,是否真有幫助,能給你的項目帶來什麽好處?比如你寫一個單機遊戲程序可能GO網絡庫的簡便對你而言為零,所得收益跟你付出新學一門語言的成本相比如何?同時,它的缺陷是什麽?你是否全麵理解?


有時候,它或許就像一位花枝招展的姑娘,待你拋棄一切去擁抱它的時候,你會發現,它的美好隻是存在於你的幻想中,當然也有另一種可能,它真的非常好,很適合你,恭喜你,熱情的擁抱它吧。


GO有它適應場景,比如適合網絡程序、雲應用、微服務、高性能分布式、大型多人協同,可能在開發效率上有非常大的提升,清晰度上也有提高,可能是理想的首選。


或許我會嚐試用GO開發新項目或者改寫老項目,誰知道呢?這取決於權衡折中,取決於領導決斷,也取決於我的心情。


附錄


一段GO的示例代碼,品味一下GO的STYLE


640?wx_fmt=jpeg


上一篇:不懂嵌入式,何談物聯網?

下一篇:C++ 17 標準正式發布:終於能更簡單地編寫和維護代碼了!