空struct的问题

时间：2020-05-02 00:01:12 阅读：73 评论：0 收藏：0 [点我收藏+]

标签：color 技巧 class type iss ack object 编译优化 cache

学习自曹大，实操一遍记录

package main

import "fmt"

func main() {
    a := new(struct{})
    b := new(struct{})
    println(a, b, a == b)

    c := new(struct{})
    d := new(struct{})
    fmt.Println(c, d, c == d)
}

0xc00007ff47 0xc00007ff47 false
&{} &{} true

这个结果为何不一样，我看完的假设是内存逃逸导致的，但是为何会逃逸我也不清楚，这应该和编译器有关。看了曹大的解释猜想对了，但是曹大同时也做出了解释，但并不是规律性的解释，因为官方也是给的may or may not的解释~~

首先分析内存逃逸了

go run -gcflags="-m" main.go

# command-line-arguments
.\main.go:6:10: new(struct {}) does not escape
.\main.go:7:10: new(struct {}) does not escape
.\main.go:10:10: new(struct {}) escapes to heap
.\main.go:11:10: new(struct {}) escapes to heap
.\main.go:12:13: ... argument does not escape
.\main.go:12:22: c == d escapes to heap

很清晰了，但是为什么逃逸到堆上的就相等了

// base address for all 0-byte allocations
var zerobase uintptr

// Allocate an object of size bytes.
// Small objects are allocated from the per-P cache‘s free lists.
// Large objects (> 32 kB) are allocated straight from the heap.
func mallocgc(size uintptr, typ *_type, needzero bool) unsafe.Pointer {
    if gcphase == _GCmarktermination {
        throw("mallocgc called with gcphase == _GCmarktermination")
    }

    if size == 0 {
        return unsafe.Pointer(&zerobase)
    }

...
}