目录
一.为什么要有动态内存管理
开辟空间的方式有俩种特点:
1. 空间开辟大小是固定的。
2. 数组在申明的时候,必须指定数组的长度,它所需要的内存在编译时分配。 自由申请内存分配。
二. 动态内存函数的介绍
头文件#include<stdlib.h>
1.malloc和free
1.1malloc
void* malloc (size_t size);
例如:申请了40个字节,用来存放10个整型 (以下俩种形式都可以进行)
int*p=(int*)malloc(40)
int*p=(int*)malloc(sizeof(int)*10)
这个函数向内存申请一块连续可用的空间,并返回指向这块空间的指针。
- 如果开辟成功,则返回一个指向开辟好空间的指针。
- 如果开辟失败,则返回一个NULL指针,因此malloc的返回值一定要做检查。strerror(errno)
- 返回值的类型是 void* ,所以malloc函数并不知道开辟空间的类型,具体在使用的时候使用者自己来决定。
- 如果参数 size 为0,malloc的行为是标准是未定义的,取决于编译器。
错误信息报告(请进入更加了解perror和strerror)
大部分用perror,如果开辟失败,那么就会在前面显示malloc fail,就可以清晰得知道自己什么错误了。
C语言提供了另外一个函数free,专门是用来做动态内存的释放和回收的,函数原型如下:
1.2 free
void free (void* ptr);//free掉的是起始位置的地址
如果参数 ptr 指向的空间不是动态开辟的,那free函数的行为是未定义的。
如果参数 ptr 是NULL指针,则函数什么事都不做。
1.3释放+置空
只释放未置空
只释放并没有给指针p置空,还保留了它的地址
释放且置空
如果不把ptr置为空,ptr就成为了野指针,所以要把ptr也置为空.还给操作系统
2.calloc
void* calloc (size_t num, size_t size);
//num表示开辟几个元素,一个元素有多大
开辟一个num个size空间的元素
- 函数的功能是为 num 个大小为 size 的元素开辟一块空间,并且把空间的每个字节初始化为0。
- 与函数 malloc 的区别只在于 calloc 会在返回地址之前把申请的空间的每个字节初始化为全0
#include <stdio.h>
#include <stdlib.h>
int main()
{
int* ptr = (int*)calloc(10, sizeof(int));
if (ptr == NULL)
{
perror("calloc");
exit(-1);
}
free(ptr);
ptr == NULL;
return 0;
}
calloc会在返回起始地址之前,把在堆区申请的动态内存空间的每个字节都初始化为0
2.1calloc与malloc的区别
一.参数的使用方式不同
malloc(单位:字节):malloc(10 * sizeof(int));或malloc(40)
calloc:calloc(10 , sizeof(int))
二.malloc的使用效率较高,因为calloc在返回在堆区申请的那块动态内存的起始地址之前,会将每个字节都初始化为0,而malloc没有初始化,会直接返回起始地址
3.realloc
有时候申请内存小或者大了,就用到realloc重新申请空间
void* realloc (void*ptr, size_t size);
ptr 是要调整的内存地址
size 调整之后新大小
返回值为调整之后的内存起始位置
这个函数调整原内存空间大小的基础上,还会将原来内存中的数据移动到 新 的空间。
3.1原地扩容和异地扩容
realloc在调整内存空间的是存在两种情况:
- 原有空间之后有足够大的空间
要扩展内存就直接原有内存之后直接追加空间,原来空间的数据不发生变化。- 原有空间之后没有足够大的空间
扩展的方法是:在堆空间上另找一个合适大小的连续空间来使用。这样函数返回的是一个新的内存地址,之前的空间里的内容拷贝到新空间(如情况2异地扩容,把原有空间free掉。
int main()
{
int* p = (int*)malloc(5 * sizeof(int));
if (NULL == p)
{
perror("malloc");
return 1;
}
//使用
int i = 0;
for (int i = 0; i < 5; i++)
{
*(p + i) = i;
}
//不够了,增容5个整型空间
int* ptr = (int*)realloc(p, 10 * sizeof(int));
if (ptr != NULL)
{
p = ptr;
}
//继续使用空间
for (int i = 0; i < 10; i++)
{
printf("%d ", *(p + i));
}
//释放空间
free(p);
p = NULL;
return 0;
}
如果realloc在原先NULL指针中开辟40个字节,相当于malloc开辟了40个字节
注意点1:
在malloc,realloc,calloc函数前面加一个强制类型转换的原因是:malloc/calloc/realloc开辟的空间并没有指定用来存储什么类型的数据,其返回的指针是void*类型的,必须要强制类型转换成某个确定类型的指针。在这里,接收malloc函数返回值的是p,p是int*类型的指针,所以把malloc函数返回的指针转化成int*类型。calloc和realloc也类似.注意点2
在结尾处有free(p); 的操作,free也是内存函数,只不过它的作用是把动态开辟的内存释放,在这段代码就是把p指向的空间(20个字节)还给操作系统,这样就成为了随机值。与此同时,这块空间还给了操作系统,那么我们就失去了对这块空间的使用权限,再访问这块空间就是非法访问,但是这时候p指针并没有什么改变,所以p指针依然可以指向这块空间,为了避免非法访问,所以把p置为NULL。
三. 常见的动态内存错误
1. 对NULL指针的解引用操作
assert只是给你判断是否是空指针并且告诉你是在哪一行出错,但是不会告诉你是什么原因报错,真正告诉你错的原因是perror("")和strerror(errno),个人更喜欢用perror
#include <stdio.h>
#include <stdlib.h>
int main()
{
int* ptr = NULL;
*ptr = 20;
return 0;
}
ptr实际上是空指针,如果你解引用,会造成程序崩溃
2.对动态开辟空间的越界访问
int main()
{
int* ptr = (int*)malloc(sizeof(int)*1);
if (ptr == NULL)
{
perror("malloc");
exit(-1);
}
for (int i = 0; i <3; i++)//越界
{
*(ptr + i) = i;
}
free(ptr);
ptr == NULL;
return 0;
}
3.对非动态开辟内存使用free释放
a是局部遍历,不是在堆区开辟的空间,而是在栈中开辟的
int a = 10;
int* p = &a;
free(p);
p == NULL;
return 0;
4.使用free释放一块动态开辟内存的一部分
int main()
{
int* p = (int*)malloc(100);
p++;
free(p);//p不再指向动态内存的起始位置
p = NULL;
}
p++导致了地址向往后移了一位,不再是指向了起始地址了,所以开辟多少就得释放多少
5.对同一块动态内存多次释放
#include <stdio.h>
#include <stdlib.h>
int main()
{
int* ptr = (int*)malloc(4);
if (ptr == NULL)
{
perror("malloc");
exit(-1);
}
free(ptr);
free(ptr);
ptr =NULL;
return 0;
}
给p释放了俩次,free没有将p置为空,相当于给一块空间释放了俩次,所以导致了错误
//使用。。。
//释放
free(ptr);
ptr=NULL;
free(ptr);
给p置为空就可以俩次释放.
6.动态开辟内存忘记释放(内存泄漏)
#include <stdio.h>
#include <stdlib.h>
int main()
{
int* ptr = (int*)malloc(4);
if (ptr == NULL)
{
perror("malloc");
exit(-1);
}
return 0;
}
忘记释放不再使用的动态开辟的空间会造成内存泄漏。
切记:动态开辟的空间一定要释放,并且正确释放 。
四. C/C++程序的内存开辟
1.栈区(stack):在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结
束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中,效率很高,但是
分配的内存容量有限。 栈区主要存放运行函数而分配的局部变量、函数参数、返回数据、返
回地址等。临时变量
2. 堆区(heap):一般由程序员分配释放free, 若程序员不释放,程序结束时可能由OS回收 。分
配方式类似于链表。
3. 数据段(静态区)(static)存放全局变量、静态数据。程序结束后由系统释放。
4. 代码段:存放函数体(类成员函数和全局函数)的二进制代码。
1.实际上普通的局部变量是在栈区分配空间的
栈区的特点:在上面创建的变量出了作用域就销毁。
2.但是被static修饰的变量存放在数据段(静态区),数据段的特点是在上面创建的变量,直到程序结束才销毁,所以生命周期变长
如果你停止,就是谷底,如果你继续,就是上坡