type的比較

兩個型別要麼相同要麼不相同。

• 如果兩個命名型別起源於同樣的宣告；
• 一個命名型別和不具名型別永遠不相同；
• 兩個不具名型別相同如果他們擁有同樣的字面結構且對應成員有相同的型別。具體的規則如下：
• 兩個array type相同如果他們擁有相同的element type和同樣的陣列長度
• 兩個slice type相同如果他們擁有相同的element type
• 兩個struct type相同如果他們有相同順序的field，並且對應的field擁有相同的名字、型別、tag；兩個不具名field被認為擁有相同的名字。不同package的非匯出（小寫開頭）型別總是被認為不相同。
• 兩個指標相同如果指向相同的型別
• 兩個函式型別相同如果擁有同樣個數的引數和返回值，且對應的具有相同的型別，且要麼都是可變引數要麼都不是可變引數，不需要具有同樣的引數名字
• 兩個interface相同如果他們擁有同樣的方法集合（方法名字相同且方法型別相同）順序不重要。不同package的非匯出方法始終不相同
• 兩個map相同如果擁有相同的key type和element type。
• 兩個channel相同如果擁有同樣的型別和同樣的方向。

type (
    T0 []string
    T1 []string
    T2 struct{ a, b int }
    T3 struct{ a, c int }
    T4 func
 
(int, float64) *T0
    T5 func(x int, y float64) *[]string
)

下面的型別是相同的：
T0 and T0
[]int and []int
struct{ a, b *T5 } and struct{ a, b *T5 }
func(x int, y float64) []string 和 func(int, float64) (result []string)
下面的型別是不同的
T0 and T1 //因為他們是兩個有不同宣告的具名型別
func(int, float64) T0 和 func(x int, y float64)

賦值

在下列情況中，一個值x可以被賦值給一個T型別的變數：

• x的型別和相同
• x的型別V和T擁有同樣的底層型別且V和T中至少一個不是具名型別
• T是一個interface型別且X的型別V實現了T
• x是一個雙向channel，T是一個channel型別，x的型別V和T具有同樣的element type，且至少一個不是具名型別。
• x是nil且T是pointer, function, slice, map, channel, or interface型別
• x是一個沒有型別的常量且可以被T的值表示
  const z = 1 其中z就是一個沒有型別的常量