go - 将指向局部变量的指针分配给在Golang中作为指针返回的结构体是否安全

Question

我发现Golang中的以下代码有效:

type user struct {
  name *string
  email *string
}
func foo() (*user, error) {
  var myname string
  var myemail string
  // Some code here to fetch myname and myemail
  u := user{}
  u.name = &myname
  u.email = &myemail
  return &u, nil
}

我知道返回指向局部变量的指针是 safe，因为局部变量将在函数范围内保留，因此我不关心从函数 &u返回 foo()的问题。

我担心的是作业:

  u.name = &myname
  u.email = &myemail

Go编译器是不是偶然地在堆中分配了 u.name和 u.email，以便我可以在函数外部访问它，还是可以保证它始终有效(通过指针转义分析机制)？

如果上面的代码不安全，我将退回到以下内容:

  u.name = new(string)
  *u.name = myname
  ...

Answer 1

我进一步深入研究，从here和here中弄清楚了如何进一步研究并满足我的查询，在结构本身中将指针设置为局部变量确实是安全的，该结构本身作为函数的指针返回。

我的程序(打印行号以更好地理解):

  1 package main
  2
  3 import "fmt"
  4
  5 type user struct {
  6   Name *string
  7 }
  8
  9 func setName() (*user) {
 10   myname := "soumya"
 11   u := user{}
 12   u.Name = &myname
 13   return &u
 14 }
 15
 16 func main() {
 17   v := setName()
 18   fmt.Println(*v.Name)
 19 }

go run -gcflags='-m -m'的输出:

$ go run -gcflags='-m -m' main.go
./main.go:9:6: can inline setName as: func() *user { myname := "soumya"; u := user literal; u.Name = &myname; return &u }
./main.go:16:6: cannot inline main: function too complex: cost 93 exceeds budget 80
./main.go:17:15: inlining call to setName func() *user { myname := "soumya"; u := user literal; u.Name = &myname; return &u }
./main.go:18:14: inlining call to fmt.Println func(...interface {}) (int, error) { return fmt.Fprintln(io.Writer(os.Stdout), fmt.a...) }
./main.go:13:10: &u escapes to heap
./main.go:13:10:        from ~r0 (return) at ./main.go:13:3
./main.go:11:3: moved to heap: u
./main.go:12:12: &myname escapes to heap
./main.go:12:12:        from u (dot-equals) at ./main.go:12:10
./main.go:12:12:        from &u (address-of) at ./main.go:13:10
./main.go:12:12:        from ~r0 (return) at ./main.go:13:3
./main.go:10:3: moved to heap: myname
./main.go:18:15: *v.Name escapes to heap
./main.go:18:15:        from ~arg0 (assign-pair) at ./main.go:18:14
./main.go:18:14: io.Writer(os.Stdout) escapes to heap
./main.go:18:14:        from io.Writer(os.Stdout) (passed to call[argument escapes]) at ./main.go:18:14
./main.go:17:15: main &myname does not escape
./main.go:17:15: main &u does not escape
./main.go:18:14: main []interface {} literal does not escape
<autogenerated>:1: os.(*File).close .this does not escape
soumya

输出表明 &myname转义到第n行。 12，因此很安全。
此外，它在行号之后不再逸出。 17。