Go语言入门系列前面的文章:

• Go语言入门系列(三)之数组和切片
• Go语言入门系列(四)之map的使用
• Go语言入门系列(五)之指针和结构体的使用

在Go语言入门系列(二)之基础语法总结这篇文章中已经介绍过了Go语言的函数的基本使用,包括声明、参数、返回值。本文再详细介绍一下函数的其他使用。

1. 变参

Go语言的函数除了支持0个或多个参数,还支持不定数量的参数,即变参。声明方式为:

func foo(变参名 ...参数类型) 函数类型 {
 //函数体
}

下面是一个具体的函数,它接收不定数量的int参数,并返回和:

package main
import "fmt"
func add(arg ...int) int { //变参函数
 var sum int
 for _, value := range arg {
 sum += value
 }
 return sum
}
func main() {
 sum := add(1, 2, 3, 4)
 fmt.Println(sum) //10
}

arg ...int表明add函数接收不定数量的参数,且只能是int类型的。arg是我们给该变参取的名字,它实际上是一个切片,所以在add函数中可以使用range遍历变量arg。

2. 传值和传指针

当我们调用一个有参函数时,肯定会向该函数中传入参数:

package main
import "fmt"
//传入一个值,打印它
func printX(x int) {
 fmt.Println(x)
}
func main() {
 var a int = 5
 printX(a) //向函数中传入参数:变量a
}

这里有一个问题:我们真的是把变量a传给了printX函数吗?我们用两个例子来说明问题。

2.1. 例1

package main
import "fmt"
func plusOne(x int) int {
 x = x + 1
 fmt.Println("执行加一")
 return x
}
func main() {
 a := 5
 fmt.Println("a =", a) //应该为5 实际为5
 b := plusOne(a)
 fmt.Println("a =", a) //应该为6 实际为5
 fmt.Println("b =", b) //应该为6 实际为6
}

plusOne函数的作用是把传进来的参数加一,并返回结果。

a=5传进plusOne函数,执行了x = x + 1语句,那么执行过后a的值应该为6,但实际为5。

变量b接收了函数的返回值,所以为6,这没问题。

这证明了,我们的a变量根本就没传进函数中,那么实际传的是什么?实际传的是a变量的一份拷贝。

所以,我们向Go语言中的函数传入一个值,实际上传的是该值的拷贝,而非该值本身。

那如果我们确实要把上例中的变量a传入plusOne函数中呢?那此时就不应该传值了,而是应该传入指针。代码改进如下:

package main
import "fmt"
func plusOne(x *int) int { //参数是指针变量
 *x = *x + 1
 fmt.Println("执行加一")
 return *x
}
func main() {
 a := 5
 fmt.Println("a =", a) //应该为5 实际为5
 b := plusOne(&a) //传入地址
 fmt.Println("a =", a) //应该为6 实际为6
 fmt.Println("b =", b) //应该为6 实际为6
}

a=5传进plusOne函数,执行了x = x + 1语句,执行过后a的值实际为6。

这就证明,变量a确实被传进plusOne函数并被修改了。因为我们传进去的是一个指针,即变量的地址,有了地址我们可以直接操作变量。

如果你对指针的使用不熟悉,这里的代码可能会有点难理解,下面逐行解释:

func plusOne(x *int) int { 

声明x是一个int类型的指针参数,只接受int类型变量的地址 。

*x = *x + 1

使用*操作符根据x中存的地址,获取到对应的值,然后加一。

return *x

使用*操作符根据x中存的地址,获取到对应的值,然后返回。

b := plusOne(&a) 

plusOne函数只接受int类型变量的地址,所以使用&操作符获取a变量的地址,然后才传入。

2.2. 例2

下面我再举一个经典的例子:写一个函数,能够交换两个变量的值。

如果你不知道什么是传值和传指针,那可能会写成这样:

package main
import "fmt"
func swap(x, y int) {
 tmp := x
 x = y
 y = tmp
 fmt.Println("函数中:x =", x, ", y =", y)
}
func main() {
 x, y := 2, 8
 fmt.Println("交换前:x =", x, ", y =", y)
 swap(x, y)
 fmt.Println("交换后:x =", x, ", y =", y)
}

运行结果:

交换前:x = 2 , y = 8
函数中:x = 8 , y = 2
交换后:x = 2 , y = 8

只在函数中完成了交换,出了函数又变回原样了。

想要完成交换,就必须传入指针,而非值拷贝:

package main
import "fmt"
func swap(x, y *int) {
 tmp := *x
 *x = *y
 *y = tmp
 fmt.Println("函数中:x =", *x, ", y =", *y)
}
func main() {
 x, y := 2, 8
 fmt.Println("交换前:x =", x, ", y =", y)
 swap(&x, &y)
 fmt.Println("交换后:x =", x, ", y =", y)
}

运行结果:

交换前:x = 2 , y = 8
函数中:x = 8 , y = 2
交换后:x = 8 , y = 2

传入指针能够真正交换两个变量的值。

传入指针的好处:

1. 传入指针使我们能够在函数中直接操作变量,多个函数也能操作同一个变量。
2. 不需要再拷贝一遍值了。如果你需要传入比较大的结构体,再拷贝一遍就多花费系统开销了,而传入指针则小的多。

3. 函数作为值

在Go语言中,函数也可以作为值来传递。下面是一个例子:

package main
import "fmt"
type calculate func(int, int) int // 声明了一个函数类型
func sum(x, y int) int {
 return x + y
}
func product(x, y int) int {
 return x * y
}
func choose(a, b int, f calculate) int { //函数作为参数
 return f(a, b)
}
func main(){
 diff := func(x, y int) int { //函数作为值赋给diff
 return x - y
 }
 fmt.Println(choose(2, 3, sum)) //5
 fmt.Println(choose(4, 5, product)) //20
 fmt.Println(choose(6, 7, diff)) //-1
 fmt.Println(diff(9, 8)) //1
}

函数作为值或者参数肯定要有对应的类型,类型是:func(参数类型)返回值类型 。比如func(int,int) int

可以使用type关键字给func(int,int) int起个别名叫calculate,方便使用。

choose函数中声明了一个类型为calculate的函数参数f,而我们又编写了calculate类型的函数sum和product,所以可以向choose函数中传入这两个函数。

我们给变量diff赋了一个函数,所以能够使用diff(9, 8),或者将其作为参数传入choose函数。

作者简介

我是「行小观」,于千万人中的一个普通人。阴差阳错地走上了编程这条路,既然走上了这条路,那么我会尽可能远地走下去。

我会在公众号『行人观学』中持续更新「Java」、「Go」、「数据结构和算法」、「计算机基础」等相关文章。

欢迎关注,我们一起踏上行程。

本文章属于系列文章「Go语言入门系列」。

如有错误,还请指正。

本文来自:Segmentfault

感谢作者:行人观学

查看原文:Go语言入门系列(六)之再探函数

• 编辑
• 预览