App下載

程序員技術(shù)選型:寫Go還是Java?

猿友 2020-09-27 15:30:48 瀏覽數(shù) (2595)
反饋

文章來(lái)源于公眾號(hào):架構(gòu)頭條 作者:John Griffin 譯者 |:無(wú)明

本文作者根據(jù)自己的使用體驗(yàn),詳細(xì)對(duì)比了 Go 和 Java 的使用差異,給了開發(fā)者們一個(gè)中肯的選用參考。

老實(shí)說(shuō),我很喜歡 Java。我在 Spiral Scout 工作的那幾年,使用了 EJB2、DB2 和 Oracle 等后端技術(shù),積累了很多軟件開發(fā)方面的專業(yè)知識(shí)。過(guò)去幾年,我轉(zhuǎn)向基于自然語(yǔ)言處理的機(jī)器人項(xiàng)目,涉及的技術(shù)包括 Spring Boot、Redis、RabbitMQ、Open NLP、IBM Watson 和 UIMA。一直以來(lái),我選擇的語(yǔ)言是 Java,它一直很高效,有時(shí)還會(huì)覺得它很有趣。

1. 初遇 Go

2017 年初,我接手了一個(gè)非常有趣的項(xiàng)目,一個(gè)用于監(jiān)控和種植水培植物的自動(dòng)化編程系統(tǒng)。項(xiàng)目的原始代碼里包含了一個(gè)使用 CGo 開發(fā)的支持三個(gè)不同系統(tǒng)(Windows、MacOS 和 ARM)的網(wǎng)關(guān)。

因?yàn)閷?duì) Go 不熟悉,我一邊學(xué)習(xí),一邊用它來(lái)實(shí)現(xiàn)功能。因?yàn)橐延写a庫(kù)的結(jié)構(gòu)非常復(fù)雜,對(duì)我來(lái)說(shuō)是難上加難。用 Go 開發(fā)的支持三種不同操作系統(tǒng)的程序意味著需要針對(duì)三種不同的系統(tǒng)進(jìn)行部署、測(cè)試和運(yùn)行維護(hù)。此外,代碼采用了單例設(shè)計(jì)模式,導(dǎo)致系統(tǒng)嚴(yán)重相互依賴,難以預(yù)測(cè)會(huì)出現(xiàn)什么問題,而且難以理解。最后,我選擇使用 Java 來(lái)實(shí)現(xiàn)新版本,但最終也變得非常丑陋和令人困惑。

在加入 Spiral Scout 后,我嘗試停止使用 Java。我決定擁抱 Go,并盡可能多地使用 Go 來(lái)開發(fā)。我發(fā)現(xiàn)它是一種創(chuàng)新且全面的語(yǔ)言,我們的團(tuán)隊(duì)現(xiàn)在仍然每天在各種項(xiàng)目中使用它。

但是,與任何一門編程語(yǔ)言一樣,Go 也有它的缺點(diǎn),而且我不想撒謊——有時(shí)候我真的很想念 Java。

如果說(shuō)我的編程經(jīng)驗(yàn)教會(huì)了我什么,那一定是——軟件開發(fā)沒有銀彈。我將在這篇文章里詳細(xì)分享我使用一門傳統(tǒng)語(yǔ)言和一門新語(yǔ)言的經(jīng)歷。

2. 簡(jiǎn)潔性

GoJava 都是 C 家族語(yǔ)言,所以它們具有相似的語(yǔ)法。因此,Java 開發(fā)人員可以很容易讀懂 Go 代碼,反之亦然。Go 不需要在語(yǔ)句末尾使用分號(hào)(';'),只有少數(shù)情況例外。對(duì)我來(lái)說(shuō),Go 的行分隔方式更清晰,更易讀。

GoJava 都使用了我最喜歡的功能之一,即垃圾收集器(GC),用來(lái)幫助防止內(nèi)存泄漏。與 C++ 不同,C 家族的程序員需要處理內(nèi)存泄漏問題。垃圾回收器是自動(dòng)化內(nèi)存管理的一個(gè)特性,減輕了程序員的負(fù)擔(dān)。

Go 的 GC 并未使用“弱世代假設(shè)”,但它的表現(xiàn)仍然非常出色,并且 STW(Stop-the-World)的時(shí)間非常短。在 1.5 版中,STW 降得更多,并且很穩(wěn)定,而在 1.8 版中,它降到了 1 毫秒以下。

