在golang中,函数不仅可以用于封装代码、分割功能、解耦逻辑,还可以化身为普通的值,在其他函数间传递、赋予变量、做类型判断和转换等等,就像切片和字典的值那样。
函数值可以由此成为能够被随意传播的独立逻辑组件(或者说功能模块)。
demo:
package main
import "fmt"
type Printer func(content string) (n int, err error)
func printToStd(content string) (byteNum int, err error) {
return fmt.Println(content)
}
func main() {
var p Printer
p = printToStd
p("something")
}
demo中,先声明了一个名叫Printer的函数类型。函数签名(就是函数的参数列表和结果列表)定义了可用来鉴别不同函数的那些特征,同时定义了我们与函数的交互方式。
注意,各个参数和结果的名称不能算作函数签名的一部分,甚至对于结果声明来说,没有名称都可以。
只要函数签名是一致的,就可以说它们是一样的函数,或者说实现了同一个函数类型的函数。
Go语言在语言层面支持了函数式编程。
问:什么是高阶函数?
答:高阶函数满足两个条件: 1.接受其他函数作为参数传入; 2.把其他的函数作为结果返回。
只要满足了其中一点,我们就可以说这个函数是一个高阶函数。高阶函数也是函数式编程中的重要概念和特征。
demo1: 1.接受其他函数作为参数传入
编写calculate函数来实现两个整数间的加减乘除运算,但是希望两个整数和具体的操作都有该函数调用方给出。
type operate func (x, y int) int
func calculate(x int, y int, op operate) {
if op == nil {
return 0, errors.New("invalid operation")
}
return op(x,y), nil
}
calculate函数的其中一个参数是operate类型的,而且后者就是一个函数类型。在调用calculate函数的时候,我们需要传入一个operate类型的函数值。
只要传入的函数与operate的签名一致,并且实现得当就可以了
op := func(x, y int) {
return x + y
}
demo2: 2.把其他的函数作为结果返回。
x,y = 56, 78
add := genCalculator(op)
result, err = add(x, y)
fmt.Println("The result : %d (error: %v)\n",result, err)
func genCalculator(op operate ) func(int,int) (int,error) {
return func(x int, y int) {
if op == nil {
return 0, errors.New("invalid operation")
}
return op(x,y), nil
}
}
什么是闭包?
在一个函数中存在对外来标识符的引用(既不代表当前函数的任何参数或结果,也不是函数内部声明的,是直接从外边拿过来的),这中变量叫自由变量。闭包就是因为引用了自由变量,而呈现出一种“”不确定“的状态,也叫“”开放”状态。也就是说,它的内部逻辑并不是完整的,有一部分逻辑需要这个自由变量参与完成,而后者代表了什么在闭包函数被定义的时候确实未知的。
在demo2中,op就是自由变量,当Go语言读取到if op == nil这一行时会试图去寻找op所代表的的东西,它会发现op代表的是genCalculator函数的参数,然后,它会把这两者联系起来,这时可以说,自由变量op被捕获了。
闭包的意义?
表面上看我们只是延迟了实现一部分程序逻辑或功能而已。但实际上,我们是动态地生成那部分逻辑功能。我们可以借此在程序运行的过程中,根据需要生成功能不同的函数,继而影响后续的程序行为。这与GoF设计模式中的模板方法有着异曲同工之妙。
传入函数的参数值后来怎么样了?
demo3:
package main
import "fmt"
func main() {
array1 := [3]string{"a", "b", "c" }
fmt.Printf("The array: %v\n",array1)
array2 := modifyArray(array1)
fmt.Println("The modified array: %v\n", array2)
fmt.Println("The original array: %v\n", array1)
}
func modifyArray(a [3]string) [3]string {
a[1] = "x"
return a
}
答:原数组array1不会改变。所有传给函数的参数值都会被复制,函数在其内部使用的并不是参数值的原值,而是它的副本。注意:对于引用类型:比如:切片、字典、通道,复制的是它们本身么不是它们引用的底层数据,所以当改变时会造成底层数据的改变。
有疑问加站长微信联系(非本文作者)