介绍

  1. Go语言里面拥三种类型的函数:
    • 普通的带有名字的函数
    • 匿名函数或者 闭包(lambda) 函数
    • 方法:接收器中的函数

定义

Go语言是编译型语言,所以函数定义的顺序是无关紧要的。

  1. func 函数名(形式参数列表)(返回值列表){
  2. 函数体
  3. }
  1. func f (int a) int {
  2. return a
  3. }

返回值

Go语言的函数支持多返回值。我们在开发时候会习惯返回运算结果与一个error对象。

同一类型返回值

  1. 如果返回值是同一种类型,则用括号将多个返回值类型括起来,用逗号分隔每个返回值的类型。
  2. 使用 return 语句返回时,值列表的顺序需要与函数声明的返回值类型一致。
  3. 纯类型的返回值对于代码可读性不是很友好,特别是在同类型的返回值出现时,无法区分每个返回参数的意义。

    1. func typedTwoValues() (int, int) {
    2. return 1, 2
    3. }
    4. func main() {
    5. a, b := typedTwoValues()
    6. fmt.Println(a, b) // 1,2
    7. }

    带有变量名的返回值

  4. Go语言支持对返回值进行命名,这样返回值就和参数一样拥有参数变量名和类型。

  5. 命名的返回值变量的默认值为类型的默认值,即数值为 0,字符串为空字符串,布尔为 false、指针为 nil 等。
    ```go func f2(a string, b string) (res string, err error) { return b,errors.New(“is err”) }

// 1.可以在函数体中直接对函数返回值进行赋值 // 2.在函数结束前需要显式地使用 return 语句进行返回 func f2(a string, b string) (res string, err error) { err = errors.New(“is err”) return }

  1. ---
  2. <a name="Zr4Pz"></a>
  3. ### 函数调用
  4. 1. 函数调用时,Go语言没有默认参数值。
  5. 1. 不需要的返回值可使用匿名变量 `_` 来占位:
  6. 1. 任何类型都可以赋值给它,但任何赋给这个标识符的值都将被抛弃,因此这些值不能在后续的代码中使用,也不可以使用这个标识符作为变量对其它变量进行赋值或运算。
  7. 1. 匿名变量不占用内存空间,不会分配内存。匿名变量与匿名变量之间也不会因为多次声明而无法使用。
  8. 1. Lua 等编程语言里,匿名变量也被叫做哑元变量。
  9. ```go
  10. 返回值变量列表 = 函数名(参数列表)
  11. // demo
  12. result,_ := add(1,1)

参数传递

实参通过值传递的方式进行传递,因此函数的形参是实参的拷贝,对形参进行修改不会影响实参,但是,如果实参包括引用类型,如指针、slice(切片)、map、function、channel 等类型,实参可能会由于函数的间接引用被修改。

  1. package main
  2. import "fmt"
  3. // 用于测试值传递效果的结构体
  4. type Data struct {
  5. complax []int // 测试切片在参数传递中的效果
  6. instance InnerData // 实例分配的innerData
  7. ptr *InnerData // 将ptr声明为InnerData的指针类型
  8. }
  9. // 代表各种结构体字段
  10. type InnerData struct {
  11. a int
  12. }
  13. // 值传递测试函数
  14. // 函数的参数和返回值都是 Data 类型。
  15. // 在调用中,Data 的内存会被复制后传入函数,
  16. // 当函数返回时,又会将返回值复制一次,
  17. func passByValue(inFunc Data) Data {
  18. // 输出参数的成员情况
  19. fmt.Printf("inFunc value: %+v\n", inFunc)
  20. // 打印inFunc的指针
  21. fmt.Printf("inFunc ptr: %p\n", &inFunc)
  22. return inFunc
  23. }
  24. func main() {
  25. // 准备传入函数的结构
  26. in := Data{
  27. complax: []int{1, 2, 3},
  28. instance: InnerData{
  29. 5,
  30. },
  31. ptr: &InnerData{1},
  32. }
  33. // 输入结构的成员情况
  34. fmt.Printf("in value: %+v\n", in)
  35. // 输入结构的指针地址
  36. fmt.Printf("in ptr: %p\n", &in)
  37. // 传入结构体,返回同类型的结构体
  38. out := passByValue(in)
  39. // 输出结构的成员情况
  40. fmt.Printf("out value: %+v\n", out)
  41. // 输出结构的指针地址
  42. fmt.Printf("out ptr: %p\n", &out)
  43. }
  1. 运行代码,输出结果为:
  2. in value: {complax:[1 2 3] instance:{a:5} ptr:0xc042008100}
  3. in ptr: 0xc042066060
  4. inFunc value: {complax:[1 2 3] instance:{a:5} ptr:0xc042008100}
  5. inFunc ptr: 0xc0420660f0
  6. out value: {complax:[1 2 3] instance:{a:5} ptr:0xc042008100}
  7. out ptr: 0xc0420660c0
  • 所有的 Data 结构的指针地址发生了变化,意味着所有的结构都是一块新的内存,无论是将 Data 结构传入函数内部,还是通过函数返回值传回 Data 都会发生复制行为。
  • 所有的 Data 结构中的成员值都没有发生变化,原样传递,意味着所有参数都是值传递。
  • Data 结构的 ptr 成员在传递过程中保持一致,表示指针在函数参数值传递中传递的只是指针值,不会复制指针指向的部分。

