主页 / 问题 / 1293252
Accepted
nakem
Asked:2022-06-09 03:50:57 +0800 CST2022-06-09 03:50:57 +0800 CST

golang中的内存设备

  • 772

我读到 Golang 以一种智能的方式管理内存。也就是说，使用逃逸分析，Go 在调用时可能不会分配内存new，反之亦然。这样的问题，golang能不能用这样的记录分配内存var bob *Person = &Person{2, 3}。还是指针总是指向栈

golang

1 个回答

  1. Best Answer

    你的问题的答案是“任何事情都会发生”。

    这是具有两种使用对象的方法的代码。在函数中，main对象是本地的，在f创建的对象中，它被返回。

    package main

type Person struct {
        A int
        B int
}

func f() *Person {
        var bob *Person = &Person{4, 5}
        return bob
}

func main() {
        var bob *Person = &Person{2, 3}
        println(bob)
        bob = f()
        println(bob)
}

    要查看里面发生了什么，我建议将此文件翻译成汇编程序：GOOS=linux GOARCH=amd64 go tool compile -S some.go

    bob内部分配f：

        0x001d 00029 (some.go:9)    LEAQ    type."".Person(SB), AX
    0x0024 00036 (some.go:9)    MOVQ    AX, (SP)
    0x0028 00040 (some.go:9)    PCDATA  $1, $0
    0x0028 00040 (some.go:9)    CALL    runtime.newobject(SB)
    0x002d 00045 (some.go:9)    MOVQ    8(SP), AX
    0x0032 00050 (some.go:9)    MOVQ    $4, (AX)
    0x0039 00057 (some.go:9)    MOVQ    $5, 8(AX)

    一个指向 Person 类型描述符的指针被加载到堆栈上并调用该函数runtime.newobject。然后，在函数返回的地址，字段被初始化。也就是说，对象分配在内存中的某处，而不是堆栈上。

    bob内部分配main：

            0x0021 00033 (some.go:14)       XORPS   X0, X0
        0x0024 00036 (some.go:14)       MOVUPS  X0, ""..autotmp_4+24(SP)
        0x0029 00041 (some.go:14)       MOVQ    $2, ""..autotmp_4+24(SP)
        0x0032 00050 (some.go:14)       MOVQ    $3, ""..autotmp_4+32(SP)

    如您所见，在这种情况下bob 被放置在 stack 上。

    这就是你问题的答案，对吧？在堆栈上创建一个临时对象，而在内存中分配一个非本地对象。

    但它实际上更有趣。

    f编译器优化函数nafig。编译器不是调用，而是在堆栈上f创建一个结构。Person{4,5}

        0x005e 00094 (some.go:9)    XORPS   X0, X0
    0x0061 00097 (some.go:9)    MOVUPS  X0, ""..autotmp_6+8(SP)
    0x0066 00102 (some.go:9)    MOVQ    $4, ""..autotmp_6+8(SP)
    0x006f 00111 (some.go:9)    MOVQ    $5, ""..autotmp_6+16(SP)

    所以如果我是你，我不会试图准确预测 Go 放置对象的位置。

    • 3

相关问题