GO版本對(duì)比

Go 的 GC 只有少量的一些選項(xiàng),即用于設(shè)置初始垃圾回收目標(biāo)百分比的 GOGC 變量。而 Java 有 4 個(gè)不同的垃圾回收器,每個(gè)垃圾回收器都有大量的選項(xiàng)。

盡管 Java 和 Go 都被認(rèn)為是跨平臺(tái)的,但 Java 需要 Java 虛擬機(jī)(JVM)來(lái)解釋編譯后的代碼,而 Go 是將代碼編譯成目標(biāo)平臺(tái)的二進(jìn)制文件。但我認(rèn)為,與 Go 相比,Java 對(duì)平臺(tái)的依賴程度更低,因?yàn)?Go 每次都需要為新平臺(tái)編譯二進(jìn)制文件。從測(cè)試和 DevOps 的角度來(lái)看,分別為不同的平臺(tái)編譯二進(jìn)制文件非常耗時(shí),并且跨平臺(tái)的 Go 編譯在某些情況下不起作用,尤其是在使用 CGo 時(shí)。而對(duì)于 Java,你可以在安裝了 JVM 的任何地方使用相同的 jar。Go 需要的 RAM 更小一些,并且不需要安裝和管理虛擬機(jī)。

反射。Java 的反射更方便、更流行也更常用,而 Go 的反射似乎更復(fù)雜。Java 是一種面向?qū)ο蟮木幊陶Z(yǔ)言,因此除原始類型之外的所有東西都被視為對(duì)象。如果要使用反射,可以創(chuàng)建一個(gè)類,并從類中獲取所需的信息,如下所示:

Class cls = obj.getClass();
Constructor constructor = cls.getConstructor();
Method[] methods = cls.getDeclaredFields();

這樣就可以訪問構(gòu)造函數(shù)、方法和屬性,然后調(diào)用或?qū)λ鼈冑x值。

Go 沒有類的概念,并且結(jié)構(gòu)體只包含了已聲明的字段。因此,我們需要借助“reflection”包來(lái)獲得所需的信息:

type Foo struct {
  A int `tag1:"First Tag"
  tag2:"Second Tag"`
  B string
}


f := Foo{A: 10, B: "Salutations"}
fType := reflect.TypeOf(f)
switch t.Kind(fType)
    case reflect.Struct:
        for i := 0; i < t.NumField(); i++ {
          f := t.Field(i)
          // ...
        }
}

我覺得這不是一個(gè)大問題,但由于 Go 中沒有結(jié)構(gòu)體的構(gòu)造函數(shù),所以很多原始類型必須單獨(dú)處理,并且需要考慮到指針。在 Go 中,我們可以進(jìn)行指針傳遞或值傳遞。Go 的結(jié)構(gòu)體可以將函數(shù)作為字段。所有這些都讓 Go 的反射變得更加復(fù)雜。

可訪問性。Java 有 private、protected 和 public 修飾符,為數(shù)據(jù)、方法和對(duì)象提供了不同的訪問作用域。Go 有與 Java 的 public 和 private 相似的 exported/unexported,但沒有修飾符。以大寫字母開頭的所有內(nèi)容都將被導(dǎo)出,對(duì)其他包可見,未導(dǎo)出(小寫)的變量或函數(shù)僅在當(dāng)前包中可見。

3. Go 與 Java 的大不同

Go 不是面向?qū)ο缶幊陶Z(yǔ)言。Go 沒有類似 Java 的繼承機(jī)制,因?yàn)樗鼪]有通過(guò)繼承實(shí)現(xiàn)傳統(tǒng)的多態(tài)性。實(shí)際上,它沒有對(duì)象,只有結(jié)構(gòu)體。它可以通過(guò)接口和讓結(jié)構(gòu)體實(shí)現(xiàn)接口來(lái)模擬一些面向?qū)ο筇匦?。此外,你可以在結(jié)構(gòu)體中嵌入結(jié)構(gòu)體,但內(nèi)部結(jié)構(gòu)體無(wú)法訪問外部結(jié)構(gòu)體的數(shù)據(jù)和方法。Go 使用組合而不是繼承將一些行為和數(shù)據(jù)組合在一起。

