校对:xiaobai22
目录
栈和堆的区别
栈
堆
栈和堆的优缺点
栈
堆
例子
什么时候使用堆
关联文章
到目前为止,我们已经知道如何声明基础变量类型,例如:int
,double
等以及复杂类型例如:数组和结构体。在C语言中,我们使用和其他语言诸如MATLAB,Python相同的语法声明它们,并把这些变量推到栈里。
什么是栈?这是计算机内存的特定区域,它存储每个函数创建的临时变量(包括main()
函数)。栈使用“LIFO”数据结构,由CPU管理和优化。每当函数声明一个新变量,它就会被推入栈。当函数退出时,所有被该函数推入栈的变量会被释放(这代表,它们已经被删除)。一旦栈的变量释放,此内存区可以被其他栈变量使用。
使用栈保存变量的优点:CPU帮你管理内存。你不需要手动分配和释放。更重要的是,CPU可以高效的组织内存,读写栈变量会非常快。
理解栈的关键 :当函数退出时,它推入栈的所有变量会被弹出(永远丢失)。栈变量本质是局部的。这涉及到我们之前了解的 变量作用域 或 局部和全局变量。在C语言编程通常会遇到此类BUG:从函数外部企图读取函数内部的变量(在函数退出之后)。
栈另一个需要注意的特征是:保存在栈的变量是有大小限制的。堆的情况却不一样。
栈的总结:
栈的增长和缩容发生在函数推入和弹出局部变量时
不需要你自己管理内存,变量会自动分配和释放
栈有大小限制
栈变量仅存在于创建它们的函数运行的时候
堆是计算机的内存区,它不会帮你自动管理,也不由CPU管理。堆有更大的空间。你需要使用 C语言内置函数malloc()
和 calloc()
分配内存到堆。当不再使用这块内存时,你负责使用free()
进行释放。如果没做这步,你的程序会发生内存泄露。堆上的内存仍然被占用(不能被其他进程使用)。正如我们在调试中看到的,用 valgrind
工具,帮助检测内存泄漏。
和栈不一样,堆没有大小限制(除了物理内存限制)。堆的读写稍微比较慢,因为必须使用指针访问堆上的内存。我们在后面会讨论指针。
和栈不一样,其他函数和你程序上的任何地方都可以访问堆上创建的变量。堆本质是全局的。
访问非常快
不必显式的分配变量
CPU有效的管理,不会产生内存碎片
仅用于局部变量
有大小限制(不同操作系统有区别)
大小不能被调整
变量可以全局访问
没有内存限制
(相对的)访问速度比较慢
会产生内存碎片
需要你分配和释放
大小可以通过 realloc()
调整
这是一个简短的程序,创建变量到栈。
#include
double multiplyByTwo (double input) {
double twice = input * 2.0;
return twice;
}
int main (int argc, char *argv[])
{
int age = 30;
double salary = 12345.67;
double myList[3] = {1.2, 2.3, 3.4};
printf("double your salary is %.3f\n", multiplyByTwo(salary));
return 0;
}
double your salary is 24691.340
在10,11,12行我们声明了变量:int ,double,长度为3的浮点型数组。main()
进行分配的时候,这3个变量被推到栈。当main()
函数退出(程序停止),这些变量会被弹出栈。同样的,在函数 multiplyByTwo()
有2个 double
型的变量,会被推到栈。multiplyByTwo()
退出,这2个变量会被弹出栈,永远消失。
顺便提一句,有一种方法可以告诉C语言,即使创建函数退出后,仍然可以保留栈变量,就是在声明变量时使用 static
关键字。因此,使用 static
关键字声明的变量类似于全局变量,但只能在创建它的函数中可见。这是一种奇怪的结构,除非在非常特殊的情况下,否则你可能不需要它
这是另一个版本,分配所有变量到堆而不是栈:
#include
#include
double *multiplyByTwo (double *input) {
double *twice = malloc(sizeof(double));
*twice = *input * 2.0;
return twice;
}
int main (int argc, char *argv[])
{
int *age = malloc(sizeof(int));
*age = 30;
double *salary = malloc(sizeof(double));
*salary = 12345.67;
double *myList = malloc(3 * sizeof(double));
myList[0] = 1.2;
myList[1] = 2.3;
myList[2] = 3.4;
double *twiceSalary = multiplyByTwo(salary);
printf("double your salary is %.3f\n", *twiceSalary);
free(age);
free(salary);
free(myList);
free(twiceSalary);
return 0;
}
正如你所看到的,使用 malloc()
分配内存到堆和使用 free()
释放,这不是大问题,但有点麻烦。另外一个需要注意的是到处都是星符号。它们是什么?答案是,它们是指针。malloc()
处理指针,而不是真实的值。我们后面会更详细讨论指针。指针在C语言是一种特殊的数据类型,它保存地址在内存而不是真实的值。因此在上面第5行,2个变量都不是 double
, 但它们是指向浮点型的指针。变量double 保存了一个地址在内存。
什么时候使用堆?什么时候使用栈?如果你要分配一块大内存和你需要保留这个变变量很长时间,那么你就要分配它们到堆。如果你处理的是相对小的变量,只需要存活在函数使用期间,那么你可以使用栈,它更容易更快。如果你需要可以动态改变大小的变量例如:数据和结构体,那你需要分配它们到堆,用动态内存分配函数 mallco() calloc() realloc()
和 free()
手动管理内存。我们会讨论动态分配数据结构在讨论完指针后。