最近在快速阅读《go语言高级编程》,里面提到Go语言的栈会自动调整大小,所以go程序员是难以关心栈的运行机制。比如说,程序员很难知道局部变量到底是保存在栈中还是保存在堆中

可以使用下面的代码来作为例子:

package main

import "fmt"

func f(x int) *int{
	return &x
}


func main(){
	s := 5
	t := f(s)
	s += 1
	fmt.Println(s,*t)
}

上述代码的输出结果是6,5。这个结果说明t所指向的局部变量确实是函数内部的(如果是指向参数的地址,则参数变化时它也应该跟着变化)。也就是说,这个函数的局部变量的地址在函数结束之后仍然存在。

PS:如果想要让该指针指向参数

package main

import "fmt"

func f(x *int) *int{
	return x
}


func main(){
	s := 5
	t := f(&s)
	s += 1
	fmt.Println(s,*t)
}

书中的这一部分提到了两个观点:

  • 不用关心Go语言中栈和堆的问题,编译器和运行时会帮我们搞定
  • 不要假设变量在内存中的位置是固定不变的,指针随时可能会变化。
  • 原因:Go语言使用的连续动态栈,在栈增加的时候会需要将数据移动到新的内存空间,导致栈中的内存地址全部变化。
  • 可能出问题的地方:把Go语言的指针保存到数组中;把Go的地址保存到垃圾回收控制器之外,比如CGO)