为什么说Go的函数是“一等公民”?


什么是一等公民?
我们先来看下相关概念

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.

翻译:如果对如何创建和使用它没有任何限制:当该结构可以被视为没有限制的值时,该语言结构被称为该语言中的 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.

翻译:“一等公民”的特性是可以存储在变量中,可以作为参数传递给函数,可以在函数中创建并作为返回值从函数返回。

Go的函数满足了“一等公民”的特性定义,所以说Go的函数是”一等公民“。

下面带大家先了解下函数基本定义,然后再通过案例来论证下这些特性:

函数基本定义
func 函数名(参数)(返回值){
    函数体
}
复制代码
函数名:由字母、数字、下划线组合。注意数字不要作为开头;
参数:非必填。可指定参数名称和类型,也可以使用可变参数...的写法,接收一个切片;
返回值:非必填。只返回一个值时直接定义返回类型,返回多个值或者给返回值命名,这需要使用()和,进行定义。
简单示例:

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

//指定参数
func sum(a, b int) int {
  return a + b
}

//可变参数,num是个切片,接受0~n个参数
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
}
复制代码
特性1:可以存储在变量中
提供两种写法:

写法1:定义函数类型的变量

type calcFoo func(int, int) int //定义函数类型

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
}
复制代码
备注:只要满足接收两个int类型参数和返回一个int类型值的函数,都可以认为是calcFoo类型的函数

写法2:使用匿名函数,赋值给变量(备注:匿名函数即没有函数名的函数,有两种使用方式)

//方式1:变量存储
add := func(a, b int) int {
  return a + b
}
fmt.Println(add(100, 200)) //300

//方式2:直接执行
c := func(a, b int) int {
  return a + b
}(22, 33)
fmt.Println(c) //55
复制代码
特性2:可以作为参数传递给函数
可以先定义好对应函数,也可以直接使用匿名函数,然后作为参数传递给函数

func main() {
  //使用定义好的函数,进行传递
  fmt.Println(addFoo2(11, 22, addFoo)) //33
 
  //使用匿名函数,进行传递
  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)
}
复制代码
特性3:可以在函数中创建并作为返回值从函数返回
这个其实就是闭包的用法,获取到返回来的func,然后传入参数,进行操作

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,并不会沿用a2的base值,因为生命周期不同
  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
  }
}
复制代码
总结
这篇文章介绍了”一等公民“的定义和特性,并且通过案例论证了Go的函数是符合”一等公民“特性的

可以存储在变量中、可以作为参数传递给函数、可以在函数中创建并作为返回值从函数返回。

使用好这些特性,可以让我们业务代码更加简洁,提高代码的健壮性和可读性。

你还有哪些想看的Go语言知识点?欢迎在评论区留言~




请前往:http://www.mark-to-win.com/TeacherV2.html?id=365