c语言分层理解(内存开辟+柔性数组)

简介: 1. C/C++程序的内存开辟我们在使用数组,动态内存管理,以及其他的一些局部变量和全局变量,这些都是我们经常看到的。在我开始学习static关键字的时候,我就在想为什么局部变量使用static就可以变长声明周期呢?不应该是局部变量出来函数就销毁空间吗,这个时候就有了内存空间的概念,下面我们来看看变量在内存中的布局:

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

我们在使用数组,动态内存管理,以及其他的一些局部变量和全局变量,这些都是我们经常看到的。在我开始学习static关键字的时候,我就在想为什么局部变量使用static就可以变长声明周期呢?不应该是局部变量出来函数就销毁空间吗,这个时候就有了内存空间的概念,下面我们来看看变量在内存中的布局:

806f0d82d0a9bdab7d58b1f33b0b48e6.png

通过这张图,我们大致就了解了c/c++程序内存分配的几个区域:

栈区:在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限。栈区主要存放运行函数而分配的局部变量、函数参数、返回数据、返回地址等。

堆区:一般由程序员分配释放, 若程序员不释放,程序结束时可能由OS回收 。分

配方式类似于链表。

静态区:存放全局变量、静态数据。程序结束后由系统释放。

代码段:存放函数体(类成员函数和全局函数)的二进制代码。

这样我们就对内存大概的有个丰富了解,但是这是不完全的,后期会更加细分我们的内存空间。

2. 柔性数组

c99中,结构体中的最后一个元素允许是未知大小的数组,这就叫做柔性数组成员。

2.1 初步了解写法

方式一:

struct flexible_arr
{
  int i;
  int arr[0];//柔性数组成员 
};

方式二:

struct flexible_arr
{
  int i;
  int arr[];//柔性数组成员
};

这两种写法在不同的编译器下有可能会出错,出错就换另外一种写法即可。

2.2 柔性数组的特点

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

2.3 验证结构体不包括柔性数组的内存

628d7e314fe802ccb5ad71d1c6b447b4.png

解释:这个结构体本身就计算了a变量的大小,并没为柔性数组开辟内存空间。

2.4 柔性数组的使用

直接上代码,更加直观,使用柔性数组

#include <stdio.h>
#include <stdlib.h>
#define ARR_SIZE 4
#define RESIZE 10
struct flexible_arr
{
  int a;
  double d;
  int arr[0];
};
int main()
{
  //必须用动态内存管理库函数对其内存空间开辟,因为结构体并没有为柔性数组开辟空间
  struct flexible_arr* ps = malloc(sizeof(struct flexible_arr) + sizeof(int) * ARR_SIZE);
  //保证指针有效性
  if (ps == NULL)
  {
    return 1;
  }
  ps->a = 10;
  ps->d = 5.0;
  //输入数组中的值
  int i = 0;
  printf("请输入你想输入的四个数字:>\n");
  for (i = 0; i < ARR_SIZE; i++)
  {
    scanf("%d", &ps->arr[i]);
  }
  //打印
  printf("调整前数字:>\n");
  printf("ps->a = %d\n", ps->a);
  printf("ps->d = %lf\n", ps->d);
  for (i = 0; i < ARR_SIZE; i++)
  {
    printf("%d ", ps->arr[i]);
  }
  printf("\n");
  //对数组空间进行调整
  struct flexible_arr* ptr = realloc(ps, sizeof(struct flexible_arr) + sizeof(int) * RESIZE);
  if (ptr == NULL)
  {
    return 1;
  }
  else
  {
    ps = ptr;
  }
  //输入
  printf("请输入调整的六个数字:>\n");
  for (i = ARR_SIZE; i < RESIZE; i++)
  {
    scanf("%d", &ps->arr[i]);
  }
  printf("调整后的数字:>\n");
  for (i = 0; i < RESIZE; i++)
  {
    printf("%d ", ps->arr[i]);
  }
  free(ps);
  ps = NULL;
  return 0;
}

运行展示:

087162fc54c32ecda8ada3f197d88238.png

