4.1 定义
- 无须前置声明
- 不支持命名嵌套定义
- 不支持同名重载
- 不支持默认参数
- 支持不定长变参
- 支持多返回值
- 支持命名返回值
- 支持匿名函数和闭包
- 只能判断nil,不能比较
函数属于第一类对象,指可在运行期创建,可用作函数参数或返回值,可存入变量的实体。常见用法:匿名函数
4.2 参数
- 形参:函数定义中的参数,局部变量
- 实参:函数调用时所传递的参数,函数外部对象,可以使常量,变量,表达式或函数等
全都是值拷贝传递,pass-by-value!
变参
变参本质上是一个切片,只能接收一到多个同类型参数,且必须放在列表尾部。
4.3 返回值
命名返回值
类似参数,当做局部变量使用,最后由return隐式返回。
其实没啥必要。
4.4 匿名函数
匿名函数指没有定义名字符号的函数。
在函数内部定义匿名函数,形成嵌套效果。
好处:将大函数分解成多个相对独立的匿名函数块,用相对简洁的调用完成逻辑流程,以实现框架和细节的分离。
闭包
闭包closure是在其语法上下文中引用了自由变量的函数,或者说是函数和其引用环境的组合体。
有点类似,直接引用原环境变量的指针。
package main
func test() []func() {
var s []func()
for i := 0; i < 2; i++ {
s = append(s, func() {
println(&i, i)
})
}
return s
}
func main() {
for _, f := range test() {
f()
}
}
输出为:
0xc04204c000 2
0xc04204c000 2
即,闭包通过指针引用环境变量,可能会导致其生命周期延长, 甚至被分配到堆内存。此外还延迟求值。
上面的代码中,main执行函数时,读取的是环境变量i最后一次循环时的值。
解决方法是:每次用不同的环境变量,或传参复制,让各自闭包环境各不相同。
4.5 延迟调用
延迟调用注册的是调用,必须提供执行所需参数,参数值在注册时被复制并缓存起来,如对状态敏感,可改用指针或闭包。
func main() {
x, y := 1, 2
defer func(a int) {
println("defer x, y = ", a, y)
}(x)
x += 100
y += 100
println(x, y)
}
输出
101 102
defer x, y = 1 102
多个延迟注册按FILO,先进后出次序进行。
编译器通过插入额外指令来实现延迟调用执行,return和panic都会终止当前流程,引发延迟调用。
return的顺序:
- 完成对函数返回值的赋值
- call defer
- 汇编ret指令
误用
循环时defer会等到main函数结束,可能浪费资源,解决方法:匿名函数
性能
延迟调用代价更高,包括注册调用,额外的缓存开销,相差几倍,所以性能要求高的算法应避免defer
4.6 错误处理
标准库将error定义为借口类型,以便实现自定义错误类型
type error interface {
Error() string
}
大量函数和方法返回error,代码贼难看,全是检查语句,解决思路:
- 使用专门的检查函数处理错误逻辑,简化检查代码
- 不影响逻辑的情况下,使用defer延后处理错误
- 不中断逻辑的情况下,将错误作为内部状态保存,等最终“提交”时再处理
panic, recover
接近try/catch结构化异常
- 连续调用panic,只有最后一个会被recover捕获。
- 在延迟函数中panic,不会影响后续延迟调用执行,而在recover之后,可以重新panic并捕获。
- recover必须在延迟调用函数中执行才能正常工作
func catch() {
log.Println("catch:", recover())
}
func main() {
defer catch() //nil
defer catch() //成功
defer log.Println(recover()) //失败
defer recover() //失败!
panic("i am dead")
}
输出
2019/05/08 10:54:30 <nil>
2019/05/08 10:54:30 catch: i am dead
2019/05/08 10:54:30 catch: <nil>
建议:除非是不可恢复性,导致系统无法正常工作的错误,否则不建议使用panic