Go内存管理——新对象、指针和逃逸分析

在IT行业这个发展更新速度很快的行业，只有不停止的学习，才不会被行业所淘汰。如果你是Golang学习者，那么本文《Go内存管理——新对象、指针和逃逸分析》就很适合你！本篇内容主要包括##content_title##，希望对大家的知识积累有所帮助，助力实战开发！

我读到 Golang 语言以一种智能的方式管理内存。使用逃逸分析，go在调用new时可能不会分配内存，反之亦然。 golang可以用这样的记法 var bob * Person = & Person {2, 3} 来分配内存吗？或者指针总是指向堆栈

正确答案

指针可能会逃逸到堆，也可能不会，具体取决于您的用例。编译器非常聪明。例如。给定：

type person struct {
    b, c int
}


func foo(b, c int) int {
    bob := &person{b, c}
    return bob.b
}

函数 foo 将被编译为：

text    "".foo(sb)
    movq    "".b+8(sp), ax
    movq    ax, "".~r2+24(sp)
    ret

这里全部都在堆栈上，因为即使 bob 是一个指针，它也不会逃脱该函数的作用域。

但是，如果我们考虑进行轻微的（尽管是人为的）修改：

var globalbob *person

func foo(b, c int) int {
    bob := &person{b, c}
    globalbob = bob
    return bob.b
}

然后bob转义，foo将被编译为：

TEXT    "".foo(SB), ABIInternal, $24-24
    MOVQ    (TLS), CX
    CMPQ    SP, 16(CX)
    PCDATA  $0, $-2
    JLS     foo_pc115
    PCDATA  $0, $-1
    SUBQ    $24, SP
    MOVQ    BP, 16(SP)
    LEAQ    16(SP), BP
    LEAQ    type."".Person(SB), AX
    MOVQ    AX, (SP)
    PCDATA  $1, $0
    CALL    runtime.newobject(SB)
    MOVQ    8(SP), AX
    MOVQ    "".b+32(SP), CX
    MOVQ    CX, (AX)
    MOVQ    "".c+40(SP), CX
    MOVQ    CX, 8(AX)
    PCDATA  $0, $-2
    CMPL    runtime.writeBarrier(SB), $0
    JNE     foo_pc101
    MOVQ    AX, "".globalBob(SB)
 foo_pc83:
    PCDATA  $0, $-1
    MOVQ    (AX), AX
    MOVQ    AX, "".~r2+48(SP)
    MOVQ    16(SP), BP
    ADDQ    $24, SP
    RET

如您所见，它调用 newobject。

这些反汇编列表由 https://godbolt.org/ 生成，适用于 amd64 上的 go 1.16

内存是在堆栈上分配还是“转义”到堆上完全取决于您如何使用内存，而不是关于如何声明变量。

如果您在 c 语言中返回一个指向堆栈分配变量的指针，则当您尝试使用该指针时，该值将无效。这在 go 中是不可能的，因为你无法明确告诉 go 在哪里放置变量。它在选择正确的位置方面做得非常好，如果它发现对内存 blob 的引用可能位于堆栈帧之外，它将确保分配发生在堆上。 p>

这行代码不能说“总是”指向堆栈，但有时可能，所以是的，它可能分配内存（在堆上）。

再说一次，这不是关于那行代码，而是关于它后面的内容。如果返回 bob 的值（person 对象的地址），则无法在堆栈上分配它，因为返回的地址将指向回收的内存。

到这里，我们也就讲完了《Go内存管理——新对象、指针和逃逸分析》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！