保存变量

在Go语言中,函数也是一种类型,可以和其他类型一样保存在变量中。

  1. func fire() {
  2. fmt.Println("fire")
  3. }
  4. func main() {
  5. // demo1
  6. var f func()
  7. f = fire
  8. f()
  9. // demo2
  10. var f = fire
  11. f()
  12. }

可变参数

  1. 合适地使用可变参数,可以让代码简单易用,尤其是输入输出类函数,比如日志函数 fmt.Println()
  2. 可变参数是指函数传入的参数个数是可变的,为了做到这点,首先需要将函数定义为可以接受可变参数的类型。
  3. 形如...type格式的类型只能作为函数的参数类型存在,并且必须是最后一个参数,它是一个语法糖(syntactic sugar),即这种语法对语言的功能并没有影响。从内部实现机理上来说,类型...type本质上是一个数组切片,也就是[]type


可变类型

1. 固定类型
  1. func myfunc(args ...int) {
  2. for _, arg := range args {
  3. fmt.Println(arg)
  4. }
  5. }
  6. myfun(1,2,3)

2. 任意类型

如果你希望传任意类型,可以指定类型为 interface{}

  1. func MyPrintf(args ...interface{}) {
  2. // 字节缓冲作为快速字符串连接
  3. var b bytes.Buffer
  4. // 遍历参数
  5. for _, s := range slist {
  6. // 将interface{}类型格式化为字符串
  7. str := fmt.Sprintf("%v", s)
  8. // 类型的字符串描述
  9. var typeString string
  10. // 对s进行类型断言
  11. switch s.(type) {
  12. case bool: // 当s为布尔类型时
  13. typeString = "bool"
  14. case string: // 当s为字符串类型时
  15. typeString = "string"
  16. case int: // 当s为整型类型时
  17. typeString = "int"
  18. }
  19. // 写字符串前缀
  20. b.WriteString("value: ")
  21. // 写入值
  22. b.WriteString(str)
  23. // 写类型前缀
  24. b.WriteString(" type: ")
  25. // 写类型字符串
  26. b.WriteString(typeString)
  27. // 写入换行符
  28. b.WriteString("\n")
  29. }
  30. return b.String()
  31. }
  32. func main() {
  33. var v1 int = 1
  34. var v2 string = "hello"
  35. var v3 bool = false
  36. MyPrintf(v1, v2, v3)
  37. }

