Безопасно ли указывать на локальную переменную указатель на структуру, которая возвращается как указатель в Golang - PullRequest
0 голосов
/ 11 февраля 2020

Я обнаружил, что следующий код в 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
}

Я знаю, что безопасно - возвращать указатель на локальную переменную, поскольку локальная переменная переживет область действия функции, поэтому меня не беспокоит возвращение &u из функции foo().

Меня интересуют следующие задания:

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

Это просто случайно что компилятор Go назначает u.name и u.email в куче, чтобы я мог получить к нему доступ вне функции, или есть некоторая гарантия, что она всегда будет работать (через механизм анализа указателя)?

если приведенный выше код небезопасен, я бы вернулся к следующему:

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

1 Ответ

1 голос
/ 11 февраля 2020

Я вырыл глубже и понял из здесь и здесь как исследовать это дальше и удовлетворить мой запрос, что действительно безопасно установить указатель на локальную переменную в структуре которая сама по себе возвращается как указатель из функции.

Моя программа (номера строк напечатаны для лучшего понимания):

  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 сбрасывается в кучу в строке №. 12, следовательно, это безопасно. Кроме того, он больше не выходит после строки №. 17.

...