C语言之栈和堆(Stack && Heap)的优缺点及其使用区别

所属分类: 软件编程 / C 语言 阅读数: 81
收藏 0 赞 0 分享

一、前言

     直到现在,我们已经知道了我们如何声明常量类型,例如int,double,等等,还有复杂的例如数组和结构体等。我们声明他们有各种语言的语法,例如Matlab,Python等等。在C语言中,把这些变量放在栈内存中。

二、基础

     1、栈

          什么是栈,它是你的电脑内存的一个特别区域,它用来存储被每一个function(包括mian()方法)创建的临时变量。栈是FILO,就是先进后出原则的结构体,它密切的被CPU管理和充分利用。每次function声明一个新的变量,它就会被“推”到栈中。然后每次一个function退出时,所有关于这个函数中定义的变量都会被释放(换句话说就是删除)。一旦栈中的变量释放,这块区域就会变成可用的,提供给其他栈中的变量。

     用栈存储变量的好处是,内存是被你管理的。你不用手动的创建内存,不用当你不在需要它的时候手动释放内存。另外,由于CPU组织栈内存很高效。读出和写入栈变量是很快的。

     理解栈的关键是理解概念,当一个function退出时,所有它的变量都会从栈中弹出,以后都会永远消失。因此栈中的变量本质是局部的。这和我们原来理解为变量作用域或者本地或者全局变量是相关的。在C中,一个公共的bug 是从你程序中的一个function外尝试访问一个在栈中的这个function的变量(在该function已经退出后)。
    

关于栈的另一个特点我们应该记住,就是存储再栈中的变量的大小有限制。而堆上创建变量不用考虑。
    

总结栈:
      a、栈的生长和伸缩就是函数压入或者推出局部变量。
      b、我们不用自己去管理内存,变量创建和释放都是自动的。
      c、栈中的变量只有在函数创建运行时存在。
    

2、 堆
         

堆也是我们的计算机内存中的一个区域,但是他不是自动管理的。而且也不是被CPU密切的管理着。它是一片更加自由的内存区域(很大)。要想在堆上创建内存,我们必须使用malloc() 或者calloc(),他们都是C语言编译的。一旦你在堆上分配内存,当你不在需要的时候你必须用free()去销毁。如果你不销毁或者销毁失败,你的程序就会有内存泄露。换句话说就是堆内存会一直在,其他进程无法使用。我们将会再调试部分看到,那里有一个叫做Valgrind的东西,它可以帮助你发现内存泄露。
    

不像栈,堆没有变量大小的限制(除了你电脑的物理限制条件外)。堆内存读出和写入都比较慢,因为它必须使用指针图访问堆内存。我们将会下面讲解指针。
   

3、栈和堆的优缺点
    

栈:
          a、快速访问。
          b、没有必要明确的创建分类变量,因为它是自动管理的。
          c、空间被CPU高效地管理着,内存不会变成碎片。
          d、只有局部变量
          e、受限于栈大小(取决于操作系统)
          f、变量不能调整大小。
        堆:
          a、变量可以被全局访问
          b、没有内存大小限制
          c、(相对)访问比较慢
          d、没有高效地使用空间,随着块内存的创建和销毁,内存可能会变成碎片。
          e、你必须管理内存(变量的创建和销毁你必须要负责)
          f、变量大小可以用realloc( )调整
