高階資料型別，僅僅是做個概念認識，等到其他相關知識的學習時，再著重分析。

1 function

將 function 作為資料型別的語言有很多，函數語言程式設計的核心理念。

function 是“第一等公民”，function 與其他資料型別一樣，處於平等地位，可以賦值給其他變數，也可以作為引數，傳入另外一個 function ，或者作為別的 function 的返回值。

在 Go 語言中，進行賦值的首要條件是型別一致，function 賦值給其他變數的前提是，必須 function 簽名一致才認為是相同型別，否則編譯報錯。 

這裡需要引入一個新的概念，函式簽名（即函式的型別簽名）。函式簽名就是一個函式不包含函式主體部分，也就是函式的引數型別和返回值型別。例如

func func1(a int) int {
    // body
}

則其函式簽名為

func1(int) int //可以不用包含形參名和返回結果名

例如

func test_func_signature() {
 var var1 func(int) int
 var var2 func(a int) int
 var var3 func(b int) int
 var1 = func1
 var2 = func1
 var3 = func1
 fmt.Printf("%s", var1) // 三者輸出一致 
 fmt.Printf("%s", var2) // 三者輸出一致 
 fmt.Printf("%s", var3) // 三者輸出一致
}
func func1(a int) int {
 return a
}
 

由於 function 本身是資料，就可以同其他資料型別一樣複合成更加複雜的資料型別，例如閉包（巢狀function）和物件（自定義型別）。

對於物件的方法，用Rob Pike的話來說就是：

“A method is a function with an implicit first argument, called a receiver.“（方法就是一個有接受者的函式）

receiver 有一個限制，不能是內建基礎型別，只能是 type 關鍵字自定義的型別，但是有一個例外，自定義的 interface 是不能作為 receiver 。

2 interface

Go語言中 interface 同其他語言中 interface(介面) 不一樣，具體如下：

a、interface 也是“第一等公民”，也就是說 interface 其實也是一種資料型別。即能賦值給其他變數、作為引數和返回值。

b、interface 是函式(簽名)的集合，不用像 JAVA 語言在需要實現 interface 的 class 上顯式宣告，只要需要某個型別包含了 interface 包含的函式集合，就能說該型別實現了這個interface。

c、interface 由於是函式的集合，也就是說面向的是能做為 function 的 receiver 的型別，而不像其他語言是面向 class 的。

interface 型別賦值時，只有型別相同才能賦值 ，否則會編譯報錯（ cannot use AAA as type BBB in assignment）， interface 型別怎麼確認型別相同？

只要具體型別的方法(函式)集合中包含 interface 所規定的方法(函式)集合（必須簽名一致，順序無所謂），就確認型別相同。

參考：