go语言中的内存逃逸和C语言对比

我们首先来稍微了解一下内存,在c/c++中,内存分成5个区,他们分别是堆、栈、自由存储区、全局/静态存储区和常量存储区。
栈:就是那些由编译器在需要的时候分配,在不需要的时候自动清楚的变量的存储区。里面的变量通常是局部变量、函数参数等。
堆:就是那些由new分配的内存块,他们的释放编译器不去管,由我们的应用程序去控制,一般一个new就要对应一个delete。如果程序员没有释放掉,那么在程序结束后,操作系统会自动回收。
自由存储区:就是那些由malloc等分配的内存块,他和堆是十分相似的,不过它是用free来结束自己的生命的。
全局存储区(静态存储区):全局变量和静态变量的存储是放在一块的,初始化的全局变量和静态变量在一块区域, 未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。程序结束后有系统释放。
常量存储区:这是一块比较特殊的存储区,他们里面存放的是常量,不允许修改。
我们先来看一小段代码

char* Getstring(){
    char str[20]="hello world";//这是在栈区声明一个变量
    return str;
}

在这里我们就是用了函数Getstring函数,在函数里面声明一个变量str来保存字符串”hello world”,在这种情况下,这个变量就是声明在了内存的栈区当中,等函数调用结束后它返回的是一个栈区的内存,而当函数调用结束后这块内存就没有实际意义,那是因为栈区当函数嗲用后就会释放,所以在c/c++中这样返回是没有实际意义的,那如果需要返回有意义那就需要程序员手动去堆区分配一个内存来储存,如下面的代码

char* Getstring(){
    char* str=malloc(15);//在堆区手动分配内存来储存字符
    strcpy(str,"hello world");//把常量区的字符串"hello world"拷贝到堆区内存中去
    return str;//这里返回的是堆区内存地址
}

这样我们就可以正确拿到了字符串,(手动分配后要记得free()来释放)
我们可以来看一下图就可以稍微明确的了解堆区和栈区
这里写图片描述
这张图讲解了堆区和栈区
这就是在C语言中需要注意的,而在go语言中存在着一个内存逃逸的问题,意思就是go语言会自动识别我们下面来看一张图可以更加直观的理解到go语言内存逃逸
这里写图片描述
这张图就讲解的比较详细了,这张图来自《go语言圣经》当中第2章里面的变量讲解,意思就是在go语言当中,如果你在函数里面声明的变量外面还有在用这个变量的时候,那么go语言就会自动把分配到堆区上而不是分配在栈区上,而如果在函数里面你new出一个空间,如果外面没有地方再需要这个变量那么go语言就会把你直接分配到栈区里面,而不是分配到堆区,这就是go语言中的内存逃逸问题,需要注意。

猜你喜欢

转载自blog.csdn.net/sgsgy5/article/details/81976795