1. 为什么存在动态内存分配
int a = 10; //在栈区空间开辟4个字节
char arr[10] = {0}; //在栈区空间开辟10个连续的字节
上面代码开辟内存空间有两个特点:
- 空间开辟的大小是固定的。
- 数组在申明时要指定大小,在编译时分配所需要的空间大小。
对于空间的需求,仅有这些是不够的,有时所需的空间大小要程序运行时才能确定,那么数组编译时开辟的空间就不能满足了,这时就需要动态内存了。
2. 动态内存函数介绍
2.1 malloc
void* malloc (size_t size);
这个函数向内存申请一块连续可用的空间,并返回指向这块空间的指针。
- 函数开辟空间成功不会初始化,而是保留随机值,因为有可能开辟失败,使用时应进行判断,返回一个指向这块空间的指针。
- 函数开辟空间失败,返回一个NULL指针。
- 返回的类型是void*,具体使用要使用者自己决定。
- 参数 size 为0,函数的返回值取决于特定的库实现(它可能是也可能不是 NULL指针)。
#include <stdlib.h>
int main()
{
int* p = (int*)malloc(40);
if (p == NULL)
{
return;
}
int i = 0;
for (i = 0; i < 10; i++)
{
printf("%d\n", *(p + i));
}
free(p);
p = NULL;
return 0;
}
2.2 free
void free (void* ptr);
free函数是专门进行动态内存释放和回收的。
- 如果参数 ptr 指向的空间不是动态开辟的,则会导致未定义的行为。
- 如果为NULL指针,则该函数不执行任何操作。
动态内存是在堆上开辟的,当程序退出时,申请的内存还给操作系统,程序不退出,申请的动态内存不会主动释放,需要使用free函数释放,空间被释放后指向这块空间的指针也应被置为空指针。
2.3 calloc
void* calloc (size_t num, size_t size);
- 函数为 num 个 size 大小的元素开辟空间,并且把空间每个字节初始化为0。
- calloc 和 malloc 区别在于calloc返回时会把申请的空间全部初始化为0。
int main()
{
int* p = (int*)calloc(10, 4);
if (p == NULL)
{
return;
}
int i = 0;
for (i = 0; i < 10; i++)
{
printf("%d\n", *(p + i));
}
free(p);
p = NULL;
return 0;
}
2.4 realloc
void* realloc (void* ptr, size_t size);
- 参数 ptr 指向需要调整的内存地址。
- 参数 size 是内存调整后的大小。
- realloc 调整大小时会有一下两种情况:
- 原有空间后续的空间足够大
- 原有空间后续空间不够,返回新的地址。
int main()
{
int* p = (int*)calloc(10, 4);
if (p == NULL)
{
return;
}
p = (int*)realloc(p, 60);
int i = 0;
for (i = 0; i < 15; i++)
{
printf("%d\n", *(p + i));
}
free(p);
p = NULL;
return 0;
}
3. 常见动态内存错误
3.1 对NULL指针的解引用
void test()
{
int* p = (int*)malloc(INT_MAX); //这时malloc是申请不到这块空间的,会返回一个NULL指针
*p = 20; //对NULL指针进行解引用会有问题
}
3.2 对动态开辟空间的越界访问
int main()
{
int* p = (int*)calloc(10, 4);
if (p == NULL)
{
return;
}
int i = 0;
//对动态开辟空间的越界访问
for (i = 0; i <= 10; i++)
{
printf("%d\n", *(p + i));
}
free(p);
p = NULL;
return 0;
}
3.3 对非动态开辟内存使用free释放
void test()
{
int a = 10;
int* p = &a;
free(p);
}
3.4 使用free释放动态开辟内存的一部分
int main()
{
int* p = (int*)calloc(10, 4);
if (p == NULL)
{
return;
}
int i = 0;
for (i = 0; i < 5; i++)
{
*p = i;
printf("%d\n", *p);
p++;
}
//指针位置已被改变,现在释放程序会崩溃
free(p);
p = NULL;
return 0;
}
3.5 对同一块内存多次释放
void test()
{
int* p = (int*)malloc(40);
free(p);
free(p);
}
3.6 动态开辟内存忘记释放(内存泄漏)
void test()
{
int* p = (int*)malloc(100);
if (p == NULL)
return;
*p = 20;
}
int main()
{
test();
//内存泄漏,p存储的是100字节的地址,退出函数p被销毁
//动态内存没被释放,100字节没有还给操作系统,但也找不到了
return 0;
}
4. C/C++程序的内存开辟
C/C++程序内存分配的几个区域:
- 栈区(stack):在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限。栈区主要存放运行函数而分配的局部变量、函数参数、返回数据、返回地址等。
- 堆区(heap):一般由程序员分配释放,若程序员不释放,程序结束时可能由OS回收。分配方式类似于链表。
- 数据段(静态区)(static):存放全局变量、静态变量。程序结束后由系统释放。
- 代码段:存放函数体(类似成员函数和全局函数)的二进制代码。