1.动态内存经典笔试题分析
1.1 题⽬1:
void GetMemory(char *p)
{
p = (char *)malloc(100);
}
void Test(void)
{
char *str = NULL;
GetMemory(str);
strcpy(str, "hello world");
printf(str);
}
int main()
{
text();
return 0;
}
请问运⾏Test?函数会有什么样的结果?
我们运行程序,程序崩掉了,那问题出在什么地方呢?
我通过画图来为大家解释
我们从main函数开始往下走,走到text()
首先 char* str =null;
创建一个指针变量str 存放空指针
然后我们顺着程序创建了一个p,p中有str的地址
malloc开辟了100个字节的空间,放在了p里面。
按照程序的执行过程,当我们的程序走出text时,那么p将不再起作用,出了p的函数域。但是malloc开辟的这段空间还是存在的,那么就会出现这样一个问题,当p丢失之后我们没办法再找到malloc开辟的空间了。
strcpy(str, "hello world");
把hello world 放入str中空指针中 那么这里就会出现问题。
但其实还有一个问题就是内存泄漏:malloc开辟的空间没法找到,所以无法释放。
那是否可以修改成可以执行的代码呢?
答案是可以,下面只展示结果不展示过程
1.2 题⽬2:
char *GetMemory(void)
{
char p[] = "hello world";
return p;
}
void Test(void)
{
char *str = NULL;
str = GetMemory();
printf(str);
}
int main()
{
test()
return 0;
}
请问运⾏Test?函数会有什么样的结果?
和题目一相似我们先执行程序
在这里我们先把p给大家说清楚 p是局部变量,在进入栈区的时候创建,出栈就销毁了。
(如果不明白可以翻阅我之前的博客:C语言函数栈帧的创建和销毁)。
p由于出了它的函数域,虽然srt指向的是p这块空间,但是p已经不存在了,那么此时的str就是野指针。 我们可以理解为str指向的空间不属于自己,可能已经属于别人了。 这里存在的问题就是非法访问的问题。
1.3 题⽬3:
void GetMemory(char **p, int num)
{
*p = (char *)malloc(num);
}
void Test(void)
{
char *str = NULL;
GetMemory(&str, 100);
strcpy(str, "hello");
printf(str);
}
int main()
{
text()
return 0;
}
我们仔细观察这段代码,实没有问题的唯一的问题就是malloc开辟的空间没有得到释放。
1.4 题⽬4:
void Test(void)
{
char *str = (char *) malloc(100);
strcpy(str, "hello");
free(str);
if(str != NULL)
{
strcpy(str, "world");
printf(str);
}
}
int main()
{
Test();
return 0;
}
free(str); 我们虽然是释放开辟的malloc的空间,但是str指向的还是malloc的地址。
很明显这是个非法访问,当我们释放了malloc后,str就成为了野指针。
2. 柔性数组
也许你从来没有听说过柔性数组(flexible?array)这个概念,但是它确实是存在的。
C99中,结构中的最后⼀个元素允许是未知⼤⼩的数组,这就叫做『柔性数组』成员。
例如:
typedef struct st_type
{
int i;
int a[0]; //柔性数组成员
}type_a;
有些编译器会报错⽆法编译可以改成:
typedef struct st_type
{
int i;
int a[]; //柔性数组成员
}type_a;
2.1 柔性数组的特点:
• 结构中的柔性数组成员前⾯必须⾄少⼀个其他成员。
• sizeof 返回的这种结构⼤⼩不包括柔性数组的内存。
• 包含柔性数组成员的结构⽤malloc()函数进⾏内存的动态分配,并且分配的内存应该⼤于结构的⼤⼩,以适应柔性数组的预期⼤⼩。
例如:
typedef struct st_type
{
int i;
int a[0]; //柔性数组成员
}type_a;
int main()
{
printf("%d\n", sizeof(type_a)); //输出的是4
return 0;
}
2.2 柔性数组的使⽤
/代码1
#include <stdio.h>
#include <stdlib.h>
int main()
{
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);
return 0;
}
这样柔性数组成员a,相当于获得了100个整型元素的连续空间。
2.3 柔性数组的优势
上述的 type_a 结构也可以设计为下⾯的结构,也能完成同样的效果。
上述 代码1 和 代码2 可以完成同样的功能,但是 ⽅法1 的实现有两个好处:
第⼀个好处是:⽅便内存释放
如果我们的代码是在⼀个给别⼈⽤的函数中,你在⾥⾯做了⼆次内存分配,并把整个结构体返回给⽤⼾。⽤⼾调⽤free可以释放结构体,但是⽤⼾并不知道这个结构体内的成员也需要free,所以你不能指望⽤⼾来发现这个事。所以,如果我们把结构体的内存以及其成员要的内存⼀次性分配好了,并返回给⽤⼾⼀个结构体指针,⽤⼾做⼀次free就可以把所有的内存也给释放掉。
第⼆个好处是:这样有利于访问速度.
连续的内存有益于提⾼访问速度,也有益于减少内存碎⽚。(其实,我个⼈觉得也没多⾼了,反你
跑不了要⽤做偏移量的加法来寻址。
扩展阅读:
C语言结构体里的成员数组和指针 | 酷 壳 - CoolShell
3. 总结C/C++中程序内存区域划分
C/C++程序内存分配的⼏个区域:
1. 栈区(stack):在执⾏函数时,函数内局部变量的存储单元都可以在栈上创建,函数执⾏结束时这些存储单元⾃动被释放。栈内存分配运算内置于处理器的指令集中,效率很⾼,但是分配的内
存容量有限。栈区主要存放运⾏函数⽽分配的局部变量、函数参数、返回数据、返回地址等。
2. 堆区(heap):⼀般由程序员分配释放,?若程序员不释放,程序结束时可能由OS回收。分配⽅式类似于链表。
3. 数据段(静态区)(static)存放全局变量、静态数据。程序结束后由系统释放。
4. 代码段:存放函数体(类成员函数和全局函数)的⼆进制代码 。