局部变量的返回地址生成意外值

Question

我写了下面的代码。我知道返回在函数中创建的变量的地址是错误的方法，因为创建的局部变量将位于堆栈中，并且在完成函数后该变量将从堆栈中弹出。我创建了一个名为“latif”的人。然后我使用了changeName()函数。它将 person 结构的名称字段更改为“uluman”。它返回了局部变量的地址。函数完成后，局部变量应该被弹出。然后我调用了 sum() 函数来保证堆栈将发生变化（sum 函数的参数将被推送。换句话说，内存中的单元格值 x 点应该发生变化）。所以 x 指向堆栈中的某个位置。

package main

    import "fmt"

    type Person struct{

        name string

        age int

    }

    func sum(a, b int)int{

       return a+b

    }

    func (t Person ) changeName(value string)*Person{

        t.name = value

        return &t  //Delibiratly the address of the local variable is returned

    }

    func main(){

        t := Person{name : "latif" }

        fmt.Println("Before" , t.name)

        x := t.changeName("uluman")

        _= sum(5,10)

        fmt.Println("After" , x.name)

        return

    }

我预计fmt.Println(x.name)应该打印与“uluman”不同的内容，因为 x 指向堆栈地址并且它已经更改，但它打印了“uluman”。这里有什么问题吗？

Answer 1

这被称为“逃逸分析”。Go编译器尝试找出变量的地址是否“转义”了函数，如果是，它会在堆而不是堆栈中分配该变量。在这种情况下，它发现 的地址t逃逸了changeName函数，因此它被分配在堆中，而不是堆栈中。这就是你的程序有效的原因。例如，这是构造结构的常见方法：type X struct {  ...}func NewX() *X {   a:=X{}   ...   return &a}这里，a是在堆中分配的，而不是在堆栈上，因为编译器知道它a会转义函数。以下内容也有效：func f() {  i:=0  go func() {    ...    i++    ...   }()}上面，i转义了f，因为地址i位于新创建的 goroutine 的闭包中。f回国后继i续生活。