Retorne o ponteiro para a estrutura local

85

Vejo alguns exemplos de código com construções como esta:

type point struct {
  x, y int
}

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

Tenho experiência em C ++ e parece um erro para mim. Quais são as semânticas de tal construção? O novo ponto está alocado na pilha ou heap?

go

— demi
fonte

1

Uma pergunta semelhante (os links de resposta para a documentação): stackoverflow.com/questions/12098435/…

— Denys Séguret

@DenysSéguret não é semelhante

— mangusta

109

Go realiza análise de escape de ponteiro. Se o ponteiro escapar da pilha local, o que acontece neste caso, o objeto é alocado na pilha. Se ele não escapar da função local, o compilador estará livre para alocá-lo na pilha (embora não ofereça garantias; depende se a análise de escape do ponteiro pode provar que o ponteiro permanece local para esta função).

— Lily Ballard
fonte

13

Aqui está uma postagem de blog (isenção de responsabilidade: que eu escrevi) que examina a análise de fuga de Go um pouco mais de perto: scvalex.net/posts/29

— scvalex

@LilyBallard não recebeu totalmente sua resposta. Você quer dizer que provar o fato de um ponteiro de escape é sempre possível, ao passo que provar o fato de NÃO escapar não é?

— mangusta

18

O Golang "A documentação afirma que é perfeitamente legal retornar um ponteiro para uma variável local." Como eu li aqui

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

Parece que o compilador vê você retornar o endereço e apenas o coloca no heap para você. Este é um idioma comum em Go.

— masebase
fonte