传递可变参数

  1. 可变参数变量是一个包含所有参数的切片,如果要将这个含有可变参数的变量传递给下一个可变参数函数,可以在传递时给可变参数变量后面添加...,这样就可以将切片中的元素进行传递,而不是传递可变参数变量本身。
    1. // 实际打印的函数
    2. func rawPrint(rawList ...interface{}) {
    3. // 遍历可变参数切片
    4. for _, a := range rawList {
    5. // 打印参数
    6. fmt.Println(a)
    7. }
    8. }
    9. // 打印函数封装
    10. func print(slist ...interface{}) {
    11. // 将slist可变参数切片完整传递给下一个函数
    12. rawPrint(slist...)
    13. }
    14. func main() {
    15. print(1, 2, 3)
    16. }

匿名函数

介绍

  1. Go语言支持匿名函数,即在需要使用函数时再定义函数。
  2. 匿名函数没有函数名只有函数体,可以作为一种类型被赋值给函数类型的变量,匿名函数也可以变量方式传递。
  3. 匿名函数的用途非常广泛,它本身就是一种值,可以方便地保存在各种容器中实现回调函数和操作封装。

定义

  1. func(参数列表)(返回参数列表){
  2. 函数体
  3. }


调用

1.在定义时调用匿名函数
  1. func(data int) {
  2. fmt.Println("hello", data)
  3. }(100)

2.将匿名函数赋值给变量
  1. // 将匿名函数体保存到f()中
  2. f := func(data int) {
  3. fmt.Println("hello", data)
  4. }
  5. // 使用f()调用
  6. f(100)

用作回调函数

  1. func visit(list []int, f func(int)) {
  2. for _, v := range list {
  3. f(v)
  4. }
  5. }
  6. func main() {
  7. // 使用匿名函数打印切片内容
  8. visit([]int{1, 2, 3, 4}, func(v int) {
  9. fmt.Println(v)
  10. })
  11. }

closure 闭包

介绍

  1. Go语言中闭包是引用了自由变量的函数,被引用的自由变量和函数一同存在,即使已经离开了自由变量的环境也不会被释放或者删除,在闭包中可以继续使用这个自由变量,因此,简单的说: 函数 + 引用环境 = 闭包
  2. 一个函数类型就像结构体一样,可以被实例化,函数本身不存储任何信息,只有与引用环境结合后形成的闭包才具有“记忆性”,函数是编译期静态的概念,而闭包是运行期动态的概念。

其它编程语言中的闭包

  1. 闭包(Closure)在某些编程语言中也被称为 Lambda 表达式。
  2. 闭包对环境中变量的引用过程也可以被称为“捕获”,在 C++11 标准中,捕获有两种类型,分别是引用和复制,可以改变引用的原值叫做“引用捕获”,捕获的过程值被复制到闭包中使用叫做“复制捕获”。
  3. 在 Lua 语言中,将被捕获的变量起了一个名字叫做 Upvalue,因为捕获过程总是对闭包上方定义过的自由变量进行引用。
  4. 闭包在各种语言中的实现也是不尽相同的,在 Lua 语言中,无论闭包还是函数都属于 Prototype 概念,被捕获的变量以 Upvalue 的形式引用到闭包中。
  5. C++ 与 C# 中为闭包创建了一个类,而被捕获的变量在编译时放到类中的成员中,闭包在访问被捕获的变量时,实际上访问的是闭包隐藏类的成员。


闭包内部修改引用的变量

闭包对它作用域上部的变量可以进行修改,修改引用的变量会对变量进行实际修改

  1. // 准备一个字符串
  2. str := "hello world"
  3. // 创建一个匿名函数
  4. foo := func() {
  5. // 匿名函数中访问str
  6. str = "hello dude"
  7. }
  8. // 调用匿名函数
  9. foo()
  10. fmt.Println(str) // hello dude

记忆效应

