Record05—内存四区及案例（全局区，堆区，栈区）深刻理解

最新推荐文章于 2020-03-20 18:31:09 发布

恋蛩音

最新推荐文章于 2020-03-20 18:31:09 发布

阅读量186

点赞数

分类专栏： C语言指针

本文链接：https://blog.csdn.net/qq_17846375/article/details/103644041

版权

C语言指针专栏收录该内容

27 篇文章 0 订阅

订阅专栏

写在前面：该篇针对C编译器进行记录，至于是否适用于C++编译器，日后考证

内存四区的建立流程

step1, 操作系统把物理硬盘代码load到内存

step2, 操作系统把c代码分成四个区

step3, 操作系统找到main函数入口执行

举个例子：

int a;   //对应step1，相当于代码向编译器要求分配内存
a = 10;  //对应step3, 相当于在cpu里面执行

其中，栈区，是一个局部变量区，用来存放临时变量。模型是先进后出形式，比如我在主函数main中创建int变量a，b，那么这两个变量对应的开辟的内存空间就是在栈区的，当主函数main结束后，这两个变量也被析构掉了，析构的顺序和创建的顺序是相反的，这是栈模型的结构“先进后出”所决定的。；堆区，是由程序员人工来释放的；全局区（静态区及常量区）；代码区，用来存放代码。

全局区案例理解

先设置两个函数，

char * getStr1()
{
	char *p1 = "abcdefg2";
	return p1;
}
char *getStr2()
{
	char *p2 = "abcdefg2";
	return p2;
}

再在主函数里调用，问：在第二个"printf"处,p1和p2的值是相等还是不相等？

补：%d表示其输出格式为十进制有符号整数。

%s表示其输出格式为字符串。

void main55()
{
	char *p1 = NULL;
	char *p2 = NULL;
	p1 = getStr1();
	p2 = getStr2();

	//打印p1 p2 所指向内存空间的数据
	printf("p1:%s , p2:%s \n", p1, p2);

	//打印p1 p2 的值
	printf("p1:%d , p2:%d \n", p1, p2);

	printf("hello...\n");
	system("pause");
	return ;
}

先上运行结果：

本人猜想的是这两个变量放在内存空间中的值是一样的，这没问题，可为什么这两个变量的值也是一样的呢？明明是两个变量，那他们对应的应该是不同的内存首地址啊！不该一样的啊！

但实际运行出的结果表明正确答案是，p1和p2是相等的。这是为什么呢？

首先，要明白的一点就是，内存四区中栈区和全局区分别存放的东西是什么，刚才已经说了，但以我自己的理解就是，栈区存放的是命名值，全局区存放的是对应的内容，还是以这个例子为说明，当创建一个变量p1，那么这个栈区会根据这个变量p1的数据类型，在栈区给它开辟一块儿地方来存放，这个变量。但栈区有个特点，自动的进行析构，当这个变量对应的函数结束的时候，这个变量对应的内存空间也将被擦去。同理，当向创建的这个变量p1给其赋值时，char *p1 = "abcdefg2"，对应的值 "abcdefg2"并不会放到栈区，而是放到了全局区去了，全局区也会自动的进行析构，但和栈区不同的是，全局区析构是在整个程序结束后才进行，并不会因那个函数结束了而开始。说明白了这点，整个过程就好叙述多了。

按照main函数执行的顺序，先在栈区开辟了两个变量为p1,p2的内存空间。

	char *p1 = NULL;
	char *p2 = NULL;

接着，进入了getStr1和getStr2两个函数当中。

在getStr1中，

	char *p1 = "abcdefg2";

又在栈区开辟了一个变量p1的内存空间，注意，这个变量p1和之前在主函数运行阶段开的变量p2没有毛线关系。这是第三次在栈区开新的区域了。并且，进行了赋值操作，赋的值“abcdefg2”并不会存在栈区，而是，存放在了全局区，而他们中间的"="等号，就是将这两个放在不同区的两个内存空间建立了一种联系，通过调用变量p1的内存空间可以找到对应放在全局区的“abcdefg2”。这种关系就是图上画的那个箭头。再接着往下，是return p1，这一句，相当于是将在main函数下创建的变量p1也向全局区的“abcdefg2”画了一个箭头。

	return p1;

再之后，getStr1函数结束，那么在getStr1函数里面，创建的变量p1，是要被擦除的，而且，变量p1和全局区里的“abcdefg2”所画的箭头也是要被擦除的，这样就只剩下主main函数中创建的变量p1和全局区里的“abcdefg2”所画的那个箭头存在了。

同理getStr2函数也是如此。这就是为什么p1和p2的值是一样的。那这儿还有一个问题，getStr1函数中在全局区所创建的内存空间数据和getStr2函数中在全局区所创建的内存空间数据是存放在同一个位置吗？这个例子是巧合，他们的内存空间内容是一样的，如果内存空间内容不一样呢？

这就要说到C编译器的代码优化功能了，在新的内存空间数据要放入全局区的时候，编译器会比对新的内存空间数据和全局区已有的内存空间数据是否一样，如果一样，那就只保留一份，让栈区调用这个内存空间数据的内存空间都指向这个；如果不一样，那就老老实实的再在全局区开辟一块儿新的地方来存放新的内存空间数据了。

下面是示意图的解释：

堆案例理解

补充：malloc函数是一种分配长度为num_bytes字节的内存块的函数，可以向系统申请分配指定size个字节的内存空间。malloc的全称是memory allocation，中文叫动态内存分配，当无法知道内存具体位置的时候，想要绑定真正的内存空间，就需要用到动态的分配内存。strcpy(dest, src)——使用C语言 strcpy() 函数将字符串 src 复制到 dest。

