Question

我看到一些带有这样结构的代码示例：

type point struct {
  x, y int
}

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

我有C ++背景，对我来说似乎是错误的。这种构造的语义是什么？是否在堆栈或堆上分配新点？

Answer 1

Go执行指针转义分析。如果指针转义本地堆栈（在这种情况下它会执行），则会在堆上分配对象。如果它没有转义本地函数，编译器可以自由地在堆栈上分配它（虽然它没有保证;它取决于指针转义分析是否可以证明指针保持在这个函数的本地）。

Answer 2

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

我看起来编译器看到你返回地址并且只是在堆上为你做。这是Go中常见的习语。