被捕获到闭包中的变量让闭包本身拥有了记忆效应,闭包中的逻辑可以修改闭包捕获的变量,变量会跟随闭包生命期一直存在,闭包本身就如同变量一样拥有了记忆效应。

  1. package main
  2. import (
  3. "fmt"
  4. )
  5. // 提供一个值, 每次调用函数会指定对值进行累加
  6. func Accumulate(value int) func() int {
  7. // 返回一个闭包
  8. return func() int {
  9. // 累加
  10. value++
  11. // 返回一个累加值
  12. return value
  13. }
  14. }
  15. func main() {
  16. // 创建一个累加器, 初始值为1
  17. accumulator := Accumulate(1)
  18. // 累加1并打印
  19. fmt.Println(accumulator())
  20. fmt.Println(accumulator())
  21. // 打印累加器的函数地址
  22. fmt.Printf("%p\n", &accumulator)
  23. // 创建一个累加器, 初始值为10
  24. accumulator2 := Accumulate(10)
  25. // 累加1并打印
  26. fmt.Println(accumulator2())
  27. // 打印累加器的函数地址
  28. fmt.Printf("%p\n", &accumulator2)
  29. }
  1. 对比输出的日志发现 accumulator 与 accumulator2 输出的函数地址不同,因此它们是两个不同的闭包实例。
  2. 每调用一次 accumulator 都会自动对引用的变量进行累加。

工程模式

闭包的记忆效应被用于实现类似于设计模式中工厂模式的生成器,下面的例子展示了创建一个玩家生成器的过程。

  1. package main
  2. import (
  3. "fmt"
  4. )
  5. // 创建一个玩家生成器, 输入名称, 输出生成器
  6. func playerGen(name string) func() (string, int) {
  7. // 血量一直为150
  8. hp := 150
  9. // 返回创建的闭包
  10. return func() (string, int) {
  11. // 将变量引用到闭包中
  12. return name, hp
  13. }
  14. }
  15. func main() {
  16. // 创建一个玩家生成器
  17. generator := playerGen("high noon")
  18. // 返回玩家的名字和血量
  19. name, hp := generator()
  20. // 打印值
  21. fmt.Println(name, hp) // high noon 150
  22. }

闭包还具有一定的封装性,第 8 行的变量是 playerGen 的局部变量,playerGen 的外部无法直接访问及修改这个变量,这种特性也与面向对象中强调的封装性类似。


递归函数

介绍

  1. 所谓递归函数指的是在函数内部调用函数自身的函数。
  2. 从数学解题思路来说,递归就是把一个大问题拆分成多个小问题,再各个击破。实际开发过程中,递归函数可以解决许多数学问题,如计算给定数字阶乘、产生斐波系列等。


条件

构成递归需要具备以下条件:

  • 一个问题可以被拆分成多个子问题;
  • 拆分前的原问题与拆分后的子问题除了数据规模不同,但处理问题的思路是一样的;
  • 不能无限制的调用本身,子问题需要有退出递归状态的终止条件。否则就会无限调用下去,直到内存溢出。


例子

1. 斐波那契数列

以递归函数的经典示例 —— 斐波那契数列为例,数列的形式如下所示:

  1. 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765, 10946,

实现:

  1. func main() {
  2. result := 0
  3. start := time.Now()
  4. for i := 1; i <= 40; i++ {
  5. result = fibonacci(i)
  6. fmt.Printf("数列第 %d 位: %d\n", i, result)
  7. }
  8. end := time.Now()
  9. delta := end.Sub(start)
  10. fmt.Printf("程序的执行时间为: %s\n", delta)
  11. }
  12. func fibonacci(n int) (res int) {
  13. if n <= 2 {
  14. res = 1
  15. } else {
  16. res = fibonacci(n-1) + fibonacci(n-2)
  17. }
  18. return
  19. }

输出:

  1. 数列第 1 位: 1
  2. 数列第 2 位: 1
  3. 数列第 3 位: 2
  4. 数列第 4 位: 3
  5. ...
  6. 数列第 39 位: 63245986
  7. 数列第 40 位: 102334155
  8. 程序的执行时间为: 2.2848865s

2. 数字阶乘
  1. 一个正整数的阶乘(factorial)是所有小于及等于该数的正整数的积,并且 0 的阶乘为 1,自然数 n 的阶乘写作n!,“基斯顿·卡曼”在 1808 年发明了n!这个运算符号。