Go 是一種命令式語(yǔ)言,Java 是一種聲明式語(yǔ)言。Go 沒有依賴注入,我們需要顯式地將所有東西包裝在一起。因此,在使用 Go 時(shí)盡量少用“魔法”之類的東西。一切代碼對(duì)于代碼評(píng)審人員來(lái)說(shuō)都應(yīng)該是顯而易見的。Go 程序員應(yīng)該了解 Go 代碼如何使用內(nèi)存、文件系統(tǒng)和其他資源。

Java 要求開發(fā)人員更多地地關(guān)注程序的業(yè)務(wù)邏輯,知道如何創(chuàng)建、過(guò)濾、修改和存儲(chǔ)數(shù)據(jù)。系統(tǒng)底層和數(shù)據(jù)庫(kù)方面的東西都是通過(guò)配置和注解來(lái)完成的(比如通過(guò) Spring Boot 等通用框架)。我們盡可能把枯燥乏味的東西留給框架去做。這樣做很方便,但控制也反轉(zhuǎn)了,限制了我們優(yōu)化整個(gè)過(guò)程的能力。

變量定義的順序。在 Java 中,你可以這樣定義變量:

String name;

而在 Go 中,你得這么寫:

name string

在我剛開始使用 Go 時(shí),這也是令我感到困惑的一個(gè)地方。

4. Go 好的方面

簡(jiǎn)單優(yōu)雅的并發(fā)。Go 具有強(qiáng)大的并發(fā)模型,叫作“通信順序進(jìn)程”或 CSP。Go 使用 n-to-m 分析器,允許在 n 個(gè)系統(tǒng)線程中執(zhí)行 m 個(gè)并發(fā)。啟動(dòng)并發(fā)例程非常簡(jiǎn)單,只需使用 Go 的一個(gè)關(guān)鍵字即可,例如:

go doMyWork()

這樣就可以并發(fā)執(zhí)行 doMyWork()。

進(jìn)程之間的通信可以通過(guò)共享內(nèi)存(不推薦)和通道來(lái)完成。我們可以使用與環(huán)境變量 GOMAXPROCS 定義的進(jìn)程數(shù)一樣多的核心,并帶來(lái)非常健壯和流暢的并行性。默認(rèn)情況下,進(jìn)程數(shù)等于核心數(shù)。

Go 提供了一種特殊模式來(lái)運(yùn)行二進(jìn)制文件,并可以檢測(cè)執(zhí)行竟態(tài)條件。我們可以通過(guò)這種方式測(cè)試并證明自己的程序是不是并發(fā)安全的。

go run -race myapp.go

應(yīng)用程序?qū)⒃诰箲B(tài)檢測(cè)模式下運(yùn)行。

