【C语言】柔性的数组是什么?C/C++程序的内存开辟又是?

简介: 【C语言】柔性的数组是什么?C/C++程序的内存开辟又是?

前言

首先,我们知道在程序编译、运行的过程中,程序中的变量等会再内存中申请空间,这个时候呢,就需要我们来了解一下,C/C++程序的内存开辟是什么情况。

其次,我们都知道数组,知道数组是在编译的时候,就已经固定了内存空间,元素大小,那么什么又叫做柔性数组呢,是不是我们所想的那样,可以任意变化数组大小呢?

接下来,让小王带领大家一一探讨!!!


一、C/C++程序的内存开辟

我们一定想知道,到底C/C++程序在运行过程会将内存分为几部分,是如何划分的?

首先有一个简易图,让我们大致了解一下,变量放在哪,动态管理函数又放在哪?

内存空间可以初步分为:栈区、堆区、静态区

如图所示:

1.1 初步分析内存

栈区:主要是局部变量和函数形参在这个地方占用空间

堆区:动态内存管理函数malloc、free、calloc、realloc等等函数申请空间

静态区:存放全局变量、静态变量

有关于堆区的这些函数可以去上一篇函数去看看,静态区也没什么好讲的,主要是全局变量和静态变量。

全局变量:在整个程序中所有函数之内都可以使用,可以更改内容,只在程序结束时退出

静态变量:由static修饰的变量,可以更改内容,在程序结束的时候才会失去对空间的使用权

栈区,由一个常见的小问题,返回栈区空间问题

如图所示:

1.2 详细分析内存管理

我们将内存更加细致的分为,内核空间、栈、内存映射段、堆、数据段、代码段

如图所示:

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

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

2. 堆区(heap):一般由程序员分配释放, 若程序员不释放,程序结束时可能由OS回收 。分配方式类似于链表。

3. 数据段(静态区)(static)存放全局变量、静态数据。程序结束后由系统释放。

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

有了上图,我们就可以更加清晰的认知到,由static来静态修饰局部变量的意义了,相当于改变了生命周期。

实际上普通的局部变量是在栈区分配空间的,栈区的特点是在上面创建的变量出了作用域就销毁。

但是被static修饰的变量存放在数据段(静态区),数据段的特点是在上面创建的变量,直到程序结束才销毁

所以生命周期变长。

二、柔性数组

柔性数组,是C99标准中,结构中的最后一个元素允许是未知大小的数组,这就是柔性数组成员

例如:

typedef struct Node {
  int i;
  int arr[];//这就是柔性数组成员
  //或者是这样的情况:int arr[0]
  //int arr[0] 中的零并没有实际意义,并不是说明0个元素,这只是柔性数组的标识
};

2.1 柔性数组的特点

1.结构中的柔性数组成员前面必须至少一个其他成员。        

2.sizeof 返回的这种结构大小不包括柔性数组的内存。

3.包含柔性数组成员的结构用malloc ()函数进行内存的动态分配,并且分配的内存应该大于  结构的大小,以适应柔性数组的预期大小

图示解释:

2.2 柔性数组的使用

实际上柔性数组的使用和其他数组的使用是没有什么区别的,只是说,柔性数组是一种方式,可以在不知道需要多大的数组元素个数的时候,使用, 这样在后面可以根据自己所需,申请适当空间大小的数组来使用。所以是柔性的,普通数组是固定死的

代码演示:

typedef struct Node {
  int i;
  int arr[];//这就是柔性数组成员
  //或者是这样的情况:int arr[0]
  //int arr[0] 中的零并没有实际意义,并不是说明0个元素,这只是柔性数组的标识
}Node;
int main()
{
  int sz = sizeof(Node);
  printf("%d\n", sz);//4  只算除了柔性数组的其他成员的内容
  Node* p = (Node*)malloc(sizeof(Node)+10*sizeof(int));
  //创建 p结构体的空间,sizeof(Node)为int i 的空间 10*sizeof(int) 是留给柔性数组的空间
  for (int i = 0; i < 10; i++) {
    p->arr[i] = i + 1;
  }
  for (int i = 0; i < 10; i++) {
    printf("%d ", p->arr[i]);
  }
  free(p);
  return 0;
}

根据自己所需,我们设计了10个int类型元素的数组arr

2.3 柔性数组的优势

我们现在可能反应回来了,可能有人在问,这个柔性数组,我们也可以这样搞呀!

代码演示:

struct S {
  int n;
  int* arr;
};
int main()
{
  //先申请结构体的空间
  struct S* s = (struct S*)malloc(sizeof(struct S));
  //赋值
  s->n = 10;
  //再申请int*的空间
  s->arr = (int*)malloc(sizeof(int) * 10);
  //这样申请到了10个整型大小的空间
  for (int i = -0; i < 10; i++) {
    s->arr[i] = i + 1;
  }
  for (int i = 0; i < 10; i++) {
    printf("%d ", s->arr[i]);
  }
  free(s->arr);//先取消s.arr的空间并置为NULL,如果先s置为NULL,再滞空arr 的时候会警告
  s->arr = NULL;
  free(s);//要注意先后顺序,先内部的arr free滞空,再s free滞空
  s = NULL;
  return 0;//防止错误吧,逻辑问题
}

