1.2.1 影響 Go 語言發展的早期編程語言
正如 “21 世紀的 C 語言” 這句話所說,Go 語言并不是憑空而造的,而是和 C++、Java 和 C# 一樣屬于 C 系。不僅如此,設計者們還汲取了其它編程語言的精粹部分融入到 Go 語言當中。
在聲明和包的設計方面,Go 語言受到 Pascal、Modula 和 Oberon 系語言的影響;在并發原理的設計上,Go 語言從同樣受到 Tony Hoare 的 CSP(通信序列進程 Communicating Squential Processes)理論影響的 Limbo 和 Newsqueak 的實踐中借鑒了一些經驗,并使用了和 Erlang 類似的機制。
這是一門完全開源的編程語言,因為它使用 BSD 授權許可,所以任何人都可以進行商業軟件的開發而不需要支付任何費用。
盡管為了能夠讓目前主流的開發者們能夠對 Go 語言中的類 C 語言的語法感到非常親切而易于轉型,但是它在極大程度上簡化了這些語法,使得它們比 C/C++ 的語法更加簡潔和干凈。同時,Go 語言也擁有一些動態語言的特性,這使得使用 Python 和 Ruby 的開發者們在使用 Go 語言的時候感覺非常容易上手。
下圖展示了一些其它編程語言對 Go 語言的影響:
其它編程語言對 Go 語言的影響
1.2.2 為什么要創造一門編程語言
C/C++ 的發展速度無法跟上計算機發展的腳步,十多年來也沒有出現一門與時代相符的主流系統編程語言,因此人們需要一門新的系統編程語言來彌補這個空缺,尤其是在計算機信息時代。
對比計算機性能的提升,軟件開發領域不被認為發展地足夠快或者比硬件發展更加成功(有許多項目均以失敗告終),同時應用程序的體積始終在不斷地擴大,這就迫切地需要一門具備更高層次概念的低級語言來突破現狀。
在 Go 語言出現之前,開發者們總是面臨非常艱難的抉擇,究竟是使用執行速度快但是編譯速度并不理想的語言(如:C++),還是使用編譯速度較快但執行效率不佳的語言(如:.NET、Java),或者說開發難度較低但執行速度一般的動態語言呢?顯然,Go 語言在這 3 個條件之間做到了最佳的平衡:快速編譯,高效執行,易于開發。
1.2.3 Go 語言的發展目標
Go 語言的主要目標是將靜態語言的安全性和高效性與動態語言的易開發性進行有機結合,達到完美平衡,從而使編程變得更加有樂趣,而不是在艱難抉擇中痛苦前行。
因此,Go 語言是一門類型安全和內存安全的編程語言。雖然 Go 語言中仍有指針的存在,但并不允許進行指針運算。
Go 語言的另一個目標是對于網絡通信、并發和并行編程的極佳支持,從而更好地利用大量的分布式和多核的計算機,這一點對于谷歌內部的使用來說就非常重要了。設計者通過 goroutine 這種輕量級線程的概念來實現這個目標,然后通過 channel 來實現各個 goroutine 之間的通信。他們實現了分段棧增長和 goroutine 在線程基礎上多路復用技術的自動化。
這個特性顯然是 Go 語言最強有力的部分,不僅支持了日益重要的多核與多處理器計算機,也彌補了現存編程語言在這方面所存在的不足。
Go 語言中另一個非常重要的特性就是它的構建速度(編譯和鏈接到機器代碼的速度),一般情況下構建一個程序的時間只需要數百毫秒到幾秒。作為大量使用 C++ 來構建基礎設施的谷歌來說,無疑從根本上擺脫了 C++ 在構建速度上非常不理想的噩夢。這不僅極大地提升了開發者的生產力,同時也使得軟件開發過程中的代碼測試環節更加緊湊,而不必浪費大量的時間在等待程序的構建上。
依賴管理是現今軟件開發的一個重要組成部分,但是 C 語言中“頭文件”的概念卻導致越來越多因為依賴關系而使得構建一個大型的項目需要長達幾個小時的時間。人們越來越需要一門具有嚴格的、簡潔的依賴關系分析系統從而能夠快速編譯的編程語言。這正是 Go 語言采用包模型的根本原因,這個模型通過嚴格的依賴關系檢查機制來加快程序構建的速度,提供了非常好的可量測性。
整個 Go 語言標準庫的編譯時間一般都在 20 秒以內,其它的常規項目也只需要半秒鐘的時間來完成編譯工作。這種閃電般的編譯速度甚至比編譯 C 語言或者 Fortran 更加快,使得編譯這一環節不再成為在軟件開發中困擾開發人員的問題。在這之前,動態語言將快速編譯作為自身的一大亮點,像 C++ 那樣的靜態語言一般都有非常漫長的編譯和鏈接工作。而同樣作為靜態語言的 Go 語言,通過自身優良的構建機制,成功地去除了這個弊端,使得程序的構建過程變得微不足道,擁有了像腳本語言和動態語言那樣的高效開發的能力。
另外,Go 語言在執行速度方面也可以與 C/C++ 相提并論。
由于內存問題(通常稱為內存泄漏)長期以來一直伴隨著 C++ 的開發者們,Go 語言的設計者們認為內存管理不應該是開發人員所需要考慮的問題。因此盡管 Go 語言像其它靜態語言一樣執行本地代碼,但它依舊運行在某種意義上的虛擬機,以此來實現高效快速的垃圾回收(使用了一個簡單的標記-清除算法)。
盡管垃圾回收并不容易實現,但考慮這將是未來并發應用程序發展的一個重要組成部分,Go 語言的設計者們還是完成了這項艱難的任務。
Go 語言還能夠在運行時進行反射相關的操作。
使用 go install 能夠很輕松地對第三方包進行部署。
此外,Go 語言還支持調用由 C 語言編寫的海量庫文件(第 3.9 節),從而能夠將過去開發的軟件進行快速遷移。
1.2.4 指導設計原則
Go語言通過減少關鍵字的數量(25 個)來簡化編碼過程中的混亂和復雜度。干凈、整齊和簡潔的語法也能夠提高程序的編譯速度,因為這些關鍵字在編譯過程中少到甚至不需要符號表來協助解析。
這些方面的工作都是為了減少編碼的工作量,甚至可以與 Java 的簡化程度相比較。
Go 語言有一種極簡抽象藝術家的感覺,因為它只提供了一到兩種方法來解決某個問題,這使得開發者們的代碼都非常容易閱讀和理解。眾所周知,代碼的可讀性是軟件工程里最重要的一部分( 譯者注:代碼是寫給人看的,不是寫給機器看的 )。
這些設計理念沒有建立其它概念之上,所以并不會因為牽扯到一些概念而將某個概念復雜化,他們之間是相互獨立的。
Go 語言有一套完整的編碼規范,你可以在 Go 語言編碼規范 頁面進行查看。
它不像 Ruby 那樣通過實現過程來定義編碼規范。作為一門具有明確編碼規范的語言,它要求可以采用不同的編譯器如 gc 和 gccgo(第 2.1 節)進行編譯工作,這對語言本身擁有更好的編碼規范起到很大幫助。
LALR 是 Go 語言的語法標準,你也可以在 src/cmd/internal/gc/go.y 中查看到,這種語法標準在編譯時不需要符號表來協助解析。
1.2.5 語言的特性
Go 語言從本質上(程序和結構方面)來實現并發編程。
因為 Go 語言沒有類和繼承的概念,所以它和 Java 或 C++ 看起來并不相同。但是它通過接口(interface)的概念來實現多態性。Go 語言有一個清晰易懂的輕量級類型系統,在類型之間也沒有層級之說。因此可以說這是一門混合型的語言。
在傳統的面向對象語言中,使用面向對象編程技術顯得非常臃腫,它們總是通過復雜的模式來構建龐大的類型層級,這違背了編程語言應該提升生產力的宗旨。
函數是 Go 語言中的基本構件,它們的使用方法非常靈活。在第六章,我們會看到 Go 語言在函數式編程方面的基本概念。
Go 語言使用靜態類型,所以它是類型安全的一門語言,加上通過構建到本地代碼,程序的執行速度也非常快。
作為強類型語言,隱式的類型轉換是不被允許的,記住一條原則:讓所有的東西都是顯式的。
Go 語言其實也有一些動態語言的特性(通過關鍵字 var),所以它對那些逃離 Java 和 .Net 世界而使用 Python、Ruby、PHP 和 JavaScript 的開發者們也具有很大的吸引力。
Go 語言支持交叉編譯,比如說你可以在運行 Linux 系統的計算機上開發運行下 Windows 下運行的應用程序。這是第一門完全支持 UTF-8 的編程語言,這不僅體現在它可以處理使用 UTF-8 編碼的字符串,就連它的源碼文件格式都是使用的 UTF-8 編碼。Go 語言做到了真正的國際化!
1.2.6 語言的用途
Go 語言被設計成一門應用于搭載 Web 服務器,存儲集群或類似用途的巨型中央服務器的系統編程語言。對于高性能分布式系統領域而言,Go 語言無疑比大多數其它語言有著更高的開發效率。它提供了海量并行的支持,這對于游戲服務端的開發而言是再好不過了。
Go 語言一個非常好的目標就是實現所謂的復雜事件處理(CEP),這項技術要求海量并行支持,高度的抽象化和高性能。當我們進入到物聯網時代,CEP 必然會成為人們關注的焦點。
但是 Go 語言同時也是一門可以用于實現一般目標的語言,例如對于文本的處理,前端展現,甚至像使用腳本一樣使用它。
值得注意的是,因為垃圾回收和自動內存分配的原因,Go 語言不適合用來開發對實時性要求很高的軟件。
越來越多的谷歌內部的大型分布式應用程序都開始使用 Go 語言來開發,例如谷歌地球的一部分代碼就是由 Go 語言完成的。
如果你想知道一些其它組織使用Go語言開發的實際應用項目,你可以到 使用 Go 的組織 頁面進行查看。出于隱私保護的考慮,許多公司的項目都沒有展示在這個頁面。我們將會在第 21 章討論到一個使用 Go 語言開發的大型存儲區域網絡(SAN)案例。
在 Chrome 瀏覽器中內置了一款 Go 語言的編譯器用于本地客戶端(NaCl),這很可能會被用于在 Chrome OS 中執行 Go 語言開發的應用程序。
Go 語言可以在 Intel 或 ARM 處理器上運行,因此它也可以在安卓系統下運行,例如 Nexus 系列的產品。
在 Google App Engine 中使用 Go 語言:2011 年 5 月 5 日,官方發布了用于開發運行在 Google App Engine 上的 Web 應用的 Go SDK,在此之前,開發者們只能選擇使用 Python 或者 Java。這主要是 David Symonds 和 Nigel Tao 努力的成果。目前最新的穩定版是基于 Go 1.4 的 SDK 1.9.18,于 2015 年 2 月 18 日發布。當前 Go 語言的穩定版本是 Go 1.4.2。
1.2.7 關于特性缺失
許多能夠在大多數面向對象語言中使用的特性 Go 語言都沒有支持,但其中的一部分可能會在未來被支持。
為了簡化設計,不支持函數重載和操作符重載
為了避免在 C/C++ 開發中的一些 Bug 和混亂,不支持隱式轉換
Go 語言通過另一種途徑實現面向對象設計(第 10-11 章)來放棄類和類型的繼承
盡管在接口的使用方面(第 11 章)可以實現類似變體類型的功能,但本身不支持變體類型
不支持動態加載代碼
不支持動態鏈接庫
不支持泛型
通過 recover 和 panic 來替代異常機制(第 13.2-3 節)
不支持斷言
不支持靜態變量
關于 Go 語言開發團隊對于這些方面的討論,你可以通過 Go 常見問題 頁面查看。
1.2.8 使用 Go 語言編程
如果你有其它語言的編程經歷(面向對象編程語言,如:Java、C#、Object-C、Python、Ruby),在你進入到 Go 語言的世界之后,你將會像迷戀你的 X 語言一樣無法自拔。Go 語言使用了與其它語言不同的設計模式,所以當你嘗試將你的X語言的代碼遷移到 Go 語言時,你將會非常失望,所以你需要從頭開始,用 Go 的理念來思考。
如果你在至高點使用 Go 的理念來重新審視和分析一個問題,你通常會找到一個適用于 Go 語言的優雅的解決方案。
1.2.9 小結
這里列舉一些 Go 語言的必殺技:
簡化問題,易于學習
內存管理,簡潔語法,易于使用
快速編譯,高效開發
高效執行
并發支持,輕松駕馭
靜態類型
標準類庫,規范統一
易于部署
文檔全面
免費開源