函数在Go语言中属于“一等公民”。
Go 语言的函数具有如下特点：
- 以func关键字开头；
- 支持多返回值；
- 支持具名返回值；
- 支持递归调用；
- 支持同类型的可变参数；
- 支持defer，实现函数优雅返回。
定义函数#
Go 语言中使用 func 来定义关键字，格式如下：
1
2
3
|
func 函数名(参数) (返回值) {
函数体
}
|
- 参数：参数由参数变量和参数变量的类型组成，多个参数之间使用
,分隔。
- 返回值：返回值由返回值变量和其变量类型组成，也可以只写返回值的类型，多个返回值必须用
()包裹，并用,分隔。
例子：
一个求和函数：
1
2
3
|
func intSum(x int, y int) int {
return x + y
}
|
调用函数#
通过函数名()的方式调用函数。
1
2
3
4
5
|
func main() {
sayHello()
ret := intSum(10, 20)
fmt.Println(ret)
}
|
注意，调用有返回值的函数时，可以不接收其返回值。
类型简写
函数的参数中如果相邻变量的类型相同，则可以省略类型，例如：
1
2
3
|
func intSum(x, y int) int {
return x + y
}
|
上面的代码中，intSum函数有两个参数，这两个参数的类型均为int，因此可以省略x的类型，因为y后面有类型说明，x参数也是该类型。
可变参数
可变参数是指函数的参数数量不固定。Go语言中的可变参数通过在参数名后加...来标识。
注意：可变参数通常要作为函数的最后一个参数。
例子：
1
2
3
4
5
6
7
8
|
func intSum2(x ...int) int {
fmt.Println(x) //x是一个切片
sum := 0
for _, v := range x {
sum = sum + v
}
return sum
}
|
1
2
3
4
|
ret1 := intSum2()
ret2 := intSum2(10)
ret3 := intSum2(10, 20)
ret4 := intSum2(10, 20, 30)
|
本质上，函数的可变参数是通过切片来实现的。
返回值#
多返回值
Go语言中函数支持多返回值，函数如果有多个返回值时必须用()将所有返回值包裹起来。
举个例子：
1
2
3
4
5
|
func calc(x, y int) (int, int) {
sum := x + y
sub := x - y
return sum, sub
}
|
返回值命名
函数定义时可以给返回值命名，并在函数体中直接使用这些变量，最后通过return关键字返回。
例如：
1
2
3
4
5
|
func calc(x, y int) (sum, sub int) {
sum = x + y
sub = x - y
return
}
|
返回值补充
当我们的一个函数返回值类型为slice时，nil可以看做是一个有效的slice，没必要显示返回一个长度为0的切片。
1
2
3
4
5
6
|
func someFunc(x string) []int {
if x == "" {
return nil // 没必要返回[]int{}
}
...
}
|
函数类型与变量#
定义函数类型#
我们可以使用type关键字来定义一个函数类型，具体格式如下：
1
|
type calculation func(int, int) int
|
上面语句定义了一个calculation类型，它是一种函数类型，这种函数接收两个int类型的参数并且返回一个int类型的返回值。
简单来说，凡是满足这个条件的函数都是calculation类型的函数，例如下面的add和sub是calculation类型。
1
2
3
4
5
6
7
|
func add(x, y int) int {
return x + y
}
func sub(x, y int) int {
return x - y
}
|
add和sub都能赋值给calculation类型的变量。
1
2
|
var c calculation
c = add
|
函数类型变量#
我们可以声明函数类型的变量并且为该变量赋值：
1
2
3
4
5
6
7
8
9
10
|
func main() {
var c calculation // 声明一个calculation类型的变量c
c = add // 把add赋值给c
fmt.Printf("type of c:%T\n", c) // type of c:main.calculation
fmt.Println(c(1, 2)) // 像调用add一样调用c
f := add // 将函数add赋值给变量f
fmt.Printf("type of f:%T\n", f) // type of f:func(int, int) int
fmt.Println(f(10, 20)) // 像调用add一样调用f
}
|
高阶函数#
高阶函数分为函数作为参数和函数作为返回值两部分。
函数做参数#
1
2
3
4
5
6
7
8
9
10
11
|
func add(x, y int) int {
return x + y
}
func calc(x, y int, op func(int, int) int) int {
return op(x, y)
}
func main() {
ret2 := calc(1, 2, add)
fmt.Println(ret2)
}
|
函数作为返回值#
1
2
3
4
5
6
7
8
9
10
11
|
func do(s string) (func(int, int) int, error) {
switch s {
case "+":
return add, nil
case "-":
return sub, nil
default:
err := errors.New("无法识别的操作符")
return nil, err
}
}
|
匿名函数和闭包#
匿名函数#
函数当然还可以作为返回值，但是在Go语言中函数内部不能再像之前那样定义函数了，只能定义匿名函数。匿名函数就是没有函数名的函数，匿名函数的定义格式如下：
1
2
3
|
func(参数)(返回值){
函数体
}
|
匿名函数因为没有函数名，所以没办法像普通函数那样调用，所以匿名函数需要保存到某个变量或者作为立即执行函数:
1
2
3
4
5
6
7
8
9
10
11
12
|
func main() {
// 将匿名函数保存到变量
add := func(x, y int) {
fmt.Println(x + y)
}
add(10, 20) // 通过变量调用匿名函数
//自执行函数：匿名函数定义完加()直接执行
func(x, y int) {
fmt.Println(x + y)
}(10, 20)
}
|
匿名函数多用于实现回调函数和闭包。
闭包指的是一个函数和与其相关的引用环境组合而成的实体。简单来说，闭包=函数+引用环境。 首先我们来看一个例子：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
func adder() func(int) int {
var x int
return func(y int) int {
x += y
return x
}
}
func main() {
var f = adder()
fmt.Println(f(10)) //10
fmt.Println(f(20)) //30
fmt.Println(f(30)) //60
f1 := adder()
fmt.Println(f1(40)) //40
fmt.Println(f1(50)) //90
}
|
变量f是一个函数并且它引用了其外部作用域中的x变量，此时f就是一个闭包。 在f的生命周期内，变量x也一直有效。 闭包进阶示例1：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
func adder2(x int) func(int) int {
return func(y int) int {
x += y
return x
}
}
func main() {
var f = adder2(10)
fmt.Println(f(10)) //20
fmt.Println(f(20)) //40
fmt.Println(f(30)) //70
f1 := adder2(20)
fmt.Println(f1(40)) //60
fmt.Println(f1(50)) //110
}
|
闭包进阶示例2：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
func makeSuffixFunc(suffix string) func(string) string {
return func(name string) string {
if !strings.HasSuffix(name, suffix) {
return name + suffix
}
return name
}
}
func main() {
jpgFunc := makeSuffixFunc(".jpg")
txtFunc := makeSuffixFunc(".txt")
fmt.Println(jpgFunc("test")) //test.jpg
fmt.Println(txtFunc("test")) //test.txt
}
|
闭包进阶示例3：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
func calc(base int) (func(int) int, func(int) int) {
add := func(i int) int {
base += i
return base
}
sub := func(i int) int {
base -= i
return base
}
return add, sub
}
func main() {
f1, f2 := calc(10)
fmt.Println(f1(1), f2(2)) //11 9
fmt.Println(f1(3), f2(4)) //12 8
fmt.Println(f1(5), f2(6)) //13 7
}
|
闭包其实并不复杂，只要牢记闭包=函数+引用环境。
defer#
Go语言中的defer语句会将其后面跟随的语句进行延迟处理。在defer归属的函数即将返回时，将延迟处理的语句按defer定义的逆序进行执行，也就是说，先被defer的语句最后被执行，最后被defer的语句，最先被执行。
举个例子：
1
2
3
4
5
6
7
|
func main() {
fmt.Println("start")
defer fmt.Println(1)
defer fmt.Println(2)
defer fmt.Println(3)
fmt.Println("end")
}
|
输出结果：
1
2
3
4
5
|
start
end
3
2
1
|
由于defer语句延迟调用的特性，所以defer语句能非常方便的处理资源释放问题。比如：资源清理、文件关闭、解锁及记录时间等。
内置函数#
| 内置函数 |
介绍 |
| close |
主要用来关闭channel |
| len |
用来求长度，比如string、array、slice、map、channel |
| new |
用来分配内存，主要用来分配值类型，比如int、struct。返回的是指针 |
| make |
用来分配内存，主要用来分配引用类型，比如chan、map、slice |
| append |
用来追加元素到数组、slice中 |
| panic和recover |
用来做错误处理 |
panic/recover#
Go语言中目前（Go1.12）是没有异常机制，但是使用panic/recover模式来处理错误。 panic可以在任何地方引发，但recover只有在defer调用的函数中有效。 首先来看一个例子：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
func funcA() {
fmt.Println("func A")
}
func funcB() {
panic("panic in B")
}
func funcC() {
fmt.Println("func C")
}
func main() {
funcA()
funcB()
funcC()
}
|
输出：
1
2
3
4
5
6
7
8
|
func A
panic: panic in B
goroutine 1 [running]:
main.funcB(...)
.../code/func/main.go:12
main.main()
.../code/func/main.go:20 +0x98
|
程序运行期间funcB中引发了panic导致程序崩溃，异常退出了。这个时候我们就可以通过recover将程序恢复回来，继续往后执行。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
func funcA() {
fmt.Println("func A")
}
func funcB() {
defer func() {
err := recover()
//如果程序出出现了panic错误,可以通过recover恢复过来
if err != nil {
fmt.Println("recover in B")
}
}()
panic("panic in B")
}
func funcC() {
fmt.Println("func C")
}
func main() {
funcA()
funcB()
funcC()
}
|
注意：
recover()必须搭配defer使用。defer一定要在可能引发panic的语句之前定义。