C语言中的编译时分配内存

1.栈区(stack) --编译器自动分配释放,主要存放函数的参数值,局部变量值等;

2.堆区(heap) --由程序员分配释放;

3.全局区或静态区 --存放全局变量和静态变量;程序结束时由系统释放,分为全局初始化区和全局未初始化区;

4.字符常量区 --常量字符串放与此,程序结束时由系统释放;

5.程序代码区--存放函数体的二进制代码

例: //main.c

int a=0; //全局初始化区

char *p1; //全局未初始化区

void main()

{

int b; //栈

char s[]="bb"; //s在栈,"bb"在常量区

char *p2; //栈

char *p3="123"; //其中,“123/0”常量区,p3在栈区

static int c=0; //全局区

p1=(char*)malloc(10); //10个字节区域在堆区

strcpy(p1,"123"); //"123/0"在常量区,编译器 可能 会优化为和p3的指向同一块区域

一个C程序占用的内存可分为以下几类:

(一) 栈

这是由编译器自动分配和释放的区域。主要存储函数的参数,函数的局部变量等。当一个函数开始执行时,该函数所需的实参,局部变量就推入栈中,该函数执行完毕后,之前进入栈中的参数和变量等也都出栈被释放掉。它的运行方式类似于数据结构中的栈。

(二) 堆

这是由程序员控制分配和释放的区域,在C里,用malloc()函数分配的空间就存在于堆上。在堆上分配的空间不像栈一样在某个函数执行完毕就自动释放,而是一直存在于整个程序的运行期间。当然,如果你不手动释放(free()函数)这些空间,在程序运行结束后系统也会将之自动释放。对于小程序来说可能感觉不到影响的存在,但对于大程序,例如一个大型游戏,就会遇到内存不够用的问题了

(三) 全局区

C里的全局变量和静态变量存储在全局区。它们有点像堆上的空间,也是持续存在于程序的整个运行期间,但不同的是,他们是由编译器自己控制分配和释放的。

(四) 文字常量区

例如char *c = “123456”;则”123456”为文字常量,存放于文字常量区。也由编译器控制分配和释放。

(五) 程序代码区

存放函数体的二进制代码。

2. 例子(一)

int a = 0; //全局区

void main()

{

int b; //栈

char s[] = "abc"; //s在栈,"abc"在文字常量区

char *p1,*p2; //栈

char *p3 = "123456"; //"123456"在常量区,p3在栈上

static int c =0; //全局区

p1 = (char *)malloc(10); //p1在栈,分配的10字节在堆

p2 = (char *)malloc(20); //p2在栈,分配的20字节在堆

strcpy(p1, "123456"); //"123456"放在常量区

//编译器可能将它与p3所指向的"123456"优化成一个地方。

}

3. 例子(二)

//返回char型指针

char *f()

{

//s数组存放于栈上

char s[4] = {‘1‘,‘2‘,‘3‘,‘0‘};

return s; //返回s数组的地址,但函数运行完s数组就被释放了

}

void main()

{

char *s;

s = f();

printf ("%s", s); //打印出来乱码。因为s所指向地址已经没有数据

}

还有就是函数调用时会在栈上有一系列的保留现场及传递参数的操作。

栈的空间大小有限定,vc的缺省是2M。栈不够用的情况一般是程序中分配了大量数组和递归函数层次太深。有一点必须知道,当一个函数调用完返回后它会释放该函数中所有的栈空间。栈是由编译器自动管理的,不用你操心。

堆是动态分配内存的,并且你可以分配使用很大的内存。但是用不好会产生内存泄漏。并且频繁地malloc和free会产生内存碎片(有点类似磁盘碎片),因为C分配动态内存时是寻找匹配的内存的。而用栈则不会产生碎片,在栈上存取数据比通过指针在堆上存取数据快些。一般大家说的堆栈和栈是一样的,就是栈(stack),而说堆时才是堆heap.栈是先入后出的,一般是由高地址向低地址生长。

堆(heap)和栈(stack)是C/C++编程不可避免会碰到的两个基本概念。首先,这两个概念都可以在讲数据结构的书中找到,他们都是基本的数据结构,虽然栈更为简单一些。在具体的C/C++编程框架中,这两个概念并不是并行的。对底层机器代码的研究可以揭示,栈是机器系统提供的数据结构,而堆则是C/C++函数库提供的。具体地说,现代计算机(串行执行机制),都直接在代码底层支持栈的数据结构。这体现在,有专门的寄存器指向栈所在的地址,有专门的机器指令完成数据入栈出栈的操作。种机制的特点是效率高,支持的数据有限,一般是整数,指针,浮点数等系统直接支持的数据类型,并不直接支持其他的数据结构。因为栈的这种特点,对栈的使用在程序中是非常频繁的。对子程序的调用就是直接利用栈完成的。机器的call指令里隐含了把返回地址推入栈,然后跳转至子程序地址的操作,而子程序中的ret指令则隐含从堆栈中弹出返回地址并跳转之的操作。C/C++中的自动变量是直接利栈的例子,这也就是为什么当函数返回时,该函数的自动变量自动失效的原因。

和栈不同,堆的数据结构并不是由系统(无论是机器系统还是操作系统)支持的,而是由函数库提供的。基本的malloc/realloc/free函数维护了一套内部的堆数据结构。当程序使用这些函数去获得新的内存空间时,这套函数首先试图从内部堆中寻找可用的内存空间,如果没有可以使用的内存空间,则试图利用系统调用来动态增加程序数据段的内存大小,新分配得到的空间首先被组织进内部堆中去,然后再以适当的形式返回给调用者。当程序释放分配的内存空间时,这片内存空间被返回内部堆结构中,可能会被适当的处理(比如和其他空闲空间合并成更大的空闲空间),以更适合下一次内存分配申请。这套复杂的分配机制实际上相当于一个内存分配的缓冲池(Cache),使用这套机制有如下若干原因:

1. 系统调用可能不支持任意大小的内存分配。有些系统的系统调用只支持固定大小及其倍数的内存请求(按页分配);这样的话对于大量的小内存分类来说会造成浪费。

2. 系统调用申请内存可能是代价昂贵的。系统调用可能涉及用户态和核心态的转换。

3. 没有管理的内存分配在大量复杂内存的分配释放操作下很容易造成内存碎片

堆和栈的对比

从以上知识可知,栈是系统提供的功能,特点是快速高效,缺点是有限制,数据不灵活;而堆是函数库提供的功能,特点是灵活方便,数据适应面广泛,但是效率有一定降低。栈是系统数据结构,对于进程/线程是唯一的;堆是函数库内部数据结构,不一定唯一。不同堆分配的内存无法互相操作。栈空间分静态分配和动态分配两种。静态分配是编译器完成的,比如自动变量(auto)的分配。动态分配由alloca函数完成。栈的动态分配无需释放(是自动的),也就没有释放函数。为可移植的程序起见,栈的动态分配操作是不被鼓励的!堆空间的分配总是动态的,虽然程序结束时所有的数据空间都会被释放回系统,但是精确的申请内存/释放内存匹配是良好程序的基本要素。

时间: 2024-10-07 06:00:36

C语言中的编译时分配内存的相关文章

D语言超强的编译时检测技术,强类型技术

D语言引入了static if , static assert , template , is 等一些语句,使得D语言可以使用编译时执行逻辑处理,同时也能进行编译时测试,这使得编译器在编译时就可以对自定义的类,结构,参数进行动态检测,这样让定义的东西有了强类型功能,牛B之作. import std.stdio; import std.range; int main(string[] argv) { int[] a = [0,1,2]; int[] b = [4,5,6]; auto c = ch

一起talk C栗子吧(第一百三十三回:C语言实例--创建进程时的内存细节)

各位看官们,大家好,上一回中咱们说的是从内存角度看进程和线程的例子,这一回咱们说的例子是:创建进程时的内存细节.闲话休提,言归正转.让我们一起talk C栗子吧! 看官们,我们都知道使用fork函数可以创建一个新的进程,今天我们一起说一下使用该函数创建进程时内存的一些细节问题.我们介绍的的重点还是内存布局中的四个分区. 1.在父进程中使用fork时,会创建一个新的进程,我们叫它子进程,子进程有自己的内存空间: 2.子进程的内存空间中没有代码区,子进程和父进程共享代码区: 3.子进程的内存空间中拥

java中的编译时常量与运行时常量

常量是程序运行期间恒定不变的量,许多程序设计语言都有某种方式,向编译器告知一块数据是恒定不变的,例如C++中的const和Java中的final. 根据编译器的不同行为,常量又分为编译时常量和运行时常量,其实编译时常量肯定就是运行时常量,只是编译时常量在编译的时候就被执行计算,并带入到程序中一切可能用到它的计算式中. 以Java为例,static final int a = 1将是一个编译时常量,编译后的符号表中将找不到a,所有对a的引用都被替换成了1. 而static final int b

一起talk C栗子吧(第一百三十四回:C语言实例--创建线程时的内存细节)

各位看官们,大家好,上一回中咱们说的是"创建进程时的内存细节"的例子,这一回咱们说的例子是:创建线程时的内存细节.闲话休提,言归正转.让我们一起talk C栗子吧! 看官们,我们在前面章回中介绍过创建线程的例子,创建线程时使用的函数是pthread_create.今天我们一起说一下使用该函数创建线程时内存的一些细节问题.我们介绍的的重点还是内存布局中的四个分区.这点和前一回中介绍创建进程时内存细节的思路相同. 1.在主线程中使用pthread_create函数可以创建一个新线程,我们叫

ABS(Android Build System)中在编译时生成源代码文件

编译时经常有的需求是有些.c或者.h文件需要在编译时由某个接口定义文件生成.同时还可能有下面的需求: * 同一个接口定义文件会用于产生多个源文件. * 生成的源文件可能会被其它的Project使用. 举例来说,现在需要从接口定义文件xxx.xml通过可执行文件generator生成源文件xxx_A.h,xxx_B.h和xxx_C.c.命令为: generator A < xxx.xml > xxx_A.h generator B < xxx.xml > xxx_B.h genera

自制编程语言crowbar(v0.1)构建解析器时分配内存

crowbar中第一次申请内存是在生成解析器的时候: /* interface.c */CRB_Interpreter *CRB_create_interpreter(void) { MEM_Storage storage; CRB_Interpreter *interpreter; storage = MEM_open_storage(0); interpreter = MEM_storage_malloc(storage, sizeof(struct CRB_Interpreter_tag)

&#160;C语言中让人头痛的指针和内存

指针:也是变量,存放变量的地址. 指针是变量的一个间接,变量是内存的一个间接. 虚拟内存中地址总线确定了你能访问的内存空间. 32位cpu最大的虚拟内存: 2^32 = 4 GB 所以32位的XP使用8G内存并没有什么用. 指针存放的变量地址是一个十六进制的数据表示的一组数据,而并非实际的内存中的内容. int *pMyInt;   pmyint 表示存放的地址,是一块内存地址.     int 表示这块地址里面存放的数据类型   *表示指针变量 指针变量= 指针.描述方便.指针变量所存放的地址

oracle DBA反映ODA中的虚拟机无法分配内存

调查最终原因是由于oracle数据库本身参数设置的问题. 1. 怎么给虚拟机调整内存和cpu:oakcli configure vm   uat-ihub-oracle-db    -prefnode 1     -maxvcpu 8 –vcpu 8   -maxmemory 16G  -memory 16G 2. 添加磁盘:       oakcli create vdisk    uatdb_vdisk -repo sharedrepo -size 50G -type shared     

c语言中的类型转换(有关内存中的形态)

需要理解的是,对一个变量进行类型转换,并不是修改这个变量的类型,而是创建了这个变量的拷贝,原本的数据类型是不变的,参与运算的是拷贝后的变量. 1.对于隐式转换(即计算机自己完成的类型转换) 对于两个变量x,y之间的运算,若他们的类型相同,则计算结果类型相同,若两者类型不同,则表达式的类型与综合性最高的部分相同.综合性排名如下(由低到高) char short int long long long float double long double 对于赋值时的转换 注意:赋值时是等号右边的类型向等