这里只是展示了调整后的数组的内容,并没有调整后对结构体其他成员进行改动。


这里我们使用了柔性数组,来扩展结构体的大小,实际上我们发现,动态内存开辟空间是拿到这个柔性数组成员的地址对其开辟空间,所以拿到的是个地址,这么说我们就可以直接不用柔性数组,直接使用指针来对其内存动态管理分配不就可以了吗?

使用指针实现:

#define P_SIZE 4
#define RESIZE 10
#include <stdlib.h>
#include <stdio.h>
struct imitation
{
  int a;
  double d;
  int* ptr;
};
int main()
{
  //申请整个结构体空间
  struct imitation* ps = (struct imitation*)malloc(sizeof(struct imitation));
  if (ps == NULL)
  {
    return 1;
  }
  //申请ptr成员的内存空间
  int* p = (int*)malloc(sizeof(int) * P_SIZE);
  if (p == NULL)
  {
    return 1;
  }
  else
  {
    ps->ptr = p;
  }
  //使用
  int i = 0;
  printf("请输入你想输入的四个数字:>\n");
  for (i = 0; i < P_SIZE; i++)
  {
    scanf("%d", &ps->ptr[i]);
  }
  printf("调整前的数字:>\n");
  for (i = 0; i < P_SIZE; i++)
  {
    printf("%d ", ps->ptr[i]);
  }
  printf("\n");
  //调整
  int* pa = (int*)realloc(ps->ptr, sizeof(int)* RESIZE);
  if (pa == NULL)
  {
    return  1;
  }
  else
  {
    ps->ptr = pa;
  }
  printf("请输入你想要调整输入的六个数字:>\n");
  for (i = P_SIZE; i < RESIZE; i++)
  {
    scanf("%d", &ps->ptr[i]);
  }
  printf("调整后数字:>\n");
  for (i = 0; i < RESIZE; i++)
  {
    printf("%d ", ps->ptr[i]);
  }
  //释放空间
  free(ps->ptr);
  ps->ptr = NULL;
  free(ps);
  ps = NULL;
  return 0;
}

运行展示

f24c295ac6e41047232b9303d51db9a0.png

这里就只是关注数组的内容。

2.5 柔性数组的优势

上面我们使用了两种方式实现结构体的调整。

共同点:通过观察我们观察到对柔性数组还是指针,都要用到动态内存管理来进行开辟内存空间,因为结构体在创建的时候就已经每个成员都有自己的内存空间了,但是这里的柔性数组没有大小,所有就只留下了一个地址,用指针方式的场景也是一样只留下了一个地址,所以这里都要用到动态内存管理来开辟空间。

不同点:指针方式的场景中我们使用了两次动态管理开辟空间,这里就需要很多冗余的操作(释放、保证返回的存储指针有效性),这样就会在写的中途出现很多手误。我们要注意一个问题,就是指针方式的场景中,有两次动态内存管理,这时我们不知道内存申请的时候是怎么使用内存空间的,有可能就出现内存碎片了,而使用柔性数组的方式就会出现这种情况。

怎么理解内存碎片?

2f1f6e9a05b0d16882acd6276e05b77c.png

也就是说在内存使用的时候malloc有可能申请的空间和上一个malloc申请的空间中间间隔的一片内存空间,这时这里的空出来的内存空间就叫做内存碎片。当然这是一种可能性,也会没有。

总结:

柔性数组的优势:

  1. 方便内存释放
  2. 利于访问速度,减少了内存碎片。













