Go 2.0預(yù)計(jì)公布，在今天HackerNews引發(fā)眾多討論，眾多Bug即將填補(bǔ)，設(shè)計(jì)草案搶先預(yù)覽。

Go語(yǔ)言的開(kāi)發(fā)者正著手準(zhǔn)備開(kāi)發(fā)2.0版本，并從以下三個(gè)方面發(fā)布了初步的設(shè)計(jì)方案（非官方正式版），以供社區(qū)開(kāi)展討論：

泛型（generics）

錯(cuò)誤處理（error handling）

錯(cuò)誤值語(yǔ)義（error value semantics）

Go 2.0的總體目標(biāo)是解決無(wú)法擴(kuò)展到大型代碼庫(kù)以及無(wú)法滿足大型項(xiàng)目開(kāi)發(fā)人員需求等問(wèn)題。

泛型

改進(jìn)目標(biāo)

想必大多數(shù)用戶都對(duì)Go語(yǔ)言的泛型會(huì)表示無(wú)奈，很多網(wǎng)友甚至?xí)f(shuō)“根本就沒(méi)有泛型支持”。

Go 2.0的目標(biāo)是通過(guò)允許帶有類(lèi)型參數(shù)的參數(shù)多態(tài)（parametric polymorphism）來(lái)解決編寫(xiě)Go庫(kù)的問(wèn)題。

除了預(yù)期的容器類(lèi)型之外，還希望能夠編寫(xiě)有意義的庫(kù)來(lái)操作任意的map和channel值，并理想地編寫(xiě)能夠同時(shí)操作[ ]byte和string值的多態(tài)函數(shù)。

Go的泛型必須明確記錄對(duì)類(lèi)型參數(shù)的約束，作為調(diào)用者和實(shí)現(xiàn)之間明確的強(qiáng)制協(xié)議。當(dāng)調(diào)用者不滿足這些約束或?qū)崿F(xiàn)超出限制時(shí)，編譯器需將錯(cuò)誤清楚地報(bào)告出來(lái)。

Go中的多態(tài)性應(yīng)該在編譯和運(yùn)行時(shí)都可以實(shí)現(xiàn)，這樣，有關(guān)實(shí)現(xiàn)策略的決策就可以留給編譯器來(lái)決定。這種靈活性將解決Go目前存在的一些難題。

草案設(shè)計(jì)

設(shè)計(jì)草案添加了一個(gè)新的語(yǔ)法，用于在類(lèi)型或函數(shù)聲明中引入類(lèi)型參數(shù)列表，例如：

1typeList(typeT)[]T23funcKeys(typeK,V)(mmap[K]V)[]K4

參數(shù)化聲明的使用，采用普通調(diào)用語(yǔ)法來(lái)提供類(lèi)型參數(shù):

1varintsList(int)23keys:=Keys(int,string)(map[int]string{1:"one",2:"two"})

這些示例中的概括不需要T，K和V類(lèi)型：任何類(lèi)型都可以。 通常，實(shí)現(xiàn)可能需要約束可以使用的類(lèi)型。例如，我們可能想要定義一個(gè)Set(T)，以列表或映射的形式實(shí)現(xiàn)，在這種情況下，類(lèi)型T的值必須能夠進(jìn)行相等的比較。為了表達(dá)這一點(diǎn)，設(shè)計(jì)草案引入了contract的概念。contract就像一個(gè)函數(shù)體，說(shuō)明了類(lèi)型必須支持的操作。例如，要聲明類(lèi)型T的值必須是可比較的：

1contractEqual(tT){2t==t3}

錯(cuò)誤處理

改進(jìn)目標(biāo)

Go 語(yǔ)言的錯(cuò)誤處理是基于明確的目的而設(shè)計(jì)的。用戶應(yīng)該從函數(shù)中返回所有可能的錯(cuò)誤，并且檢查/處理這些返回值。和其他語(yǔ)言相比，這一點(diǎn)可能看起來(lái)有些繁瑣和不人性化。

Go 2希望錯(cuò)誤檢查更加輕量級(jí)，減少用于錯(cuò)誤檢查的Go程序文本的數(shù)量。

還希望使編寫(xiě)錯(cuò)誤處理變得更方便，從而提高程序員花時(shí)間處理錯(cuò)誤的可能性。

且錯(cuò)誤檢查和錯(cuò)誤處理必須保持顯式，即在程序文本中可見(jiàn)。

草案設(shè)計(jì)

草案設(shè)計(jì)引入了兩種新的句法形式。

首先，它引入一個(gè)檢查表達(dá)式來(lái)檢查f(x, y, z)或檢查err，并標(biāo)記一個(gè)顯式錯(cuò)誤檢查。

