為什么函數(shù)是一等公民

這篇文章主要講解了“為什么函數(shù)是一等公民”，文中的講解內(nèi)容簡單清晰，易于學(xué)習(xí)與理解，下面請大家跟著小編的思路慢慢深入，一起來研究和學(xué)習(xí)“為什么函數(shù)是一等公民”吧！

關(guān)于一等公民[1](First-class citizen)看看維基百科的定義：

In programming language design, a first-class citizen (also type, object,  entity, or value) in a given programming language is an entity which supports  all the operations generally available to other entities. These operations  typically include being passed as an argument, returned from a function,  modified, and assigned to a variable.

大意是說，在編程語言中，所謂一等公民，是指支持所有操作的實體， 這些操作通常包括作為參數(shù)傳遞，從函數(shù)返回，修改并分配給變量等。

比如 int 類型，它支持作為參數(shù)傳遞，可以從函數(shù)返回，也可以賦值給變量，因此它是一等公民。

類似的，函數(shù)是一等公民，意味著可以把函數(shù)賦值給變量或存儲在數(shù)據(jù)結(jié)構(gòu)中，也可以把函數(shù)作為其它函數(shù)的參數(shù)或者返回值。關(guān)于函數(shù)是一等公民，在維基百科也有定義[2]。

In computer science, a programming language is said to have first-class  functions if it treats functions as first-class citizens. This means the  language supports passing functions as arguments to other functions, returning  them as the values from other functions, and assigning them to variables or  storing them in data structures. Some programming language theorists require  support for anonymous functions (function literals) as well.In languages with  first-class functions, the names of functions do not have any special status;  they are treated like ordinary variables with a function type. The term was  coined by Christopher Strachey in the context of "functions as first-class  citizens" in the mid-1960s.

函數(shù)作為一等公民的概念是 1960 年由英國計算機學(xué)家 Christopher Strachey[3]  提出來的。然而，并非所有語言都將函數(shù)作為一等公民，特別是早期，比如 C 語言中函數(shù)就不是一等公民，一些功能通過函數(shù)指針來實現(xiàn)的;再比如 C++、Java  等，都是后來的版本才加上的。

一般來說，函數(shù)式編程語言、動態(tài)語言和現(xiàn)代的編程語言，函數(shù)都會作為一等公民，比如：Scala、Julia 等函數(shù)式語言，JavaScript、Python  等動態(tài)語言，Go、Rust、Swift 等現(xiàn)代的編譯型語言。

為了讓大家對函數(shù)是一等公民有更深的理解，針對上文提到的一等公民的一等功能，我們看看 Go 語言是如何支持的。

匿名函數(shù)

函數(shù)一般是有名字的，但有時候沒有名字的函數(shù)更簡潔、好用。沒有名字的函數(shù)叫匿名函數(shù)。

以下是 Go 語言匿名函數(shù)的一個例子：

package main  import (  "fmt" )  func main() {  fn := func() {   fmt.Println("This is anonymous function!")  }  fn()   fmt.Printf("The type of fn: %T\n", fn) }  // output: // This is anonymous function! // The type of fn: func()

在線運行：https://play.studygolang.com/p/IcInzZsAr0a。

在 Go 中，匿名函數(shù)最常使用的場景是開啟一個 goroutine，經(jīng)常會見到類似這樣的代碼：

go func() {   // xxxx }()

這里匿名函數(shù)定義后立即調(diào)用。此外，defer 語句中也常見。

定義函數(shù)類型

定義函數(shù)類型和其他類型類似，同時后半部分和匿名函數(shù)類似，只不過沒有函數(shù)實現(xiàn)。比如 net/http 包中的 HandlerFunc  函數(shù)類型：

type HandlerFunc func(ResponseWriter, *Request)

怎么使用這個類型?能看懂這樣的代碼，表示你理解了：

var h http.HandlerFunc = func(w ResponseWriter, req *Request) {   fmt.Fprintln(w, "Hello World!") }

函數(shù)作為參數(shù)

意思是說，一個函數(shù)作為另一個函數(shù)的參數(shù)，也就是回調(diào)，在 JS 中很常見。在 Go 語言中也經(jīng)常出現(xiàn)。文章開頭的問題就是函數(shù)作為參數(shù)。根據(jù)  Gin 的 API 定義，router.GET 方法的簽名如下：

func (group *RouterGroup) GET(relativePath string, handlers ...HandlerFunc) IRoutes

其中 HandlerFunc 是一個函數(shù)類型，它的定義如下：

type HandlerFunc func(*Context)

所以，router.GET("/users", Users) 中，Users 只是 GET 函數(shù)的參數(shù)，參數(shù)類型是 HandlerFunc，而 Users  的定義只要符合 HandlerFunc 即可：

func Users(ctx *gin.Context) {}

因為這里將函數(shù) Users 作為參數(shù)，所以自然不需要給 Users 傳遞參數(shù)，Uers 的調(diào)用有 GET 內(nèi)部負責(zé)，即所謂的回調(diào)。

函數(shù)作為返回值

函數(shù)作為返回值，在 Go 中，這樣的函數(shù)一定是匿名函數(shù)。在進行 Web 開發(fā)時，中間件就會使用上函數(shù)作為返回值，還是以 Gin  為例，定義一個 Logger 中間件：

func Logger() gin.HandlerFunc {  return func(c *gin.Context) {   t := time.Now()    // Set example variable   c.Set("example", "12345")    // before request    c.Next()    // after request   latency := time.Since(t)   log.Print(latency)    // access the status we are sending   status := c.Writer.Status()   log.Println(status)  } }

從上文知道，gin.HandlerFunc 是一個函數(shù)類型，因此需要返回一個該類型的實例，而匿名函數(shù)(函數(shù)字面值)只要和 gin.HandlerFunc  類型的底層類型一致，會進行隱式轉(zhuǎn)換，所以可以直接返回 func(c *gin.Context) {} 這個匿名類型。

經(jīng)常聽到高階函數(shù)，函數(shù)是一等公民，就支持高階函數(shù)。一個函數(shù)只要接收一個或多個函數(shù)類型參數(shù);亦或是返回一個函數(shù)，這樣的函數(shù)就叫做高階函數(shù)。

閉包

閉包(Closure)是匿名函數(shù)的一個特例。當一個匿名函數(shù)所訪問的變量定義在函數(shù)體的外部時，就稱這樣的匿名函數(shù)為閉包。

一個簡單的例子：

package main  import (       "fmt" )  func main() {       a := 5     func() {         fmt.Println("a =", a)     }() }

在上面的程序中，匿名函數(shù)在第 10 行訪問了變量 a，而 a 存在于函數(shù)體的外部。因此這個匿名函數(shù)就是閉包。

感謝各位的閱讀，以上就是“為什么函數(shù)是一等公民”的內(nèi)容了，經(jīng)過本文的學(xué)習(xí)后，相信大家對為什么函數(shù)是一等公民這一問題有了更深刻的體會，具體使用情況還需要大家實踐驗證。這里是億速云，小編將為大家推送更多相關(guān)知識點的文章，歡迎關(guān)注！