程序三种获取内存的方法,栈&堆&段

  • 程序运行需要内存来存储一些临时变量
内存管理是由操作系统完成的
  1. 内存本身在物理上是一个硬件器件。
  2. 内存是由操作系统统一管理,程序根据自己的情况来选择某种方式获取内存(在操作系统处登记这块内存的临时使用权限)、使用内存,释放内存(向操作系统归还这块内存的使用权限)
栈的详解
  1. 运行时自动分配&回收;栈是自动管理的,程序员不需要手工干预
  2. 反复使用:栈内存在程序中其实就是那一块空间,程序反复使用这一块空间
  3. 脏内存:栈内存由于反复使用,每次使用后程序不会去清理,因此分配到时还保留原来的值。
  4. 临时性(函数不能返回栈变量的指针,因为这个空间是临时的)
  5. 栈会溢出:因为操作系统事先给定了栈的大小,如果在函数中无穷尽的分配栈内存总能用完。
堆内存从哪里来
  1. 操作系统堆管理器管理:堆管理器是操作系统的一个模块,堆管理内存分配灵活,按需分配。
  2. 大块内存:堆内存管理着总量很大的操作系统内存块,各进程可以按需申请使用,使用完释放。
  3. 程序手动申请&释放:手工意思是需要写代码去申请malloc和释放free
  4. 脏内存:堆内存也是反复使用,而且用完之后也不会清除
  5. 临时性:堆内存只在malloc和free之间属于我这个进程,而可以访问。在malloc之前和free之后都不能再访问,否则会有不可预料的后果。
  6. void * 是指针类型, malloc返回的是一个void * 类型的指针,实质上malloc返回的是堆管理器分配给我本次申请的那段内存空间的首地址(malloc返回的值其实是一个数字,这个数字表示一个内存地址)。
    1. 为什么要用void *作为类型。主要原因是malloc帮我们分配内存时只是分配了内存空间,至于这段空间将来用来存储什么类型的元素malloc时不关心的,由我们程序自己决定。
    2. 什么是void类型,不表示没有类型,而表示万能类型。void的意思是这个数据的类型当前是不确定的,在需要的时候可以再去指定具体类型。void * 类型是一个指针类型,但是指针指向的类型当前是不确定的,换句话说这个指针在需要的时候可以被强制转化成其他任何一种确定类型的指针,也就是说这个指针可以指向任何类型的元素。
  7. malloc的返回值:成功申请空间后返回这个额内存空间的指针,申请失败返回NULL。所以malloc获取的内存指针使用前一定要先检验是否为NULL。
  8. malloc申请的内存使用完后要free释放。free§;会告诉堆管理器这段内存我用完了你可以回收了,堆管理器回收这段内存之后这段内存当前进程就不应该再使用了。因为释放后就可能将这段内存再次分配给别的进程,所以你不能再使用了。
  9. 在调用free归还这段内存之前,指向这段内存的指针p一定不能丢(也就是不能给p另外赋值)。因为p一旦丢失这段malloc来的内存就永远的丢失了(内存泄漏),直到当前程序结束时操作系统才会回收这段内存。
  • malloc(0) 时实际分配了16Byte的一段内存
  • malloc(4) gcc中malloc默认是以16B的大小分配单位的。如果malloc小于16B的大小时都会返回一个16字节的大小的内存。malloc实现时没有实现任意字节的分配而是允许一些大小的块内存的分配

代码段、数据段、bss段

  1. 编译器在编译程序的时候,将程序中的所有元素分成了一些组成部分,各部分构成一个段,所以说段是可执行程序的组成部分
  2. 代码段:代码段就是程序中可执行部分,直观理解就是由函数组成的
  3. 数据段(数据区、静态数据区、静态区):数据段就是程序中的数据,直观理解就是C语言程序中的全局变量。(注意:全局变量才算是程序的数据,局部变量不算程序的数据,只能算是函数的数据)
  4. bss段(又叫ZIA(zero initial)段): bss段的特点就是被初始化为0,bss段本质上也属于数据段,bss段就是被初始化为0的数据段。
  • 注意区分:数据段(.data)和bss段的区别和联系:二者本来没有本质区别,都是用来存放c程序中的全局变量的。区别在于把显示初始化为非零的全局变量存在.data段中,而把显示初始化为0或者并未显示初始化(C语言规定未显示初始化的全局变量值默认为0)的全局变量存在bss段。
有些特殊数据会被放到代码段
  1. C语言中使用char *p="linux"定义字符串时,字符串"linux"实际被分配在代码段,也就是说这个 “linux” 字符串实际上是一个常量字符串而不是变量字符串。
  2. const型常量:C语言中const关键字来定义常量,常量就是不能被改变的量。const的实现方法至少有两种,第一种就是编译器将const修饰的变量放到代码段去以实现不能修改(普遍见于各种单片机编译器);第二种就是由编译器来检查以确保const型的常量不会被修改,实际上const型的常量还是和普通变量一样放在数据段的(gcc中就是这样实现的)。
显式初始化为非零的全局变量和静态局部变量放在数据段
  • 放在.data段的变量有两种:第一种是显式初始化为非零的全局变量。第二种是静态局部变量,也就是static修饰的局部变量。(普通变量分配在栈上,静态局部变量分配在.data段)
未初始化或显式初始化为0的全局变量放在bss段
  • bss段和.data段并没有本质区别,几乎可以不用明确去区分这两种。
总结:C语言中所有变量和常量所使用的内存无非以上三种情况
  1. 相同点:三种获取内存的方法,都可以给程序员提供可用内存,都可以用来定义变量给程序用
  2. 不同点:
    • 栈内存对应c中的普通局部变量(别的变量还用不了栈,而且栈是自动的,由编译器和运行时环境共同来提供服务的,程序员无法手动控制);
    • 堆内存完全是独立于我们的程序存在和管理的,程序需要内存时可以去手工申请malloc,使用完之后要尽快free释放。数据段对于程序来说对应程序里的全局变量和静态局部变量。
  • 如果我需要一段内存来存储数据,我究竟应该把这个数据存储在哪里?(或者说我要定义一个变量,我究竟应该定义为局部变量还是全局变量还是用malloc实现)
    • 函数内部临时使用,出了函数不会用到,就定义局部变量
    • 堆内存和数据段几乎拥有完全相同的属性,大部分时候时可以完全替换的,但是生命周期不一样。堆内存的生命周期是从malloc----free,而全局变量实际从整个程序一开始执行就开始,直到整个程序结束才会消失,伴随程序运行的一生。启示:如果你这个变量只是在程序的一个阶段使用,用完就不用了,就适合用堆内存;如果这个变量贯穿整个程序,那就适合使用全局变量。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值