go语言函数传值与指针的相关问题

最近在快速阅读《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）