Go 提供了很多開箱即用且非常有用的基本功能(https://golang.org/dl/),例如用于并發(fā)的“sync”包(https://golang.org/pkg/sync/)?!癘nce”類型的單例可以這么寫

package singleton 
import ("sync")
type singleton struct { }
var instance *singleton 
var once sync.Once 
func GetInstance() *singleton {    
  once.Do(func() {        
    instance = &singleton{}    
  })    
  return instance 
}

sync 包還為并發(fā) map 實(shí)現(xiàn)、互斥鎖、條件變量和 WaitGroup 提供了一種結(jié)構(gòu)體。atomic 包(https://golang.org/pkg/sync/atomic/) 支持并發(fā)安全轉(zhuǎn)換和數(shù)學(xué)運(yùn)算——它們基本上是編寫并發(fā)代碼所需的一切。

指針。借助指針,Go 可以更好地控制如何分配內(nèi)存、垃圾回收器負(fù)載以及其他在 Java 中無(wú)法實(shí)現(xiàn)的性能調(diào)優(yōu)。與 Java 相比,Go 更像是一種低級(jí)的語(yǔ)言,并且支持更容易、更快的性能優(yōu)化。

鴨子類型(Duck Typing)?!叭绻呗废聒喿樱⑶蚁聒喿右粯痈赂陆?,那它一定就是鴨子”。在 Go 中就是這樣的:無(wú)需定義某種結(jié)構(gòu)體是否實(shí)現(xiàn)了給定的接口,只要這個(gè)結(jié)構(gòu)體具有與給定接口相同的方法簽名,那它就是實(shí)現(xiàn)了這個(gè)接口。這非常有用,作為代碼庫(kù)的調(diào)用端,你可以定義外部庫(kù)結(jié)構(gòu)體所需的任意接口。而在 Java 中,對(duì)象必須顯式聲明實(shí)現(xiàn)了哪些接口。

性能分析器。Go 的性能分析工具讓性能問題分析變得便捷和輕松。Go 的分析器可以揭示程序的內(nèi)存分配和 CPU 使用情況,并在可視化圖形中展示出來(lái),讓性能優(yōu)化變得非常容易。Java 也有很性能分析器,比如 Java VisualVM,但它們都比 Go 的復(fù)雜,而且依賴 JVM 的運(yùn)行情況,因此它們提供的統(tǒng)計(jì)信息與垃圾回收器的運(yùn)行相關(guān)。

CGO。Go 可以與 C 語(yǔ)言集成,因此你可以在 Go 項(xiàng)目中開發(fā)帶有 C 代碼片段的應(yīng)用程序。開發(fā)人員可以使用 CGo 創(chuàng)建調(diào)用 C 代碼的 Go 程序包。Go 為 exclude/include 給定平臺(tái)的 C 代碼片段提供了各種構(gòu)建選項(xiàng)。

將函數(shù)作為參數(shù)。Go 函數(shù)可以作為變量傳遞給另一個(gè)函數(shù)或作為結(jié)構(gòu)體的字段。這種多功能性令人耳目一新。Java 8 引入了 lambda,但它們不是真正的函數(shù),只是單函數(shù)對(duì)象。

清晰的代碼風(fēng)格準(zhǔn)則。Go 社區(qū)提供了很多示例和說(shuō)明:

https://golang.org/doc/effective_go.html

函數(shù)可以返回多個(gè)參數(shù),這個(gè)也非常有用。

package main 
import "fmt" 
func returnMany() (int, string, error) {     
  return 1, "example", nil 
}
func main() {     
  i, s, err := returnMany()     
  fmt.Printf("Returned %s %s %v", i, s, err) 
}

5. Go 不好的方面

沒有多態(tài)性(除非通過(guò)接口來(lái)實(shí)現(xiàn))。在 Go 中,如果在同一個(gè)包中有兩個(gè)函數(shù)具有不同的參數(shù)但含義相同,必須給它們指定不同的名字。例如這段代碼:

func makeWorkInt(number int) {   
  fmt.Printf(“Work done number %d”, number) 
}
func makeWorkStr(title string) {   
  fmt.Printf(“Work done title %s”, title) 
}

這樣一來(lái),你就會(huì)得到很多方法,它們做的事情差不多,但名字都不一樣,而且看起來(lái)很“丑”。

另外,Go 也沒有繼承多態(tài)性。被嵌入到結(jié)構(gòu)體里的結(jié)構(gòu)體只知道其自己的方法,對(duì)“宿主”結(jié)構(gòu)體的方法一無(wú)所知。對(duì)于像我這樣的開發(fā)人員來(lái)說(shuō),這尤其具有挑戰(zhàn)性,因?yàn)槲覀兪菑钠渌?OOP 語(yǔ)言(最基本的概念之一就是繼承)過(guò)渡到 Go 的。

不過(guò),隨著時(shí)間的推移,我開始意識(shí)到這種處理多態(tài)性的方法只是另一種思維方式,而且是有道理的,因?yàn)榻M合比繼承更加可靠,并且運(yùn)行時(shí)間是可變的。

錯(cuò)誤處理。在 Go 中,完全由你來(lái)決定返回什么錯(cuò)誤以及如何返回錯(cuò)誤,因此作為開發(fā)人員,你需要負(fù)責(zé)返回和傳遞錯(cuò)誤。毫無(wú)疑問的是,錯(cuò)誤可能會(huì)被隱藏掉,這是一個(gè)痛點(diǎn)。時(shí)刻要記得檢查錯(cuò)誤并把它們傳遞出去,這有點(diǎn)煩人,而且不安全。

當(dāng)然,你可以使用 linter 來(lái)檢查隱藏的錯(cuò)誤,但這只是一種輔助手段,不是真正的解決方案。在 Java 中,處理異常要方便得多。如果是 RuntimeException,甚至不必將其添加到函數(shù)的簽名中。

public void causeNullPointerException() {
  throw new NullPointerException("demo");
}
/*
...
*/
try {
  causeNullPointerException();
} catch(NullPointerException e) {
  System.out.println("Caught inside fun().");
  throw e; // rethrowing the exception
}