我们能看到,这样的代码也能实现柔性数组那样的功能啊,确实是可以实现的,但是我们来分析一下,使用柔性数组有什么优势呢?

第一:方便内存释放

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

第二:这样有益于访问速度

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

就是说使用柔性数组,只需要malloc一次、free一次、且空间是连续的

非柔性数组,需要malloc两次、free一次、且空间不是连续的


总结

这里我们就知道了,C/C++程序的内存分配是什么情况,简易的内存分配可以怎么描述?更加细致的分配,我也在本文中讲解了,最后是对于柔性数组的分析和使用,可能有些小伙伴觉得,哎,好像这个柔性数组没有什么太大的用处啊,我可以用别的方法实现呀(有讲),实际上这是C语言给我们提供的一种解决问题的思路或者是方式,不需要深究,我们知道,会用即可!!!

那么本文就到此结束了,下一篇文章,我们来讲述一下,文件操作是如何使用的,相关函数又是如何,可以对通讯录做升级处理啦!!!

相关文章
|
2天前
|
存储 算法 搜索推荐
【C++面向对象——群体类和群体数据的组织】实现含排序功能的数组类(头歌实践教学平台习题)【合集】
1. **相关排序和查找算法的原理**:介绍直接插入排序、直接选择排序、冒泡排序和顺序查找的基本原理及其实现代码。 2. **C++ 类与成员函数的定义**:讲解如何定义`Array`类,包括类的声明和实现,以及成员函数的定义与调用。 3. **数组作为类的成员变量的处理**:探讨内存管理和正确访问数组元素的方法,确保在类中正确使用动态分配的数组。 4. **函数参数传递与返回值处理**:解释排序和查找函数的参数传递方式及返回值处理,确保函数功能正确实现。 通过掌握这些知识,可以顺利地将排序和查找算法封装到`Array`类中,并进行测试验证。编程要求是在右侧编辑器补充代码以实现三种排序算法
17 5
|
2月前
|
存储 C语言 计算机视觉
在C语言中指针数组和数组指针在动态内存分配中的应用
在C语言中,指针数组和数组指针均可用于动态内存分配。指针数组是数组的每个元素都是指针,可用于指向多个动态分配的内存块;数组指针则指向一个数组,可动态分配和管理大型数据结构。两者结合使用,灵活高效地管理内存。
|
2月前
|
容器
在使用指针数组进行动态内存分配时,如何避免内存泄漏
在使用指针数组进行动态内存分配时,避免内存泄漏的关键在于确保每个分配的内存块都能被正确释放。具体做法包括:1. 分配后立即检查是否成功;2. 使用完成后及时释放内存;3. 避免重复释放同一内存地址;4. 尽量使用智能指针或容器类管理内存。
|
3月前
|
存储 程序员 编译器
简述 C、C++程序编译的内存分配情况
在C和C++程序编译过程中,内存被划分为几个区域进行分配:代码区存储常量和执行指令;全局/静态变量区存放全局变量及静态变量;栈区管理函数参数、局部变量等;堆区则用于动态分配内存,由程序员控制释放,共同支撑着程序运行时的数据存储与处理需求。
191 22
|
3月前
|
Rust 安全 Java
内存数组越界
【10月更文挑战第14天】
38 1
|
4月前
|
C++
【C++基础】程序流程结构详解
这篇文章详细介绍了C++中程序流程的三种基本结构:顺序结构、选择结构和循环结构,包括if语句、三目运算符、switch语句、while循环、do…while循环、for循环以及跳转语句break、continue和goto的使用和示例。
84 2
|
4月前
|
编译器 Linux API
基于类型化 memoryview 让 Numpy 数组和 C 数组共享内存
基于类型化 memoryview 让 Numpy 数组和 C 数组共享内存
65 0
|
4月前
|
存储 安全 Linux
将文件映射到内存,像数组一样访问
将文件映射到内存,像数组一样访问
47 0
|
2月前
|
缓存 Prometheus 监控
Elasticsearch集群JVM调优设置合适的堆内存大小
Elasticsearch集群JVM调优设置合适的堆内存大小
428 1
|
1月前
|
存储 监控 算法
深入探索Java虚拟机(JVM)的内存管理机制
本文旨在为读者提供对Java虚拟机(JVM)内存管理机制的深入理解。通过详细解析JVM的内存结构、垃圾回收算法以及性能优化策略,本文不仅揭示了Java程序高效运行背后的原理,还为开发者提供了优化应用程序性能的实用技巧。不同于常规摘要仅概述文章大意,本文摘要将简要介绍JVM内存管理的关键点,为读者提供一个清晰的学习路线图。