目录
前言:
一、为什么存在动态内存分配
二、动态内存函数的介绍
(一)malloc和free
(二)calloc
(三)realloc
三、常见的动态内存错误
(一)对NULL指针的解引用操作
(二)对动态开辟空间的越界访问
(三)对非动态开辟内存使用free释放
(四)使用free释放一块动态开辟内存的一部分
(五)对同一块动态内存多次释放
(六)动态开辟内存忘记释放(内存泄露)
四、经典笔试题详解
题目1:
题目2:
题目3:
题目4:
五、C/C++程序的内存开辟
六、柔性数组
(一)柔性数组的概念
(二)柔性数组的特点
(三)柔性数组的使用
(四)柔性数组的优势
本篇主要围绕动态内存的开辟方法,容易出现的错误比如内存泄露、未检查动态内存函数返回值、free后指针未置空造成野指针,C/C++程序内存区域划分以及柔性数组进行讲解,本篇文章干货满满,感兴趣的读者可以三连加关注
我们之前掌握的内存开辟方法有两个特点:
- 空间开辟大小是固定的。
- 数组在申明的时候,必须指定数组的长度,它所需要的内存在编译时分配。
但是对于空间的需求,不仅仅是上述的情况。有时候我们需要的空间大小在程序运行的时候才能知道, 那数组的编译时开辟空间的方式就不能满足了。 这时候引入动态内存开辟方法。
动态内存函数的头文件为stdlib.h。
void* malloc(size_t size);
这个函数向内存申请一块连续可用的空间,并返回指向这块空间的指针。
返回值检查的方式:
int main()
{
int arr[10];
int* p = (int*)malloc(40);
if (p == NULL)
{
perror("malloc");//见博主主页字符串(一)
return 0;
}
return 0;
}
free是专门用来做动态内存的释放和回收的。
动态申请的内存空间,当程序不退出时,动态申请的内存不会主动释放,需要free释放。
void free(void* ptr);
注:free函数是用来释放动态开辟的内存的。
我们来看一看malloc和free的用法:
#include
int main()
{
//代码1
int num = 0;
scanf("%d", &num);
int arr[num] = { 0 };
//代码2
int* ptr = NULL;
ptr = (int*)malloc(num * sizeof(int));
if (NULL != ptr)//检查malloc的返回值
{
int i = 0;
for (i = 0; i < num; i++)
{
*(ptr + i) = 0;
}
}
free(ptr);//释放ptr所指向的动态内存
ptr = NULL;//是否有必要?
return 0;
}
我看来看一看代码中提出的问题,是否要将释放后的指针置空,其实这非常重要,因为free后,ptr指向的动态内存就被归还给操作系统了,此时ptr就是一个野指针。
养成好习惯,free后置空。
void* calloc (size_t num, size_t size);
realloc是最应该学习的动态内存开辟函数。
void* realloc(void* ptr, size_t size);
realloc在调整内存空间时会出现两种情况:
我们来看一看realloc是如何使用的,并且文章前言提到的内存泄露是什么:
int main()
{
int* ptr = (int*)malloc(100);
if (ptr != NULL)//检查malloc返回值
{
//业务处理
}
else
{
exit(EXIT_FAILURE);
}
//扩展容量
//代码1
ptr = (int*)realloc(ptr, 1000);//这样可以吗?(如果申请失败会如何?)
//代码2
int* p = NULL;
p = realloc(ptr, 1000);
if (p != NULL)
{
ptr = p;
}
//业务处理
free(ptr);
ptr = NULL; //free后置空,养成好习惯
p = NULL;
return 0;
}
我们来分析一下这段代码。
首先代码1就会造成内存泄露:
如果申请失败,realloc返回NULL,此时ptr也被赋为空指针,这样一来不仅扩容失败,原来的动态内存空间也找不到了,注意这块找不到的内存空间还未释放,这种情况就叫做内存泄露,即该块动态内存用不上也找不到。
正确方式应为代码2,申请成功的情况下才将p赋给ptr,这样处理可以有效防止内存泄露。
void test()
{
int* p = (int*)malloc(INT_MAX / 4);
*p = 20;//如果p的值是NULL,就会有问题(返回值未检查)
free(p);
}
void test()
{
int i = 0;
int* p = (int*)malloc(10 * sizeof(int));
if (NULL == p)
{
exit(EXIT_FAILURE);
}
for (i = 0; i <= 10; i++)
{
*(p + i) = i;//当i是10的时候越界访问
}
free(p);
}
void test()
{
int a = 10;
int* p = &a;
free(p);//err
}
void test()
{
int* p = (int*)malloc(100);
p++;
free(p);//p不再指向动态内存的起始位置
}
void test()
{
int* p = (int*)malloc(100);
free(p);
free(p);//重复释放
}
void test()
{
int* p = (int*)malloc(100);
if (NULL != p)
{
*p = 20;
}
}
int main()
{
test();
while (1);
}
上面代码中p是局部变量,在该代码中作用域为函数内部,出函数就销毁了,但是malloc开辟的动态内存并未销毁。
动态申请的内存空间只有两种方式销毁:1.free、2.程序结束(退出)
void GetMemory(char* p)
{
p = (char*)malloc(100);
}
void Test(void)
{
char* str = NULL;
GetMemory(str);
strcpy(str, "hello world");
printf(str);
}
答案:程序错误
分析:就算动态内存开辟成功,str始终为空指针,strcpy函数内部会对空指针进行解引用操作(*dest=*src),造成程序错误,另外就是会造成内存泄露。如果想要对此函数进行改进,应将参数部分改为&arr,比如:
void GetMemory(char** p)
{
*p = (char*)malloc(100);
}
void Test(void)
{
char* str = NULL;
GetMemory(&str);
strcpy(str, "hello world");
printf(str);
//释放
free(str);
str=NULL;
}
char* GetMemory(void)
{
char p[] = "hello world";
return p;
}
void Test(void)
{
char* str = NULL;
str = GetMemory();
printf(str);
}
答案:程序错误
分析:hello world为局部变量,出函数销毁,那么p返回的是野指针,造成非法访问,这种问题属于返回栈空间地址(局部变量)的问题。可以改进为:
char* GetMemory(void)
{
static char p[] = "hello world";//存储到静态区,出函数不销毁
return p;
}
void Test(void)
{
char* str = NULL;
str = GetMemory();
printf(str);
}
void GetMemory(char** p, int num)
{
*p = (char*)malloc(num);
}
void Test(void)
{
char* str = NULL;
GetMemory(&str, 100);
strcpy(str, "hello");
printf(str);
}
答案:程序错误
分析:未释放动态内存空间。 最后需要free(str);str=NULL。
void Test(void)
{
char* str = (char*)malloc(100);
strcpy(str, "hello");
free(str);
if (str != NULL)
{
strcpy(str, "world");
printf(str);
}
}
答案:程序错误
分析:非法访问内存,str已被指向的动态内存已被释放,所以要养成释放后置空的习惯。比如:
void Test(void)
{
char* str = (char*)malloc(100);
strcpy(str, "hello");
free(str);
str = NULL;
if (str != NULL)
{
strcpy(str, "world");
printf(str);
}
}
C/C++程序内存分配的几个区域:
有了这幅图,我们就可以更好的理解在《C语言初识》中讲的static关键字修饰局部变量的例子了。
实际上普通的局部变量是在栈区分配空间的,栈区的特点是在上面创建的变量出了作用域就销毁。 但是被static修饰的变量存放在数据段(静态区),数据段的特点是在上面创建的变量,直到程序 结束才销毁,所以生命周期变长。
C99 中,结构中的最后一个元素允许是未知大小的数组,这就叫做『柔性数组』成员。
比如:
typedef struct st_type
{
int i;
int a[0];//柔性数组成员
}type_a;
或者可以改成:
typedef struct st_type
{
int i;
int a[];//柔性数组成员
}type_a;
比如:
//code1
typedef struct st_type
{
int i;
int a[0];//柔性数组成员
}type_a;
printf("%d\n", sizeof(type_a));//输出4
//代码1
int i = 0;
type_a* p = (type_a*)malloc(sizeof(type_a) + 100 * sizeof(int));
//业务处理
p->i = 100;
for (i = 0; i < 100; i++)
{
p->a[i] = i;
}
free(p);
p = NULL;
这样柔性数组成员a,相当于获得了100个整型元素的连续空间。
上述的 type_a 结构也可以设计为非柔性数组的方式,让我们看看他们的区别:
//代码2
typedef struct st_type
{
int i;
int* p_a;
}type_a;
type_a* p = (type_a*)malloc(sizeof(type_a));
p->i = 100;
p->p_a = (int*)malloc(p->i * sizeof(int));
//业务处理
for (i = 0; i < 100; i++)
{
p->p_a[i] = i;
}
//释放空间
free(p->p_a);//先于p之前释放,否则就找不到p_a了
p->p_a = NULL;
free(p);
p = NULL;
上述代码1和代码2可以完成同样的功能,但是方法1的实现有两个好处:
有关动态内存分配的内容就到这里,博主会持续更新C语言的相关内容,关注博主不迷路