94

我看到一些代码示例具有这样的结构:

type point struct {
  x, y int
}

func newPoint() *point {
  return &point{10, 20}
}

我有 C++ 背景,这对我来说似乎是错误的。这种结构的语义是什么?新点是在堆栈还是堆上分配?

4

2 回答 2

116

Go 执行指针转义分析。如果指针脱离本地堆栈,在这种情况下,它会在堆上分配对象。如果它没有转义本地函数,编译器可以自由地将它分配到堆栈上(尽管它不做任何保证;这取决于指针转义分析是否可以证明指针保持在该函数的本地)。

于 2012-12-05T02:15:37.817 回答
19

Golang 的“文档声明返回指向局部变量的指针是完全合法的。” 正如我在这里读到的

https://groups.google.com/forum/?fromgroups=#!topic/golang-nuts/EYUuead0LsY

我看起来编译器看到你返回地址并为你把它放在堆上。这是 Go 中的一个常见习语。

于 2012-12-05T02:15:31.130 回答