沒有泛型。雖然泛型很方便,但它會(huì)增加復(fù)雜性,而且從類型系統(tǒng)和運(yùn)行時(shí)方面來(lái)看,泛型的成本很高。在構(gòu)建 Go 代碼時(shí),你需要處理各種不同的類型或使用代碼生成。

沒有注解。盡管可以用代碼生成替換一部分編譯時(shí)注解,但運(yùn)行時(shí)注解是不能替換的。這是有道理的,因?yàn)?Go 不是聲明式的,并且代碼里不應(yīng)該包含任何“魔法”。我喜歡在 Java 中使用注解,因?yàn)樗鼈冏尨a更優(yōu)雅、簡(jiǎn)單和簡(jiǎn)約。

在為 HTTP 服務(wù)器端點(diǎn)生成 swagger 文件時(shí),注解會(huì)非常有用。目前在 Go 中需要手動(dòng)編寫 swagger 文件,或者為端點(diǎn)提供特別的注釋。每次 API 發(fā)生改動(dòng)時(shí),這都是一件很痛苦的事情。但是,Java 中的注解就像是一種魔法一樣,人們通常都不用去關(guān)心它們是怎么實(shí)現(xiàn)的。

Go 的依賴管理。我之前曾寫過(guò)一篇關(guān)于如何使用 vgo 和 dep 在 Go 中進(jìn)行依賴管理的文章。Go 的依賴管理的演變之路充滿了坎坷。最初,除了“ Gopgk”之外沒有其他依賴管理工具,后來(lái)發(fā)布了實(shí)驗(yàn)性的“Vendor”,后被“vgo”取代,然后又被 1.10 版“go mod”取代。如今,我們可以手動(dòng)或者使用各種 Go 命令(例如“go get”)來(lái)修改 go.mod 文件描述符,但這也讓依賴關(guān)系變得不穩(wěn)定。

Java 有 Maven 和 Gradle 之類的聲明式工具,用來(lái)進(jìn)行依賴關(guān)系管理,也用于構(gòu)建、部署和處理其他 CD/CI 任務(wù)。但是,在 Go 中,我們必須使用 Makefile、docker-composes 和 bash 腳本自定義構(gòu)建所需的依賴管理,這只會(huì)使 CD/CI 的過(guò)程和穩(wěn)定性變得更加復(fù)雜。

包的名稱里包括了托管域名。例如:

import "github.com/pkg/errors"

這真的很奇怪,而且很不方便,因?yàn)槟悴荒茉诓恍薷捻?xiàng)目代碼庫(kù)導(dǎo)入的情況下用自己的實(shí)現(xiàn)替換別人的實(shí)現(xiàn)。

Java 中,導(dǎo)入通常以公司名稱開頭,例如:

import by.spirascout.public.examples.simple.Helper;

區(qū)別在于,在 Go 中,go get 會(huì)向 by.spirascout.public 獲取資源。在 Java 中,包名和域名不一定是相關(guān)聯(lián)的。

我希望所有與依賴管理有關(guān)的問題都是暫時(shí)的,將來(lái)會(huì)得到妥善的解決。

6. 寫在最后

Go 最有趣的一個(gè)地方是它所遵循的代碼命名規(guī)則——基于代碼可讀性心理學(xué):

https://medium.com/@egonelbre/psychology-of-code-readability-d23b1ff1258a

你可以用各種方法寫出清晰且可維護(hù)的代碼,盡管 Go 是多單詞的編程語(yǔ)言,但寫出來(lái)的代碼仍然很清晰。

Go Web 開發(fā)經(jīng)驗(yàn)讓我看到了 Go 的快速、強(qiáng)大和易于理解,它非常適用于小型服務(wù)和并發(fā)處理。對(duì)于大型復(fù)雜的系統(tǒng)、功能復(fù)雜的服務(wù)以及單服務(wù)器系統(tǒng),Java 目前仍然是王者。

英文原文

https://dzone.com/articles/when-to-use-go-vs-java-one-programmers-take-on-two

以上就是W3Cschool編程獅關(guān)于程序員技術(shù)選型:寫Go還是Java?的相關(guān)介紹了,希望對(duì)大家有所幫助。

0 人點(diǎn)贊