其次，它引入了一個(gè)定義錯(cuò)誤處理程序的handle語(yǔ)句。當(dāng)錯(cuò)誤檢查失敗時(shí)，它將控制轉(zhuǎn)移到最內(nèi)層處理程序，該處理程序?qū)⒖刂妻D(zhuǎn)移到它上面的下一個(gè)處理程序，以此類(lèi)推，直到處理程序執(zhí)行返回語(yǔ)句為止。例如：

1funcCopyFile(src,dststring)error{ 2handleerr{ 3returnfmt.Errorf("copy%s%s:%v",src,dst,err) 4} 5 6r:=checkos.Open(src) 7deferr.Close() 8 9w:=checkos.Create(dst)10handleerr{11w.Close()12os.Remove(dst)//(onlyifacheckfails)13}1415checkio.Copy(w,r)16checkw.Close()17returnnil18}

在不返回錯(cuò)誤的函數(shù)中允許check/handle組合。例如，一下是一個(gè)有用卻很簡(jiǎn)單的程序功能：

1funcmain(){ 2hex,err:=ioutil.ReadAll(os.Stdin) 3iferr!=nil{ 4log.Fatal(err) 5} 6 7data,err:=parseHexdump(string(hex)) 8iferr!=nil{ 9log.Fatal(err)10}1112os.Stdout.Write(data)13}

這么寫(xiě)會(huì)更簡(jiǎn)單、清晰：

1funcmain(){2handleerr{3log.Fatal(err)4}56hex:=checkioutil.ReadAll(os.Stdin)7data:=checkparseHexdump(string(hex))8os.Stdout.Write(data)9}

錯(cuò)誤值語(yǔ)義

改進(jìn)目標(biāo)

也許用戶對(duì)于Go的程序化的err有許多問(wèn)題：這是一個(gè)RPCError嗎？這是net.OpError嗎？它適應(yīng)net.Error的接口嗎？這是os.PathError嗎？

對(duì)于錯(cuò)誤值，第一個(gè)問(wèn)題，就是很難回答上述那些疑問(wèn)。函數(shù)os.IsExist，os.IsNotExist，os.IsPermission和os.IsTimeout是主要問(wèn)題。它們?cè)谕ㄓ眯苑矫嬗袃蓚€(gè)缺陷：每個(gè)函數(shù)僅測(cè)試一種特定類(lèi)型的錯(cuò)誤，第二，每個(gè)函數(shù)只能理解非常有限數(shù)量的包類(lèi)型。

第二個(gè)問(wèn)題看似沒(méi)什么，卻也很重要：深度嵌套錯(cuò)誤（nested error）的報(bào)告太難以閱讀，并且沒(méi)有留給額外的細(xì)節(jié)空間，比如程序中的相關(guān)文件位置。

針對(duì)上述存在的兩個(gè)問(wèn)題，Go 2首先希望能讓程序的錯(cuò)誤檢查更容易，更不容易出錯(cuò)，以提高實(shí)際程序的錯(cuò)誤處理和魯棒性。其次，希望能夠以標(biāo)準(zhǔn)格式打印帶有附加細(xì)節(jié)的錯(cuò)誤。

草案設(shè)計(jì)

這里有兩個(gè)主要問(wèn)題：錯(cuò)誤檢查和錯(cuò)誤格式化，分別用兩個(gè)不同的方案解決。需要保持與現(xiàn)有代碼的互操作性，并允許包繼續(xù)定義自身的錯(cuò)誤類(lèi)型的約束，指向定義錯(cuò)誤實(shí)現(xiàn)可以滿足的可選界面。

錯(cuò)誤檢查（Error inspection）

對(duì)于錯(cuò)誤檢查，設(shè)計(jì)草案遵循現(xiàn)有包(如github.com/pkg/errors)的規(guī)則，并為錯(cuò)誤定義了一個(gè)可選接口，以返回錯(cuò)誤包裝鏈中的下一個(gè)錯(cuò)誤:

1packageerrors23typeWrapperinterface{4Unwrap()error5}

例如，上面假設(shè)的WriteError需要:

1func(e*WriteError)Unwrap()error{returne.Err}

利用這種方法，方案設(shè)計(jì)中添加了兩個(gè)新函數(shù)對(duì)錯(cuò)誤打包：

1//Isreportswhethererroranyoftheerrorsinitschainisequaltotarget.2funcIs(err,targeterror)bool34//AscheckswhethererroranyoftheerrorsinitschainisavalueoftypeE.5//Ifso,itreturnsthediscoveredvalueoftypeE,withoksettotrue.6//Ifnot,itreturnsthezerovalueoftypeE,withoksettofalse.7funcAs(typeE)(errerror)(eE,okbool)8

錯(cuò)誤格式（Error formatting）

對(duì)于錯(cuò)誤格式，設(shè)計(jì)草案定義了根據(jù)錯(cuò)誤來(lái)實(shí)現(xiàn)的可選接口:

1packageerrors23typeFormatterinterface{4Format(pPrinter)(nexterror)5}