• 动态内存管理(2)


    4.经典笔试题

    4.1 题目1:

    1. void GetMemory(char* p)
    2. {
    3. p = (char*)malloc(100);
    4. }
    5. void Test(void)
    6. {
    7. char* str = NULL;
    8. GetMemory(str);
    9. strcpy(str, "hello world");
    10. printf(str);
    11. }

    请问运行Test 函数会有什么样的结果?

    第一个问题:传参的是指针,然后GetMemory函数里面使用malloc开辟了100个字节的空间,并且将这块空间的起始地址赋给了p,p是一个临时变量,出了这个函数就不在了,找不到这块空间了,所以str还是NULL,所以对NULL进行解引用操作了

    第二个问题:这块空间在使用完之后没有进行free释放,就会出现内存泄漏的问题。

    修改:将str的地址作为参数,用二级指针接收,解引用找到str的地址,这样就能为str开辟空间。在使用完之后用free释放再置为空指针就行了。

    1. void GetMemory(char** p)
    2. {
    3. *p = (char*)malloc(100);
    4. }
    5. void Test(void)
    6. {
    7. char* str = NULL;
    8. GetMemory(&str);
    9. strcpy(str, "hello world");
    10. printf(str);
    11. free(str);
    12. str = NULL;
    13. }

    4.2 题目2:

    1. char* GetMemory(void)
    2. {
    3. char p[] = "hello world";
    4. return p;
    5. }
    6. void Test(void)
    7. {
    8. char* str = NULL;
    9. str = GetMemory();
    10. printf(str);
    11. }

    请问运行Test 函数会有什么样的结果?

    p是一个临时变量,出了函数会销毁,返回p的地址给str,地址是返回了,但是里面的内容是不存在了,所以str在打印的时候就是一个野指针了。这就是一个返回栈空间地址的问题。局部变量都是在栈上开辟空间的,出了函数就销毁了,如果返回地址的话,就会变成野指针,这块空间已经不属于p了。

    4.3 题目3:

    1. void GetMemory(char** p, int num)
    2. {
    3. *p = (char*)malloc(num);
    4. }
    5. void Test(void)
    6. {
    7. char* str = NULL;
    8. GetMemory(&str, 100);
    9. strcpy(str, "hello");
    10. printf(str);
    11. }

    请问运行Test 函数会有什么样的结果?

    这代码其实没有很大的问题,唯一的问题就是没有free释放,存在内存泄漏的问题。

    修改:在printf之后进行free释放,然后将str置为NULL。

    4.4 题目4:

    1. void Test(void)
    2. {
    3. char* str = (char*)malloc(100);
    4. strcpy(str, "hello");
    5. free(str);
    6. if (str != NULL)
    7. {
    8. strcpy(str, "world");
    9. printf(str);
    10. }
    11. }

    请问运行Test 函数会有什么样的结果?

    首先是为str开辟100个字节的空间,然后拷贝字符串“hello”,然后进行释放。free只是把这块空间还给了操作系统,但是指针变量还是这个地址,所以if依然为真,但是这个str是野指针了,使用strcpy就出现错误,非法访问内存。


    5. C/C++程序的内存开辟

    局部变量和形式参数在栈区开辟空间,malloc,realloc,calloc是在堆区开辟空间,数据段也就是静态区,,代码段的数据是不能被修改的,否则代码会出现错误,所以常量就放在这块区域。

     C/C++程序内存分配的几个区域:

    1. 栈区(stack):在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限。 栈区主要存放运行函数而分配的局部变量、函数参数、返回数据、返回地址等。
    2. 堆区(heap):一般由程序员分配释放, 若程序员不释放,程序结束时可能由OS回收 。分配方式类似于链表。
    3. 数据段(静态区)(static)存放全局变量、静态数据。程序结束后由系统释放。
    4. 代码段:存放函数体(类成员函数和全局函数)的二进制代码。

    有了这些文字,我们就能更加理解static关键字修饰局部变量的例子了。

    实际上普通的局部变量是在栈区分配空间的,栈区的特点是在上面创建的变量出了作用域就销毁。
    但是被static修饰的变量存放在数据段(静态区),数据段的特点是在上面创建的变量,直到程序结束才销毁
    所以生命周期变长。


    6. 柔性数组

    C99 中,结构中的最后一个元素允许是未知大小的数组,这就叫做『柔性数组』成员。
    例如:

    1. typedef struct st_type
    2. {
    3. int i;
    4. int a[0];//柔性数组成员
    5. }type_a;

    有些编译器会报错无法编译可以改成:

    1. typedef struct st_type
    2. {
    3. int i;
    4. int a[];//柔性数组成员
    5. }type_a;

     6.1 柔性数组的特点:

    结构中的柔性数组成员前面必须至少一个其他成员。
    sizeof 返回的这种结构大小不包括柔性数组的内存。
    包含柔性数组成员的结构用malloc ()函数进行内存的动态分配,并且分配的内存应该大于结构的大小,以适应柔性数组的预期大小。

     例如:

    按照正常来说c占1个字节,i占4个字节,然后按照结构体内存对齐要浪费掉3个字节,就相当于以及占用了8个字节,所以这个结构体的大小至少是8.那么答案是多少呢?

    1. struct S
    2. {
    3. char c;//1
    4. //浪费3个字节
    5. int i;//4
    6. int arr[];
    7. };
    8. int main()
    9. {
    10. printf("%d\n", sizeof(struct S));
    11. return 0;
    12. }

    答案就是8,这就是柔性数组的特点,sizeof 返回的这种结构大小不包括柔性数组的内存

    在拥有柔性数组这个成员的结构体在开辟内存空间的时候要额外开辟空间,用以适应柔性数组的大小。比如下面这个代码使用malloc开辟空间就在后面加了20个字节,这20个字节就是为柔性数组arr预留的,通过arr访问时就是访问后面这20个字节。当使用realloc增加空间时,就是在这20个字节后面增加,也就是给arr增加的空间。但是柔性数组必须在结构体中,且使用malloc开辟空间才能有效果。

    1. struct S
    2. {
    3. char c;//1
    4. //浪费3个字节
    5. int i;//4
    6. int arr[];
    7. };
    8. int main()
    9. {
    10. struct S* ps = (struct S*)malloc(sizeof(struct S) + 20);
    11. if (ps = NULL)
    12. {
    13. perror("malloc");
    14. return 1;
    15. }
    16. printf("%d\n", sizeof(struct S));
    17. return 0;
    18. }

     6.2 柔性数组的使用

    20个字节就是5个整型,所以我们可以放进去5个整型,使用完这块空间之后就free释放。

    1. struct S
    2. {
    3. char c;//1
    4. int i;//4
    5. int arr[];
    6. };
    7. int main()
    8. {
    9. struct S* ps = (struct S*)malloc(sizeof(struct S) + 20);
    10. if (ps == NULL)
    11. {
    12. perror("malloc");
    13. return 1;
    14. }
    15. ps->c = 'w';
    16. ps->i = 100;
    17. int i = 0;
    18. for (i = 0; i < 5; i++)
    19. {
    20. ps->arr[i] = i;
    21. }
    22. //打印
    23. for (i = 0; i < 5; i++)
    24. {
    25. printf("%d ", ps->arr[i]);
    26. }
    27. free(ps);
    28. ps = NULL;
    29. return 0;
    30. }

    如果觉得空间不够,就使用realloc扩容,第一个参数ps是需要增容的空间的起始地址,后面加上40,相当于扩容20个字节,如果增容成功,则将ptr赋给ps。

    1. int main()
    2. {
    3. struct S* ps = (struct S*)malloc(sizeof(struct S) + 20);
    4. if (ps == NULL)
    5. {
    6. perror("malloc");
    7. return 1;
    8. }
    9. ps->c = 'w';
    10. ps->i = 100;
    11. int i = 0;
    12. for (i = 0; i < 5; i++)
    13. {
    14. ps->arr[i] = i;
    15. }
    16. //打印
    17. for (i = 0; i < 5; i++)
    18. {
    19. printf("%d ", ps->arr[i]);
    20. }
    21. struct S* ptr=(struct S*)realloc(ps,sizeof(struct S) + 40);
    22. if (ptr != NULL)
    23. {
    24. ps = ptr;
    25. }
    26. else
    27. {
    28. prrror("realloc");
    29. return 1;
    30. }
    31. free(ps);
    32. ps = NULL;
    33. return 0;
    34. }

     6.3 柔性数组的优势

    柔性数组当然是可以使用其它办法代替的,比如我们使用一个指针来指向一块空间,然后使用malloc为这块空间开辟内存也可以。需要注意的是使用了两次malloc开辟空间,但是怎么free呢?必须要先free掉data指向的那块空间,因为如果先释放掉结构体的空间,这块空间包括data的空间,就找不到data的空间了,所以就得先释放掉data这块空间。

    1. struct S
    2. {
    3. char c;//1
    4. int i;//4
    5. int* data;
    6. };
    7. int main()
    8. {
    9. struct S* ps = (struct S*)malloc(sizeof(struct S));
    10. if (ps == NULL)
    11. {
    12. perror("malloc");
    13. return 1;
    14. }
    15. ps->c = 'w';
    16. ps->i = 100;
    17. ps->data = (int*)malloc(20);
    18. if (ps->data == NULL)
    19. {
    20. perror("malloc");
    21. return 1;
    22. }
    23. for (int i = 0; i < 5; i++)
    24. {
    25. ps->data[i] = i;
    26. }
    27. for (int i = 0; i < 5; i++)
    28. {
    29. printf("%d ", ps->data[i]);
    30. }
    31. int* ptr=(int*)realloc(ps->data,40);
    32. if (ptr != NULL)
    33. {
    34. ps->data = ptr;
    35. }
    36. else
    37. {
    38. prrror("realloc");
    39. return 1;
    40. }
    41. free(ps->data);
    42. ps->data = NULL;
    43. free(ps);
    44. ps = NULL;
    45. return 0;
    46. }

    虽然这两种方法都能实现一样的效果,但是有各自的优缺点。

    像柔性数组就有两个好处:

    第一个好处是:方便内存释放

    如果我们的代码是在一个给别人用的函数中,你在里面做了二次内存分配,并把整个结构体返回给用户。用户调用free可以释放结构体,但是用户并不知道这个结构体内的成员也需要free,所以你不能指望用户来发现这个事。所以,如果我们把结构体的内存以及其成员要的内存一次性分配好了,并返回给用户一个结构体指针,用户做一次free就可以把所有的内存也给释放掉。

    第二个好处是:这样有利于访问速度

    连续的内存有益于提高访问速度,也有益于减少内存碎片。(其实,我个人觉得也没多高了,反正你跑不了要用做偏移量的加法来寻址)


    今天的分享到这里就结束啦!谢谢老铁们的阅读,让我们下期再见。

  • 相关阅读:
    【React】redux和React-redux
    你应该打好你的日志,起码避免被甩锅
    实验 | RT-Thread:L1
    声纹技术(一):声纹技术的前世今生
    动静分离和前后端分离
    测试老鸟总结,Web/APP与接口测试测试流程总结,避背黑锅...
    专业的ADAS测试记录仪ETHOS
    Marked.js让您的文档编辑更加轻松自如!
    【前端笔记】手写Promise,跟着教学轻松理解Promise
    中国移动物联网开放平台OneNET学习笔记(2)——设备接入测试(MQTT协议)OneNET Studio篇
  • 原文地址:https://blog.csdn.net/2301_79035870/article/details/133996723