為什么說(shuō)Go的函數(shù)是“一等公民”？


什么是一等公民？
我們先來(lái)看下相關(guān)概念

A language construct is said to be a FirstClass value in that language when there are no restrictions on how it can be created and used: when the construct can be treated as a value without restrictions.

翻譯：如果對(duì)如何創(chuàng)建和使用它沒(méi)有任何限制：當(dāng)該結(jié)構(gòu)可以被視為沒(méi)有限制的值時(shí)，該語(yǔ)言結(jié)構(gòu)被稱(chēng)為該語(yǔ)言中的 FirstClass 值。（即”一等公民“）

FirstClass features can be stored in variables, passed as arguments to functions, created within functions and returned from functions. In dynamically typed languages, a FirstClass feature can also have its type examined at run-time.

翻譯：“一等公民”的特性是可以存儲(chǔ)在變量中，可以作為參數(shù)傳遞給函數(shù)，可以在函數(shù)中創(chuàng)建并作為返回值從函數(shù)返回。

Go的函數(shù)滿(mǎn)足了“一等公民”的特性定義，所以說(shuō)Go的函數(shù)是”一等公民“。

下面帶大家先了解下函數(shù)基本定義，然后再通過(guò)案例來(lái)論證下這些特性：

函數(shù)基本定義
func 函數(shù)名(參數(shù))(返回值){
    函數(shù)體
}
復(fù)制代碼
函數(shù)名：由字母、數(shù)字、下劃線組合。注意數(shù)字不要作為開(kāi)頭；
參數(shù)：非必填?？芍付▍?shù)名稱(chēng)和類(lèi)型，也可以使用可變參數(shù)...的寫(xiě)法，接收一個(gè)切片；
返回值：非必填。只返回一個(gè)值時(shí)直接定義返回類(lèi)型，返回多個(gè)值或者給返回值命名，這需要使用()和,進(jìn)行定義。
簡(jiǎn)單示例：

func main() {
  fmt.Println(sum(10, 20))   //30
  fmt.Println(sum2())        //0
  fmt.Println(sum2(10, 20))  //30
  fmt.Println(sum3(100, 20)) //120
}

//指定參數(shù)
func sum(a, b int) int {
  return a + b
}

//可變參數(shù)，num是個(gè)切片，接受0~n個(gè)參數(shù)
func sum2(num ...int) int {
  ret := 0
  for _, v := range num {
    ret += v
  }
  return ret
}

//返回值命名
func sum3(a, b int) (ret int) {
  ret = a + b
  return
}
復(fù)制代碼
特性1：可以存儲(chǔ)在變量中
提供兩種寫(xiě)法：

寫(xiě)法1：定義函數(shù)類(lèi)型的變量

type calcFoo func(int, int) int //定義函數(shù)類(lèi)型

func main() {
  var add calcFoo
  add = addFoo
  fmt.Printf("type of c:%T\n", add) //type of c:main.calcFoo
  fmt.Println(add(100, 200))        //300
}

func addFoo(a, b int) int {
  return a + b
}
復(fù)制代碼
備注：只要滿(mǎn)足接收兩個(gè)int類(lèi)型參數(shù)和返回一個(gè)int類(lèi)型值的函數(shù)，都可以認(rèn)為是calcFoo類(lèi)型的函數(shù)

寫(xiě)法2：使用匿名函數(shù)，賦值給變量（備注：匿名函數(shù)即沒(méi)有函數(shù)名的函數(shù)，有兩種使用方式）

//方式1：變量存儲(chǔ)
add := func(a, b int) int {
  return a + b
}
fmt.Println(add(100, 200)) //300

//方式2：直接執(zhí)行
c := func(a, b int) int {
  return a + b
}(22, 33)
fmt.Println(c) //55
復(fù)制代碼
特性2：可以作為參數(shù)傳遞給函數(shù)
可以先定義好對(duì)應(yīng)函數(shù)，也可以直接使用匿名函數(shù)，然后作為參數(shù)傳遞給函數(shù)

func main() {
  //使用定義好的函數(shù)，進(jìn)行傳遞
  fmt.Println(addFoo2(11, 22, addFoo)) //33
 
  //使用匿名函數(shù)，進(jìn)行傳遞
  fmt.Println(addFoo2(11, 22, func(a int, b int) int { return a + b })) //33
}

func addFoo(a, b int) int {
  return a + b
}

func addFoo2(a, b int, foo func(int, int) int) int {
  return foo(a, b)
}
復(fù)制代碼
特性3：可以在函數(shù)中創(chuàng)建并作為返回值從函數(shù)返回
這個(gè)其實(shí)就是閉包的用法，獲取到返回來(lái)的func，然后傳入?yún)?shù)，進(jìn)行操作

func main() {
  //例子1：
  a1 := adder(10)
  fmt.Println(a1(10), a1(20), a1(30)) //20 40 70

  //例子2：
  a2 := adder2()
  fmt.Println(a2(10), a2(20), a2(30)) //10 30 60
  a3 := adder2()                      //注意：a3是重新聲明的，base被初始化為0，并不會(huì)沿用a2的base值，因?yàn)樯芷诓煌?br>  fmt.Println(a3(10), a3(20), a3(30)) //10 30 60
}

func adder(base int) func(int) int {
  return func(num int) int {
    base += num
    return base
  }
}

func adder2() func(int) int {
  var base int
  return func(num int) int {
    base += num
    return base
  }
}
復(fù)制代碼
總結(jié)
這篇文章介紹了”一等公民“的定義和特性，并且通過(guò)案例論證了Go的函數(shù)是符合”一等公民“特性的

可以存儲(chǔ)在變量中、可以作為參數(shù)傳遞給函數(shù)、可以在函數(shù)中創(chuàng)建并作為返回值從函數(shù)返回。

使用好這些特性，可以讓我們業(yè)務(wù)代碼更加簡(jiǎn)潔，提高代碼的健壯性和可讀性。

你還有哪些想看的Go語(yǔ)言知識(shí)點(diǎn)？歡迎在評(píng)論區(qū)留言~




請(qǐng)前往：http://lygongshang.com/TeacherV2.html?id=365