golang函数详解

golang函数

golang函数特点汇总

• 无需前置声明
  函数调用,不需要在调用函数先之前声明被调函数
• 不支持函数重载
  同一个包中函数名不能重复
• 不支持默认参数(这是一种优秀的代码习惯,c++中也不提倡使用默认参数)
• 支持不定长变参
  不定长(使用…), 变参 (使用interface{})
• 支持多返回值
• 支持匿名函数和闭包(下文会专门解释)

函数传参

和大多数语言一样,golang可以按值传参,以及按引用(指针)传值。这两者本质并无区别,从实参到形参都需要经历一次拷贝,只是拷贝的对象不一样。前者拷贝的是传入对象,后者拷贝的是传入对象的指针,表面上看起来传入引用是更好的选择,但实际上却不一定,下面看下代码

按引用传值

第一种情况

package main

func test(num *int) {
	go func() {
		println(num)
	}()
}

func main() {在这里插入图片描述

	var num int = 1
	test(&num)
}

汇编代码

按值传递参数

package main

func test(num int) {
	go func() {
		println(num)
	}()
}

func main() {
	var num int = 1
	test(num)
}

汇编代码

结论

对比上面两个汇编代码,不难发现区别,第一个将num创建在了堆上,第二个将num创建在了栈上,从汇编指令数上就可看出第二种性能更好

表面上通过指针传参性能更好,但实际上应该具体分析。指针传参,被复制的指针会延长对象的生命周期,而且有可能导致对象分配在堆上(注意是可能,你可以自行测试下在test函数中不开协程,只打印num,然后看汇编代码,这时你会发现对象还时创建在栈上),那么性能消耗就还要加上堆上分配内存和垃圾回收的性能消耗了,当然如果对象拷贝性能消耗巨大或者传入对象需要修改,那么当然需要传入指针。

匿名函数

golang中函数是可以像变量一样使用的,甚至可以创建函数类型的channel
下面代码中函数test 是一个 返回值为一个无输入无输出的函数对象 的函数

func test(num int) func() {
	fmt.Printf("%p\n", &num)
	return func() {
		fmt.Printf("%p, %d\n", &num, num)
	}
}

func main() {
	fun := test(2)
	fun()
}

输出结果

0xc000016068
0xc000016068, 2

结果分析

两个num的地址相同,可见匿名函数支持闭包。那么什么是闭包,简单说闭包就是函数和变量引用的组合体,可以理解为一个结构体,内部包含用到变量的引用注意是引用,不是值的拷贝

接下来引入一个匿名的错误示例

package main

import "fmt"

func test() []func() {
	slice := []func(){}
	for i := 0; i < 2; i++ {
		slice = append(slice, func() {
			fmt.Printf("%p , %d\n", &i, i)
		})
	}
	return slice
}

func main() {
	funs := test()
	for _, fun := range funs {
		fun()
	}
}

代码简述

test创建多个闭包,main函数中执行这些闭包
我们希望输出的结果为0,1
但结果却不是这样

测试结果

0xc0000ba000 , 2
0xc0000ba000 , 2

原因:test创建了两个闭包,闭包中保存的都是i的引用,在main函数中对闭包调用时,在此之前i以及增加为2了,所以两个输出都为2

defer 延迟调用

defer可以将一些函数向当前函数注册,在当前函数结束时按FILO(先进后出)的方式调用。注意是当前函数结束时调用,而不是作用域结束。