Go有關Type的一個問題

這是一個建立於 的文章，其中的資訊可能已經有所發展或是發生改變。

type Track inttype TrackType  []Trackfunc main() {    tracks := []Track{        1,2,    }    var tracksType TrackType = tracks    var tracks2 []Track = tracksType    fmt.Println(tracksType,tracks2)}

TrackType是一個新的類型，為什麼可以和[]Track相互轉換！！

去查看go1.9的特性才知道https://github.com/golang/proposal/blob/master/design/18130-type-alias.md：

type Name1 map[string]stringtype Name2 map[string]stringtype Alias = map[string]string

According to Go assignability, a value of type Name1 is assignable to map[string]string (because the latter is not a named type) but a value of type Name1 is not assignable to Name2 (because both are named types, and the names differ). In this example, because Alias is an alternate spelling for map[string]string, a value of type Name1 is assignable to Alias (because Alias is the same as map[string]string, which is not a named type).

翻譯就是

根據Go可分配性，Name1類型的值可以分配給map [string]字串（因為後者不是命名類型），但是Name1類型的值不能分配給Name2（因為它們都是命名類型，名稱不同）。在此樣本中，由於Alias是map [string]字串的替代拼字，Name1類型的值可分配給Alias（因為Alias與map [string]字串相同，而不是命名類型）。

從以上說明可以得出，對於slice,map[string]int,等類型，因為他們不是命名類型，所以在type MyType []Type的情況下，是可以將[]Type分配給MyType的，並且MyType也可以分配給[]Type，為了簡單理解，可以將這個特性理解為類型別名。也就是說type MyType []Type和type MyType = []Type 基本是一樣的(這麼解釋一定是錯誤的，但是為了方便理解，就這麼解釋吧)

Go的可分配性

對於賦值而言，以下情況可以將x的值賦給T類型。

• x的類型與T相同
• x的類型和T具有相同的地底層類型，並且至少有一個不是定義類型
• T是一個介面，並且x實現了T
• x是一個雙向通道，T是一個通道類型，並且x的類型和T具有相同的底層類型，至少有一個不是定義類型。
• x是nil的時候，可以賦給指標類型，函數類型，slice,map,channel等參考型別和介面類型等
• x是由類型T的值表示的無類型常量。