01
概念
函数是结构化编程的最小模块单元。函数能够将一个复杂的工作切分成多个更小的模块,隐藏相关细节,使得程序结构更加清晰,易于维护。在 Go 语言中,使用关键字 func 定义函数,左大括号不能另起一行。函数只能判断其是否为 nil,不支持其他比较操作。
02
声明函数
每个函数声明都包含一个名字、一个形参列表、一个可选的返回值列表和函数体,形参列表指定了一组变量的参数名和参数类型,函数调用时,必须按照签名顺序传递指定类型和数量的实参,就算以 “_” 命名的参数也不能忽略。
在参数列表中,相邻的同类型参数可合并,参数可视作函数局部变量,因此不能在相同层次定义同名变量,否则会出现编译错误。
形参是指函数定义中的参数,实参是函数调用时传递的参数。不管是指针、引用类型,还是其他类型参数,都是值拷贝传递,区别无非是拷贝目标对象,还是拷贝指针而已。在函数调用前,会为形参和返回值分配内存空间,并将实参拷贝到形参内存。
如果函数参数过多,建议将其重构为一个复合类型,也算是变相实现可选参数和命名参数的功能。
使用指针参数,被复制的指针会延长目标对象的生命周期,还可能导致它被分配到堆上,那么其性能消耗就得加上堆内存分配和垃圾回收的成本。其实在栈上复制小对象只需要很少的指令即可完成,远比运行时进行堆内存分配要快的多,另外,并发编程也提倡尽可能使用不可变对象,这可消除数据同步等麻烦。当然,如果复制成本很高,或者需要修改原对象状态,自然使用指针更好。
按照有无返回值范围,函数分为无返回值函数和有返回值函数,main 函数和 init 函数就是无返回值函数。通过代码,我们演示如何声明函数。
func f1(string, string) string { return "" } func f2(name string, _ string) string { return name } func f3(name string, job string) string { return name + job } func f4(name, job string) (info string) { info = name + job return }
03
多返回值函数
在 Go 语言中,有返回值的函数,必须有明确的 return 终止语句。除非有 panic,或者无 break 的无限循环,则无需 return 终止语句。一个函数能够返回不止一个结果,我们可以在标准库中的许多函数看到返回两个值,一个期望结果与一个错误值,或者一个表示函数调用是否正确的布尔值。对于不想要的返回值,可以使用 “_” 忽略。多返回值可用作其他函数调用实参,或者作为结果直接返回。
04
变长参数函数
变长参数函数是指被调用的时候可以有可变的参数个数。在参数列表最后的类型名称之前使用省略号 “...” 表示声明一个变长参数的函数,调用这个函数的时候可以传递该类型任意数目的参数。通过代码,我们演示变长参数的函数。
func sum (vals ...int) int { }
05
匿名函数
匿名函数是指没有定义函数名字的函数。除了没有函数名字外,匿名函数和普通函数完全相同。命名函数只能在包级别作用域进行生命,匿名函数可以在函数内部定义,形成类似嵌套效果,并且可以使用外层函数中的变量。其次,匿名函数可直接调用,保存到变量,作为参数或返回值。通过代码,我们演示匿名函数。
func main() { func(str string) { fmt.Println(str) }("hello, golang") }
06
闭包
闭包是在其词法上下文中引用了自由变量的函数,或者说是函数和其引用的环境的组合体。因为闭包通过指针引用环境变量,那么可能会导致其生命周期延长,甚至被分配到堆内存。闭包让我们不用传递参数就可读取或修改环境状态,当然也要为此付出额外的代价,对于性能要求高的场景,慎重使用闭包。
07
defer 延迟调用
defer 语句向当前函数注册稍后执行的函数调用。这些调用被称作延迟调用,因为它们直到当前函数执行结束前才被执行,常用于资源释放、解除锁定,以及错误处理等操作。多个延迟注册按 FILO 次序执行。延迟调用开销更大,尤其是那些性能要求高的场景,应避免使用延迟调用。