碎片学习

注意我们此处谈到的堆和栈是对操作系统中的，这个和数据结构中的堆和栈还是又一定区别的。 栈 可以简单得理解成一次函数调用内部申请到的内存，它们会随着函数的返回把内存还给系统。 类似于上面代码里面的temp变量，只是内函数内部申请的临时变量，并不会作为返回值返回，它就是被编译器申请到栈里面。 再来看看堆得情况之一如下代码： 而上面这段代码，申请的代码一模一样，但是申请后作为返回值返回了，编译器会认为变量之后还会被使用，当函数返回之后并不会将其内存归还，那么它就会被申请到 堆 上面了。 我们再看看如下几个例子： 所谓逃逸分析（Escape analysis）是指由编译器决定内存分配的位置，不需要程序员指定。 在函数中申请一个新的对象： 注意，对于函数外部没有引用的对象，也有可能放到堆中，比如内存过大超过栈的存储能力。 Go可以返回局部变量指针，这其实是一个典型的变量逃逸案例，示例代码如下： 虽然 在函数 StudentRegister() 内部 s 为局部变量，其值通过函数返回值返回，s 本身为一指针，其指向的内存地址不会是栈而是堆，这就是典型的逃逸案例。 终端运行命令查看逃逸分析日志： 可见在StudentRegister()函数中，也即代码第9行显示"escapes to heap"，代表该行内存分配发生了逃逸现象。 上面代码Slice()函数中分配了一个1000个长度的切片，是否逃逸取决于栈空间是否足够大。 直接查看编译提示，如下： 所以只是1000的长度还不足以发生逃逸现象。然后就x10倍吧 分析如下： 当切片长度扩大到10000时就会逃逸。 实际上当栈空间不足以存放当前对象时或无法判断当前切片长度时会将对象分配到堆中。 很多函数参数为interface类型，比如fmt.Println(a ...interface{})，编译期间很难确定其参数的具体类型，也能产生逃逸。 如下代码所示： 逃逸分下如下： D:\SourceCode\GoExpert\src>go build -gcflags=-m # _/D_/SourceCode/GoExpert/src .\main.go:7: s escapes to heap .\main.go:7: main ...