Go语言基础之函数
函数
Go语言中支持函数、匿名函数和闭包,并且函数在Go语言中属于“一等公民”。是非常重要的
函数定义
Go语言中定义函数使用func
关键字,具体格式如下:
func 函数名(参数)(返回值){
函数体
}
其中:
- 函数名:由字母、数字、下划线组成。但函数名的第一个字母不能是数字。在同一个包内,函数名也称不能重名(包的概念详见后文)。
- 参数:参数由参数变量和参数变量的类型组成,多个参数之间使用
,
分隔。 - 返回值:返回值由返回值变量和其变量类型组成,也可以只写返回值的类型,多个返回值必须用
()
包裹,并用,
分隔。 - 函数体:实现指定功能的代码块。
我们先来定义一个简单函数
func intSum(x int, y int) int {
return x + y
}
函数的参数和返回值都是可选的,例如我们可以实现一个既不需要参数也没有返回值的函数:
func sayHello() {
fmt.Println("Hello 沙河")
}
还可以指定返回多少个字段和指定类型
func addSub(x int, y int) (sum int, sub int) {
sum = x + y
sub = x - y
return sum, sub
}
函数的调用
定义了函数之后,我们可以通过函数名()
的方式调用函数。
例如:
func processFuncHello() {
a,b := addSub(1,2)
fmt.Println(a,b)
}
注意,调用有返回值的函数时,可以不接收其返回值。
参数
类型简写
函数的参数中如果相邻变量的类型相同,则可以省略类型,例如:
func intSum(x, y int) int {
return x + y
}
上面的代码中,intSum
函数有两个参数,这两个参数的类型均为int
,因此可以省略x
的类型,因为y
后面有类型说明,x
参数也是该类型。
可变参数
可变参数是指函数的参数数量不固定。Go语言中的可变参数通过在参数名后加...
来标识。
注意:可变参数通常要作为函数的最后一个参数。
格式:
func processFuncDemo6(x int,v...int) {
}
func 函数名 (固定参数列表,v...T)(返回参数列表){
}
v...T实际是切片 记得这一点
举个例子:
func processFuncDemo6(x int, v ...int) {
//v是切片
fmt.Println(v)
sum := x
for _, v := range v {
sum += v
}
fmt.Println(sum)
}
调用上面的函数:
processFuncDemo6(10, 1, 2, 3)
processFuncDemo6(10, 1, 2, 3, 4)
输出:
[1 2 3]
16
[1 2 3 4]
20
可变参数的传递
可变参数本质上是一个切片,如果要在多个函数中传递可变参数 可在传递时添加 ...
代码如下:
func add(num ...int) {
addAll(num...)
}
func addAll(slice ...int) {
sum := 0
for _, value := range slice {
sum += value
}
fmt.Println(sum)
}
func main() {
add(1, 2, 3, 4, 5)
}
如果想传递可变参数的本身,可将addAll函数的可变参数改成切片
func add(num ...int) {
addAll(num)
}
func addAll(slice [] int) {
sum := 0
for _, value := range slice {
sum += value
}
fmt.Println(sum)
}
多返回值
Go语言中函数支持多返回值,函数如果有多个返回值时必须用()
将所有返回值包裹起来(单返回值是不需要括号包裹起来的)
举个例子:
func calc(x, y int) (int, int) {
sum := x + y
sub := x - y
return sum, sub
}
返回值命名
函数定义时可以给返回值命名,并在函数体中直接使用这些变量,最后通过return
关键字返回。
func main() {
sum, sub := calc(1, 2)
fmt.Println(sum, sub)
}
func calc(x, y int) (sum, sub int) {
sum = x + y
sub = x - y
return
}
函数变量
go语言中,函数也是一种类型,我们可以将其保存在变量中
函数变量声明格式:
var 变量名称 func()
如以下代码:
func addSub(x int, y int) (sum int, sub int) {
sum = x + y
sub = x - y
return sum, sub
}
// 变量函数
func processFuncDemo4() {
a := 1
b := 2
//定义了函数变量
var f1 func(x int, y int) (sum int, sub int)
//将addSub函数绑定到f1变量
f1 = addSub
fmt.Printf("type of f1:%T\n", f1)
sum, sub := f1(a, b)
fmt.Println(a, "+", b, "=", sum)
fmt.Println(a, "-", b, "=", sub)
}
输出
type of f1:func(int, int) (int, int)
1 + 2 = 3
1 - 2 = -1
函数变量f1声明后 其值初始化为nil,在将addSub函数赋值给f1后,所有对f1的调用即为对addSub函数的调用
函数变量也是可以用短变量声明和初始化的
代码:
// 短变量函数
func processFuncDemo5() {
a := 1
b := 2
//使用短格式声明
f1 := addSub
fmt.Printf("type of f1:%T\n", f1)
sum, sub := f1(a, b)
fmt.Println(a, "+", b, "=", sum)
fmt.Println(a, "-", b, "=", sub)
}
输出
type of f1:func(int, int) (int, int)
1 + 2 = 3
1 - 2 = -1
其实还有另外一种方式
定义函数类型
我们可以使用type
关键字来定义一个函数类型,具体格式如下:
type calculation func(int, int) int
上面语句定义了一个calculation
类型,它是一种函数类型,这种函数接收两个int类型的参数并且返回一个int类型的返回值。
简单来说,凡是满足这个条件的函数都是calculation类型的函数,例如下面的processAdd和processSub是calculation类型。
func processAdd(x, y int) int {
return x + y
}
func processSub(x, y int) int {
return x - y
}
调用代码:
type calculation func(int, int) int
func processFuncDemo7() {
// 声明一个calculation类型的变量c
var c calculation
c = processAdd
fmt.Printf("type of c:%T\n", c)
// 像调用processAdd一样调用c
fmt.Println(c(1, 2))
//与其有区别的另外一种写法
f := processAdd
fmt.Printf("type of f:%T\n", f)
fmt.Println(f(1, 2))
}
func main() {
processFuncDemo7()
}
输出:
type of c:main.calculation
3
type of f:func(int, int) int
3
从输出可以看出区别了
calculation
类型的变量processAdd
函数直接的调用高阶函数
高阶函数分为函数作为参数和函数作为返回值两部分。
函数作为参数
函数可以作为参数:
func processFuncCalc(x, y int, op func(int, int) int) int {
//op是一个参数
return op(x, y)
}
func processFuncDemo8() {
//processAdd是传递的参数
ret2 := processFuncCalc(10, 20, processAdd)
fmt.Println(ret2)
}
函数作为返回值
函数也可以作为返回值:
func processFuncDemo9() {
sum, err := do("+")
if sum == nil {
fmt.Println(err)
} else {
fmt.Println(sum(1, 2), err)
}
}
func do(s string) (func(int, int) int, error) {
switch s {
case "+":
return processAdd, nil
case "-":
return processSub, nil
default:
err := errors.New("无法识别的操作符")
return nil, err
}
}
匿名函数和闭包
匿名函数
函数还可以作为返回值,但是在Go语言中函数内部不能再像之前那样定义函数了,只能定义匿名函数。匿名函数就是没有函数名的函数,匿名函数的定义格式如下:
func(参数)(返回值){
函数体
}
匿名函数因为没有函数名,所以没办法像普通函数那样调用,所以匿名函数需要保存到某个变量或者作为立即执行函数:
在匿名函数后"()"直接传入实参
func processFuncDemo10() {
// 将匿名函数保存到变量
add := func(x, y int) {
fmt.Println(x + y)
}
add(10, 20)
//自执行函数:匿名函数定义完加()直接执行
//(里面是参数值)
func(x, y int) {
fmt.Println(x + y)
}(10, 21)
}
匿名函数多用于实现回调函数和闭包。
看以下代码
func main() {
processFuncDemo13()
}
func processFuncDemo12(i int) func() int {
return func() int {
i++
return i
}
}
func processFuncDemo13() {
a1 := processFuncDemo12(5)
fmt.Println(a1())
fmt.Println(a1())
a2 := processFuncDemo12(10)
fmt.Println(a2())
fmt.Print("a1闭包的地址为:")
fmt.Printf("%p\n", &a1)
fmt.Print("a2闭包的地址为:")
fmt.Printf("%p\n", &a2)
}
输出:
6
7
11
a1闭包的地址为:0xc0000ca020
a2闭包的地址为:0xc0000ca030
详解
processFuncDemo12
函数返回了一个闭包函数,通过定义a1和a2变量,创建了两个闭包的实例(引用环境不同导致)
每次调用闭包实例,i的值都会在原有的基础上加1 从打印的结果可以看到 两个闭包实例的地址完全不同,两个闭包的调用结果互不影响
闭包进阶示例
func processMakeSuffixFunc(suffix string) func(string) string {
return func(name string) string {
if !strings.HasSuffix(name, suffix) {
return name + suffix
}
return name
}
}
func processFuncDemo14() {
jpgFunc := processMakeSuffixFunc(".jpg")
txtFunc := processMakeSuffixFunc(".txt")
fmt.Println(jpgFunc("test.jpg"))
fmt.Println(txtFunc("test.txt"))
}
输出:
test.jpg
test.txt
闭包进阶示例
func processCalc(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 processFuncCalcDemo() {
f1, f2 := processCalc(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关键字标识
Go语言中的defer
语句会将其后面跟随的语句进行延迟处理。在defer
归属的函数即将返回时,将延迟处理的语句按defer
定义的逆序进行执行,也就是说,先被defer
的语句最后被执行,最后被defer
的语句,最先被执行。
举个例子:
func processDeferDemo() {
fmt.Println("start now")
defer fmt.Println("这是第一条defer")
defer fmt.Println("这是第二条defer")
defer fmt.Println("这是第三条defer")
fmt.Println("end")
}
输出:
start now
end
这是第三条defer
这是第二条defer
这是第一条defer
由于defer
语句延迟调用的特性,所以defer
语句能非常方便的处理资源释放问题。比如:资源清理、文件关闭、解锁及记录时间等。
来看一个连接关闭的例子
func tcpSend() {
//建立一个tcp连接
conn, err := net.Dial("tcp", "www.baidu.com:80")
if err == nil {
//执行完成后 关闭连接
defer conn.Close()
//获取远程网络地址
fmt.Println("remote address:", conn.RemoteAddr())
}
fmt.Println("erros:", err)
}
输出:
remote address: 157.148.69.74:80
erros: <nil>
defer执行时机
在Go语言的函数中return
语句在底层并不是原子操作,它分为给返回值赋值和RET指令两步。而defer
语句执行的时机就在返回值赋值操作后,RET指令执行前。
总的来说 defer
语句中的函数会在函数返回之前执行,但它并不会对函数的返回值产生直接影响
具体如下图所示:
defer经典案例
代码:
func f1() int {
x := 5
//加到延迟执行中 由于在加入时值就确定了 x = 5
defer func() {
x++
}()
//延迟执行会在return返回前执行
return x
}
func f2() (x int) {
defer func() {
x++
}()
//在函数的最后,return 5 语句将 5 赋值给命名返回值 x。然而,在实际返回之前,defer 语句中的匿名函数会被执行,此时 x 的值会自增
return 5
}
func f3() (y int) {
x := 5
defer func() {
x++
}()
return x
}
func f4() (x int) {
defer func(x int) {
x++
}(x)
return 5
}
func processFuncDemo15() {
fmt.Println(f1())
fmt.Println(f2())
fmt.Println(f3())
fmt.Println(f4())
}
返回值:
5
6
5
5
defer语句中的fmt.Println()参数i值在defer出现时就已经确定下来,实际上是拷贝了一份。后面对变量i的修改不会影响fmt.Println()函数的执行
比如代码中的f1函数就是拷贝了
注意:对于指针类型参数,规则仍然适用,只不过延迟函数的参数是一个地址值,这种情况下,defer后面的语句对变量的修改可能会影响延迟函数。
比如f2函数就是一个典型的影响了变量 因为它的参数是一个地址
再来一个示例:
func deferFuncReturn() (result int) {
i := 1
defer func() {
result++
}()
return i
}
输出:
2
defer面试题
代码:
func processCalcDemo(index string, a, b int) int {
ret := a + b
fmt.Println(index, a, b, ret)
return ret
}
func processFuncDemo16() {
a := 1
b := 2
defer processCalcDemo("1", a, processCalcDemo("10", a, b))
a = 0
defer processCalcDemo("2", a, processCalcDemo("20", a, b))
b = 1
}
输出:
10 1 2 3
20 0 2 2
2 0 2 2
1 1 3 4
代码解释
- 在
processFuncDemo16
函数中,定义了变量a
和b
分别赋值为 1 和 2。 - 在第一个延迟函数调用
defer processCalcDemo("1", a, processCalcDemo("10", a, b))
中:- 首先,执行内部的函数调用
processCalcDemo("10", a, b)
,将参数值传递给该函数。这里会输出 "10 1 2 3",并返回结果 3。 - 然后,执行外部的函数调用
processCalcDemo("1", a, 3)
,其中参数a
的值为 1,参数b
的值为前一个函数调用的结果 3。这里会输出 "1 1 3 4",并返回结果 4。 - 最终,将函数调用
processCalcDemo("1", a, 4)
添加到延迟执行队列中。
- 首先,执行内部的函数调用
- 接着,修改变量
a
的值为 0。 - 在第二个延迟函数调用
defer processCalcDemo("2", a, processCalcDemo("20", a, b))
中:- 首先,执行内部的函数调用
processCalcDemo("20", a, b)
,将参数值传递给该函数。这里会输出 "20 0 2 2",并返回结果 2。 - 然后,执行外部的函数调用
processCalcDemo("2", 0, 2)
,其中参数a
的值为 0,参数b
的值为前一个函数调用的结果 2。这里会输出 "2 0 2 2",并返回结果 2。 - 最终,将函数调用
processCalcDemo("2", 0, 2)
添加到延迟执行队列中。
- 首先,执行内部的函数调用
- 最后,修改变量
b
的值为 1。 - 函数执行完毕,开始依次执行延迟执行队列中的函数调用:
- 先执行
processCalcDemo("2", 0, 2)
,输出 "2 0 2 2"。 - 然后执行
processCalcDemo("1", 1, 4)
,输出 "1 1 3 4"。
- 先执行
需要注意的是,延迟执行的函数调用是在函数结束时按照添加顺序执行的。在添加到延迟执行队列时,会立即计算并传递参数值,但函数的实际执行会在函数结束时才发生。因此,在 defer 语句中的函数调用参数会在添加到延迟执行队列时进行计算,而不是在实际执行延迟函数时计算。这就是导致输出顺序不同于函数调用顺序的原因。
版权声明:
作者:linrux
链接:https://www.tot7.cn/technology/go/478.html
来源:Code林
文章版权归作者所有,未经允许请勿转载。
共有 0 条评论