相关文章
|
8天前
|
存储 大数据 C语言
C语言 内存管理
本文详细介绍了内存管理和相关操作函数。首先讲解了进程与程序的区别及进程空间的概念,接着深入探讨了栈内存和堆内存的特点、大小及其管理方法。在堆内存部分,具体分析了 `malloc()`、`calloc()`、`realloc()` 和 `free()` 等函数的功能和用法。最后介绍了 `memcpy`、`memmove`、`memcmp`、`memchr` 和 `memset` 等内存操作函数,并提供了示例代码。通过这些内容,读者可以全面了解内存管理的基本原理和实践技巧。
|
8天前
|
缓存 Linux C语言
C语言 多进程编程(六)共享内存
本文介绍了Linux系统下的多进程通信机制——共享内存的使用方法。首先详细讲解了如何通过`shmget()`函数创建共享内存,并提供了示例代码。接着介绍了如何利用`shmctl()`函数删除共享内存。随后,文章解释了共享内存映射的概念及其实现方法,包括使用`shmat()`函数进行映射以及使用`shmdt()`函数解除映射,并给出了相应的示例代码。最后,展示了如何在共享内存中读写数据的具体操作流程。
|
19天前
|
存储 NoSQL 程序员
C语言中的内存布局
C语言中的内存布局
24 0
|
23天前
|
C语言
【C语言篇】字符和字符串以及内存函数详细介绍与模拟实现(下篇)
perror函数打印完参数部分的字符串后,再打印⼀个冒号和⼀个空格,再打印错误信息。
|
23天前
|
存储 安全 编译器
【C语言篇】字符和字符串以及内存函数的详细介绍与模拟实现(上篇)
当然可以用scanf和printf输入输出,这里在之前【C语言篇】scanf和printf万字超详细介绍(基本加拓展用法)已经讲过了,这里就不再赘述,主要介绍只针对字符的函数.
|
C语言 C++ 编译器
C语言中柔性数组解析
在讲述柔性数组之前,我们首先介绍一下不完整类型(incomplete type)。不完整类型是这样一种类型,它缺乏足够的信息例如长度去描述一个完整的对象。
1092 0
|
2天前
|
存储 C语言
C语言程序设计核心详解 第十章:位运算和c语言文件操作详解_文件操作函数
本文详细介绍了C语言中的位运算和文件操作。位运算包括按位与、或、异或、取反、左移和右移等六种运算符及其复合赋值运算符,每种运算符的功能和应用场景都有具体说明。文件操作部分则涵盖了文件的概念、分类、文件类型指针、文件的打开与关闭、读写操作及当前读写位置的调整等内容,提供了丰富的示例帮助理解。通过对本文的学习,读者可以全面掌握C语言中的位运算和文件处理技术。
|
2天前
|
存储 C语言
C语言程序设计核心详解 第七章 函数和预编译命令
本章介绍C语言中的函数定义与使用,以及预编译命令。主要内容包括函数的定义格式、调用方式和示例分析。C程序结构分为`main()`单框架或多子函数框架。函数不能嵌套定义但可互相调用。变量具有类型、作用范围和存储类别三种属性,其中作用范围分为局部和全局。预编译命令包括文件包含和宏定义,宏定义分为无参和带参两种形式。此外,还介绍了变量的存储类别及其特点。通过实例详细解析了函数调用过程及宏定义的应用。
|
8天前
|
Linux C语言
C语言 多进程编程(三)信号处理方式和自定义处理函数
本文详细介绍了Linux系统中进程间通信的关键机制——信号。首先解释了信号作为一种异步通知机制的特点及其主要来源,接着列举了常见的信号类型及其定义。文章进一步探讨了信号的处理流程和Linux中处理信号的方式,包括忽略信号、捕捉信号以及执行默认操作。此外,通过具体示例演示了如何创建子进程并通过信号进行控制。最后,讲解了如何通过`signal`函数自定义信号处理函数,并提供了完整的示例代码,展示了父子进程之间通过信号进行通信的过程。
|
8天前
|
C语言
C语言 字符串操作函数
本文档详细介绍了多个常用的字符串操作函数,包括 `strlen`、`strcpy`、`strncpy`、`strcat`、`strncat`、`strcmp`、`strncpy`、`sprintf`、`itoa`、`strchr`、`strspn`、`strcspn`、`strstr` 和 `strtok`。每个函数均提供了语法说明、参数解释、返回值描述及示例代码。此外,还给出了部分函数的自实现版本,帮助读者深入理解其工作原理。通过这些函数,可以轻松地进行字符串长度计算、复制、连接、比较等操作。