同样，也是先设置一个子函数：

char *getMem(int num)
{
	char *p1 = NULL;
	p1 = (char *)malloc(sizeof(char) * num);
	if (p1 == NULL)
	{
		return NULL;
	}
	return p1;
}

在进行主函数调用：

void main61()
{
	char *tmp = NULL;
	tmp = getMem(10);
	if (tmp == NULL)
	{
		return ;
	}
	strcpy(tmp, "111222"); //向tmp做指向的内存空间中copy数据

	printf("hello..tmp:%s.\n", tmp);
	system("pause");
	return ;
}

运行结果如下：

整个过程和上面的针对全局区的过程是一样的，唯一不同的地方在于，通过malloc函数所占用的内存空间是在堆区的（因为堆区分配的是动态内存相关的空间），放在堆区的内容所占用的内存空间无法自动的析构，需要程序员手动的给进行析构。除此之外，和存放在全局区的没有区别。

栈案例理解

还是一样，先设置一个子函数，再在主函数里面调用

//栈
//注意 return不是把内存块 64个字节,给return出来,而是把内存块的首地址(内存的标号0xaa11) ,返回给 tmp

// 理解指针的关键,是内存. 没有内存哪里的指针 

//
char *getMem2()
{
	char buf[64]; //临时变量 栈区存放
	strcpy(buf, "123456789");
	//printf("buf:%s\n", buf);
	return buf;
}

void main61()
{
	char *tmp = NULL;
	tmp = getMem2();
	printf("hello..tmp:%s.\n", tmp);
	system("pause");
	return ;
}

这个地方就需要好好说道说道了，还是先问一个问题，"printf"会输出什么？运行结果入下：

正确答案是什么都没有输出，这是为什么呢？这是因为，我们在子函数中:

	char buf[64]; //临时变量 栈区存放

所创建的这个变量buf是直接在栈区创建的，相当于直接要求在栈区给划分出64个单位的内存空间，这个内存空间的"门牌号"称为buf。那么当在子函数中，这个内存空间会被划分出来，紧接着:

	strcpy(buf, "123456789");

把值赋给了所创建的内存空间中，这整个过程，都是只在栈区进行的。因为strcpy函数只管拷贝，不管在那个区。再接着：

	return buf;

将buf返回出去，注意的是，变量buf，是表示的这个（一段连续）内存空间的别名（而变量只是一个门牌号），return 将其返回到main函数对应的tmp变量中。对应到main函数中，是下面这条语句，这个语句非常重要，重要就重要在，其中的，“=”等号，将返回出的变量buf表示的那段连续内存空间的首地址关联到了变量tmp上（注意：return不是把内存块 64个字节,给return出来,而是把内存块的首地址(内存的标号0xaa11) ,返回给 tmp），以后，可以通过变量tmp来找到变量buf对应的这段内存空间的首地址，进而访问这段内存空间保存的内容。

理解指针的关键,是内存. 没有内存哪里的指针！

	tmp = getMem2();

但是，在这个案例中，是不可能的，因为子函数getMem2运行结束，所包含的所有内容都被析构了，之前所创建的变量buf的所有内容都被擦出。而tem再按着返回出的首地址去访问的时候，当然就什么都没有了！

需要在强调的是：这就是为什么强调用指针的缘故，在这个案例中，是编译器给面子，如果开辟的64个单位的大小，超过了编译器栈区所能开的大小，那编译过程立马就崩溃了。如图表示如下

C语言既可以在堆区开内存空间也可以在栈区开内存空间，作为程序员应该清楚的知道我们的内存空间去向何方，来自何处！不站在内存去留的角度去理解指针，是不可能理解透彻的。

完整代码

dm05_静态存储区理解.c

#define  _CRT_SECURE_NO_WARNINGS 
#include <stdlib.h>
#include <string.h>
#include <stdio.h>

char * getStr1()
{
	char *p1 = "abcdefg2";
	return p1;
}
char *getStr2()
{
	char *p2 = "abcdefg2";
	return p2;
}

void main55()
{
	char *p1 = NULL;
	char *p2 = NULL;
	p1 = getStr1();
	p2 = getStr2();

	//打印p1 p2 所指向内存空间的数据
	printf("p1:%s , p2:%s \n", p1, p2);

	//打印p1 p2 的值
	printf("p1:%d , p2:%d \n", p1, p2);

	printf("hello...\n");
	system("pause");
	return ;
}

dm06_堆栈区的理解.c



#define  _CRT_SECURE_NO_WARNINGS 
#include <stdlib.h>
#include <string.h>
#include <stdio.h>

//堆
char *getMem(int num)
{
	char *p1 = NULL;
	p1 = (char *)malloc(sizeof(char) * num);
	if (p1 == NULL)
	{
		return NULL;
	}
	return p1;
}

//栈
//注意 return不是把内存块 64个字节,给return出来,而是把内存块的首地址(内存的标号0xaa11) ,返回给 tmp

// 理解指针的关键,是内存. 没有内存哪里的指针 

//
char *getMem2()
{
	char buf[64]; //临时变量 栈区存放
	strcpy(buf, "123456789");
	//printf("buf:%s\n", buf);
	return buf;
}

void main61()
{
	char *tmp = NULL;
	tmp = getMem(10);
	if (tmp == NULL)
	{
		return ;
	}
	strcpy(tmp, "111222"); //向tmp做指向的内存空间中copy数据

	//tmp = getMem2();
	tmp = 0xaa11;

	printf("hello..tmp:%s.\n", tmp);
	system("pause");
	return ;
}

小贴士：

通过这个可以自定义的设定模板。。。