例如:    
          下面是一个在栈上创建变量的短程序。和我们看到的其他程序类似

 #include <stdio.h>
 double multiplyByTwo (double input) {
 double twice = input * 2.0;
 return twice;
 }
 int main(int argc, const 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
    

在第7,8和9行,我们声明了三个变量:一个int变量、一个double变量和一个包含三个包含double的数组。这三个变量在main()函数创建,被压入栈中。当main()函数退出(程序退出),这些变量就会出栈。同样地,在multiplyByTwo函数中,第二个double变量,也会在multiplyByTwo()函数创建的时候压入栈中。一旦函数退出,第二个变量就会出栈,永远地消失。
    

备注:有一种方法可以告诉C保持一个栈变量。即使它的创建函数退出。那就是用static关键字当声明变量的时候。一个变量用static关键之声明,因此就会变成一个类似与全局变量的东西。但是它仅仅在创建它的函数里面可见。这是一个奇怪的东西,除非你在一个非常特殊的情况下需要。
    

下面是另一个版本的创建变量在堆上而不是在栈上:

#include <stdio.h>
#include <stdlib.h>
 
double *multiplyByTwo (double *input) {
 double *twice = malloc(sizeof(double));
 *twice = *input *2.0;
 return twice;
}
int main(int argc, const 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] = 3.4;
 myList[2] = 4.5;
 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()(calloc()和free())函数处理的是指针而不是真正的数值。我们将会在下边讨论指针。指针在C栈是一个特殊的数据类型,它用来存储内存的地址而不是存储实际的values.因此在

*twice = *input *2.0;


  
这行,twice变量不是一个double,而是一个指向double的指针,是double被存储再内存中的地址。

4、什么时候使用堆
    

       我们应该什么时候使用堆和栈呢?如果我们需要分配一大块内存(例如一个很大的数组或者一个很大的结构体),而且我们需要保持这个变量很长时间(例如全局变量)。我们应该分配堆内存。如果你处理的很小的变量,而且只要再函数使用的时候存活,那么你应该使用栈,它比较方便而且快捷。如果你需要类似与数组或者结构体的变量,而且能够动态改变大小(例如一个数组可以根据需要添加数据或者删除数据),那么你可以用malloc(),realloc()给他们分配堆内存,用free()手动的管理内存。当我们讨论完指针,我们将会讨论动态分配数据结构体。

通过以上对栈和堆的介绍,希望对大家了解和区分栈和堆有所帮助。

更多精彩内容其他人还在看

用标准c++实现string与各种类型之间的转换

这个类在头文件中定义, < sstream>库定义了三种类:istringstream、ostringstream和stringstream,分别用来进行流的输入、输出和输入输出操作。另外,每个类都有一个对应的宽字符集版本
收藏 0 赞 0 分享

C++如何通过ostringstream实现任意类型转string

再使用整型转string的时候感觉有点棘手,因为itoa不是标准C里面的,而且即便是有itoa,其他类型转string不是很方便。后来去网上找了一下,发现有一个好方法
收藏 0 赞 0 分享

C/C++指针小结

要搞清一个指针需要搞清指针的四方面的内容:指针的类型,指针所指向的类型,指针的值或者叫指针所指向的内存区,还有指针本身所占据的内存区
收藏 0 赞 0 分享

C++ 类的静态成员深入解析

在C++中类的静态成员变量和静态成员函数是个容易出错的地方,本文先通过几个例子来总结静态成员变量和成员函数使用规则,再给出一个实例来加深印象
收藏 0 赞 0 分享

C++类的静态成员初始化详细讲解

通常静态数据成员在类声明中声明,在包含类方法的文件中初始化.初始化时使用作用域操作符来指出静态成员所属的类.但如果静态成员是整型或是枚举型const,则可以在类声明中初始化
收藏 0 赞 0 分享

C++类静态成员与类静态成员函数详解

静态成员不可在类体内进行赋值,因为它是被所有该类的对象所共享的。你在一个对象里给它赋值,其他对象里的该成员也会发生变化。为了避免混乱,所以不可在类体内进行赋值
收藏 0 赞 0 分享

C++中的friend友元函数详细解析

友元可以是一个函数,该函数被称为友元函数;友元也可以是一个类,该类被称为友元类。友元函数的特点是能够访问类中的私有成员的非成员函数。友元函数从语法上看,它与普通函数一样,即在定义上和调用上与普通函数一样
收藏 0 赞 0 分享

static全局变量与普通的全局变量的区别详细解析

以下是对static全局变量与普通的全局变量的区别进行了详细的分析介绍,需要的朋友可以过来参考下,希望对大家有所帮助
收藏 0 赞 0 分享

C++ explicit关键字的应用方法详细讲解

C++ explicit关键字用来修饰类的构造函数,表明该构造函数是显式的,既然有"显式"那么必然就有"隐式",那么什么是显示而什么又是隐式的呢?下面就让我们一起来看看这方面的知识吧
收藏 0 赞 0 分享

教你5分钟轻松搞定内存字节对齐

随便google一下,人家就可以跟你解释的,一大堆的道理,我们没怎么多时间,讨论为何要对齐.直入主题,怎么判断内存对齐规则,sizeof的结果怎么来的,请牢记以下3条原则
收藏 0 赞 0 分享
查看更多