动态内存管理函数
1. void* malloc(size_t size)
- 在堆区开辟size个字节大小的空间。
1.开辟成功,返回空间的起始地址。
2.开辟失败,返回NULL。
2.void* calloc(size_t nums, size_t size)
- 在堆区开辟nums个,大小为size字节的空间。
- 该函数在开辟后会同时初始化空间,将其初始化为0
1.开辟成功,返回空间的起始地址。
2.开辟失败,返回NULL。
3.void* realloc(void* ptr, size_t size)
- 扩展原来的堆区空间,size是扩展后的空间大小,ptr是扩展前的指针变量。
- ptr = NULL,则该函数与malloc函数功能相同。
1.开辟成功
(1)空间足够,则返回原空间的地址。
(2)空间不足,但其余地方空间足够,则将会在其他空间足够的地方开辟新的空间,同时将原空间的值复制,在释放原空间,返回新空间地址。
2.开辟失败,返回NULL。
4.void* free(void* ptr)
- 释放指针ptr指向的在堆区开辟的空间,释放栈区空间是未定义的。
- 空间释放后,ptr指针不会被置空,需要手动置空,否则导致野指针。
函数使用的注意事项
1.对空指针进行解引用操作
void test1()
{
int* p = (int*)malloc(INT_MAX / 4);
*p = 20;//如果p的值是NULL,就会有问题
free(p);
}
错误原因:没有判断空间是否开辟成功。
2.越界访问
void test2()
{
int i = 0;
int* p = (int*)malloc(10 * sizeof(int));
if (NULL == p)
{
exit(-1);
}
for (i = 0; i <= 10; i++)
{
*(p + i) = i;//当i是10的时候越界访问
}
free(p);
}
错误原因:越界非法访问内存。
3.关于free函数的常见错误
(1) 对非动态开辟内存free
void test3()
{
int a = 10;
int* p = &a;
free(p);//ok?
// 程序崩溃
}
错误原因:不能对非动态开辟的空间释放。
(2) 释放动态开辟内存的一部分
void test4()
{
int* p = (int*)malloc(100);
p++;
free(p);//p不再指向动态内存的起始位置
}
(3) 内存泄漏
void test5()
{
int* p = (int*)malloc(100);
if (NULL != p)
{
*p = 20;
}
}
// - 内存泄漏
错误原因:没有释放开辟的内存,导致内存泄漏。
柔性数组
在动态开辟的结构体中,结构体成员数大于1,且最后一个成员为一个不规定大小的数组,则该数组就是柔性数组
struct Arr
{
int i;
int arr[];//柔性数组
};
柔性数组具有一些性质
1.柔性数组不会影响整个结构体的大小。
2.柔性数组的空间是不固定的。
同时,要注意在初始化该结构体时,所开辟的空间大小要大于结构体的大小,才能保证其有预期的效果。
柔性数组在作用上与以下代码相同
struct Arr
{
int i;
int* arr;
};
但柔性数组相比上一段代码,具有以下优势
1.不用多次动态开辟空间,一次开辟就能达到我们所期望的效果,同时在free空间时,也不会因为忘记free arr指针而导致内存泄漏。
2.柔性数组不存在结构体内存对齐,空间更小。
同时柔性数组的缺点很明显
柔性数组是在C99标准下允许的,所以跨平台性差,在以后的工作中最好还是不要使用柔性数组为好。