zoukankan      html  css  js  c++  java
  • 空struct的问题

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

    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)
        }
    
    ...
    }

    这个解释就清楚了,在mallocgc里做下调试就会发现空struct的size==0。

    那么问题来了,为什么我们栈上就不可以这样,借助SSA

    GOSSAFUNC=main go build main.go

    这块涉及编译优化,不了解可以当个扫盲

    把优化关了试试

    go run -gcflags="-N -l" main.go
    

    0xc0000c9e4e 0xc0000c9e4e true
    &{} &{} true

    其实对编译不了解也可以完全看懂,甚至可以学到一些小技巧,稍微总结一下

    首先,内存逃逸应该要想到,然后基本的命令需要懂得

    然后在看ssa的opt部分,即使你不懂编译,不懂源码也可以看到一些细节,比如没有逃逸的zerobase,我们就可以跟到源码看一下了,然后,一切都明白了。

    补上四爷的著名文章之经典观点,哈哈。

    https://mp.weixin.qq.com/s/PFAQOa1rYAl4YcSmGmEnQQ

    https://github.com/golang/go/issues/8618

    https://github.com/golang/go/issues/31317

    一个没有高级趣味的人。 email:hushui502@gmail.com
  • 相关阅读:
    Python装饰器
    Python导模块问题
    selenium定位元素提示‘元素不可见’问题解决方法
    Python导入模块Import和from+Import区别
    关于iframe切换的问题
    Python+selenium 模拟wap端页面操作
    使用Pytesseract+TesseractOCR识别图片的简单步骤
    通过cookie绕过验证码登录
    oo第三次作业——项目的问题与反思
    Java_第二次作业:项目构思与实现
  • 原文地址:https://www.cnblogs.com/CherryTab/p/12815353.html
Copyright © 2011-2022 走看看