Go 语言函数还可以直接或间接地调用自己,也就是支持递归调用。相比其他语言 Go 语言函数的递归调用深度逻辑上没有限制,函数调用的栈不会出现溢出错误,因为 Go 语言运行时会根据需要动态地调整函数栈的大小。每个 goroutine 刚启动时只会分配很小的栈(4 或 8KB,具体依赖实现),根据需要动态调整栈的大小,栈最大可以达到 GB 级(依赖具体实现,在目前的实现中,32 位体系结构为 250MB,64 位体系结构为 1GB)
func f(x int) {
if x > 1 {
f(x-1)
} else {
fmt.Println(x)
}
}
复制代码
复制代码
因为Go 语言函数的栈会自动调整大小,所以程序员很少需要关心栈的运行机制的,在 Go 语言规范中甚至故意没有讲到栈和堆的概念。我们无法知道函数参数或局部变量到底是保存在栈中还是堆中,只需要知道它们能够正常工作就可以了
func f(x int) *int {
return &x
}
func g() *int {
i := 20
return i
}
复制代码
有C/C++经验的程序员会惊讶这两个函数有bug,因为参数变量在栈上维护,函数返回之后栈变量就失效了,返回的地址自然也应该失效了,返回的是野指针。在Go语言中可以正常工作,Go 编译器会保证指针指向的变量在合适的地方,不用关心 Go 语言中函数栈和堆的问题,编译器和运行时会帮我们搞定;同样不要假设变量在内存中的位置是固定不变的,指针随时可能会变化,特别是在你不期望它变化的时候。