?? 本文基于 Go 1.13。

Go 1.9 版本引入了別名，開(kāi)發(fā)者可以為一個(gè)已存在的類(lèi)型賦其他的名字。這個(gè)特性旨在促進(jìn)大型代碼庫(kù)的重構(gòu)，這對(duì)大型的項(xiàng)目至關(guān)重要。在思考了幾個(gè)月應(yīng)該以哪種方式讓 Go 語(yǔ)言支持別名后，這個(gè)特性才被實(shí)現(xiàn)。最初的提案^[1]是引入廣泛的別名（支持對(duì)類(lèi)型、函數(shù)等等賦別名），但這個(gè)提案后來(lái)被另一個(gè)更簡(jiǎn)單的別名機(jī)制^[2]所替代，新提案只關(guān)注對(duì)類(lèi)型賦別名，因?yàn)閷?duì)這個(gè)特性需求最大的就是類(lèi)型。只支持對(duì)類(lèi)型賦別名讓實(shí)現(xiàn)方式變得簡(jiǎn)單，因?yàn)橹恍枰鉀Q最初始的問(wèn)題就可以了。我們一起來(lái)看看這個(gè)解決方案。

重構(gòu)

引入別名的最主要的意圖是簡(jiǎn)化對(duì)大型代碼庫(kù)的重構(gòu)。開(kāi)發(fā)者們對(duì)舊名字賦一個(gè)新的別名，就可以避免破壞已存在代碼的兼容性。下面是一個(gè) docker/cli 的例子：

package command// Deprecated: Use github.com/docker/cli/cli/streams.In instead
type InStream = streams.In

// Deprecated: Use github.com/docker/cli/cli/streams.Out instead
type OutStream = streams.Out

這樣不會(huì)影響使用 command.InStream 的舊代碼，而新代碼使用新類(lèi)型 streams.In 。

然而，為了完全支持兼容，別名還需要有以下特性：

• 可互相轉(zhuǎn)換的參數(shù)類(lèi)型。新舊類(lèi)型都可以被作為參數(shù)接收。下面是一個(gè) T1 和 T2 可以相互轉(zhuǎn)換的例子：

type T2 struct {}

// T2 is deprecated, please use T1
type T1 = T2

func main() {
   var t T1
   f(t)
}

func f(t T1) {
   // print main.T2
   println(reflect.TypeOf(t).String())
}

• 新舊兩種類(lèi)型都可以從空接口轉(zhuǎn)換而來(lái)。下面是例子：

type T2 struct {}

// T2 is deprecated, please use T1
type T1 = T2

func main() {
   var t T1
   f(t)
}

func f(t interface{}) {
   t, ok := t.(T1)
   if !ok {
      log.Fatal("t is not a T1 type")
   }
   // print main.T2
   println(reflect.TypeOf(t).String())
}

因?yàn)樾屡f類(lèi)型可以在任何時(shí)間相互轉(zhuǎn)換，所以已有代碼不會(huì)被破壞，可以實(shí)現(xiàn)平滑遷移。

可讀性

別名也可以提高代碼的可讀性。下面是 Go 標(biāo)準(zhǔn)庫(kù)和反匯編器包里的例子：

type lookupFunc = func(addr uint64) (sym string, base uint64)

一個(gè) lookup 函數(shù)接收一個(gè) address 作為參數(shù)，返回另一個(gè) address 的 symbol。相比于把這個(gè)函數(shù)原型作為參數(shù)傳遞給每一個(gè)函數(shù)，使用這個(gè)新別名可讀性更好。下面是使用別名作為參數(shù)的函數(shù)原型：

func disasm_amd64([]byte, uint64, lookupFunc, binary.ByteOrder)

/x/sys/unix 中的包通過(guò)對(duì)經(jīng)常使用的類(lèi)型賦別名減少了樣板代碼量。那些別名聲明在單獨(dú)的文件中：

type Signal = syscall.Signal
type Errno = syscall.Errno
type SysProcAttr = syscall.SysProcAttr

聲明后，在包中只能引用 Errno 而不能再引用 syscal.Errno。

運(yùn)行時(shí)

現(xiàn)在我們看到了在程序中使用別名的好處，但是我們還不知道在運(yùn)行時(shí)有什么影響。我們來(lái)看之前結(jié)構(gòu)體與空接口相互轉(zhuǎn)換的例子：

type T2 struct {}

// T2 is deprecated, please use T1
type T1 = T2

func main() {
   var t T1
   f(t)
}

func f(t interface{}) {
   t, ok := t.(T1)
   if !ok {
      log.Fatal("t is not a T1 type")
   }
   // print main.T2
   println(reflect.TypeOf(t).String())
}

雖然從最終的輸出看 t 的類(lèi)型是 T2，但是這個(gè)程序仍然可以把 t 轉(zhuǎn)換為 T1。我們把代碼轉(zhuǎn)換成匯編^[3]。下面是輸出的部分信息：

0x0021 00033 (main.go:19)  MOVQ   "".t+88(SP), AX
0x0026 00038 (main.go:19)  PCDATA $0, $1
0x0026 00038 (main.go:19)  LEAQ   type."".T2(SB), CX
0x002d 00045 (main.go:19)  CMPQ   AX, CX
0x0030 00048 (main.go:20)  JNE    172

第一行指令 MOVQ 讀取空接口的類(lèi)型并把它儲(chǔ)存在寄存器 AX。然后 LEAQ把 T2 類(lèi)型加載到寄存器 CX，兩個(gè)寄存器可以做比較。

我們可以看到，代碼中的轉(zhuǎn)換是基于 T2 而不是 T1。別名在編譯時(shí)被改變，這樣可以消除掉我們程序中的開(kāi)銷(xiāo)。

via: https:///a-journey-with-go/go-aliases-simple-and-efficient-8506d93b079e

作者：Vincent Blanchon^[4]譯者：lxbwolf^[5]校對(duì)：polaris1119^[6]

本文由 GCTT^[7] 原創(chuàng)編譯，Go 中文網(wǎng)^[8] 榮譽(yù)推出

參考資料