例如,n!=1×2×3×…×n,阶乘亦可以递归方式定义:0!=1,n!=(n-1)!×n

  1. func Factorial(n uint64) (result uint64) {
  2. if n > 0 {
  3. result = n * Factorial(n-1)
  4. return result
  5. }
  6. return 1
  7. }
  8. func main() {
  9. var i int = 10
  10. fmt.Printf("%d 的阶乘是 %d\n", i, Factorial(uint64(i)))
  11. // 10 的阶乘是 3628800
  12. }

内存缓存

  1. 递归函数的缺点就是比较消耗内存,而且效率比较低,性能比较低。
  2. 当在进行大量计算的时候,提升性能最直接有效的一种方式是避免重复计算,通过在内存中缓存并重复利用缓存从而避免重复执行相同计算的方式称为内存缓存。
    1. const LIM = 41
    2. var fibs [LIM]uint64
    3. func main() {
    4. var result uint64 = 0
    5. start := time.Now()
    6. for i := 1; i < LIM; i++ {
    7. result = fibonacci(i)
    8. fmt.Printf("数列第 %d 位: %d\n", i, result)
    9. }
    10. end := time.Now()
    11. delta := end.Sub(start)
    12. fmt.Printf("程序的执行时间为: %s\n", delta)
    13. }
    14. func fibonacci(n int) (res uint64) {
    15. // 记忆化:检查数组中是否已知斐波那契(n)
    16. if fibs[n] != 0 {
    17. res = fibs[n]
    18. return
    19. }
    20. if n <= 2 {
    21. res = 1
    22. } else {
    23. res = fibonacci(n-1) + fibonacci(n-2)
    24. }
    25. fibs[n] = res
    26. return
    27. }
    输出如下:
    1. 数列第 1 位: 1
    2. 数列第 2 位: 1
    3. 数列第 3 位: 2
    4. 数列第 4 位: 3
    5. ...
    6. 数列第 39 位: 63245986
    7. 数列第 40 位: 102334155
    8. 程序的执行时间为: 0.0149603s
    通过运行结果可以看出,同样获取数列第 40 位的数字,使用内存缓存后所用的时间为 0.0149603 秒,对比之前未使用内存缓存时的执行效率,可见内存缓存的优势还是相当明显的。

defer 延迟执行

介绍

  1. Go语言的 defer 语句会将其后面跟随的语句进行延迟处理,在 defer 归属的函数运行完返回语句时,将延迟处理的语句按后进先出执行。
  2. 关键字 defer 的用法类似于面向对象编程语言 JavaC# 的 finally 语句块,它一般用于释放某些已分配的资源,典型的例子就是对一个互斥解锁,或者关闭一个文件。 ```go func main() { fmt.Println(“defer begin”) defer fmt.Println(1) defer fmt.Println(2) defer fmt.Println(3) fmt.Println(“defer end”) }

// log defer begin defer end 3 2 1

  1. <a name="JxO4E"></a>
  2. #### 释放资源
  3. <a name="z9GVm"></a>
  4. ##### 释放锁
  5. ```go
  6. var (
  7. valueByKey = make(map[string]int)
  8. valueByKeyGuard sync.Mutex
  9. )
  10. func readValue(key string) int {
  11. valueByKeyGuard.Lock()
  12. defer valueByKeyGuard.Unlock()
  13. return valueByKey[key]
  14. }

释放文件句柄
  1. func fileSize(filename string) int64 {
  2. f, err := os.Open(filename)
  3. if err != nil {
  4. return 0
  5. }
  6. // 延迟调用Close, 此时Close不会被调用
  7. defer f.Close()
  8. info, err := f.Stat()
  9. if err != nil {
  10. // defer机制触发, 调用Close关闭文件
  11. return 0
  12. }
  13. size := info.Size()
  14. // defer机制触发, 调用Close关闭文件
  15. return size
  16. }