C语言柔性数组详解

 更新时间:2021年10月10日 17:10:33   作者:高邮吴少  
这篇文章主要介绍了C语言柔性数组,通过实例分析了不完整类型、结构体及柔性数组等概念,需要的朋友可以参考下,希望能够给你带来帮助

前言

可能大家第一眼看到这个标题会有点懵,到底什么是柔性数组,我怎么从来没听说过?但柔性数组确实是存在的,也经常会出现在一些公司的面试题中,今天就跟着笔者来学习一下柔性数组吧。

提示:以下是本篇文章正文内容,下面案例可供参考

在这里插入图片描述

一、柔性数组是什么?

C99中,结构体中的最后一个元素允许是未知大小的数组,这就叫作柔性数组,for example:

 struct st_type
{
	int i;
	int a[0];//柔性数组成员,也可以写int a[];
};

结构体成员a数组,它的数组大小是没有确定的,将来如果需要可以大也可以小。
有些编译器支持a[0]这种写法,有些编译器支持a[ ]这种写法,具体取决编译器。

二、柔性数组的特点

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

示例如下:

 struct st_type
{
	int i;
	int a[0];//柔性数组成员,也可以写int a[];
};

比如上面这段代码,如果你要创建一个柔性数组a,前面必须创建一些别的成员

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

示例如下:

 struct st_type
{
	int i;//4字节
	int a[0];//柔性数组成员,也可以写int a[];
	//因为是柔性数组,无法确认a占几个字节
};
 int main()
 {
	 printf("%d\n", sizeof(struct st_type));//打印4
	 return 0;
 }

这里计算包含柔性数组的结构体大小,因为柔性数组本身是无法确定有几个字节的,所以计算整体结构体大小时,会省略柔性数组的计算。

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

ps:除了malloc函数,realloc、calloc等动态内存开辟的函数也需要类似的操作

比如说我现在要数组a里面有10个元素,现在进行malloc一下

示例如下:

#include<string.h>
#include<errno.h>
struct st_type
{
	int i;//4字节
	int a[0];//柔性数组成员,也可以写int a[];
};
int main()
{
    //假设我现在需要a里有10个元素
	struct st_type*ps=(struct st_type*)malloc(sizeof(struct st_type) + 10 * sizeof(int));
	if (ps == NULL)//由于空间可能不够开辟导致malloc开辟失败,开辟失败会返回空指针
	{
		printf("%s\n", strerror(errno));
		return -1;//程序出问题后,跳出程序
	}
	//开辟成功
	int j = 0;
	for (j = 0;j < 10;j++)
	{
		ps->a[j] = j;
	}
	for (j = 0;j < 10;j++)
	{
		printf("%d ", ps->a[j]);//打印0-9
	}
	printf("\n");
	//如果想继续用柔性数组a进行打印
	//比如现在a里只有10个元素,我用完10个了,我还要继续来10个,用realloc追加
	struct st_type*ptr=realloc(ps, sizeof(struct st_type) + 20 * sizeof(int));//ps:realloc第二个参数是调整后的整体大小
	if (ptr == NULL)
	{
		printf("扩容失败\n");
		return -1;
	}
	else
	{
		ps = ptr;
	}
	//扩容成功
	int k = 0;
	for (k = 10;k < 20;k++)
	{
		ps->a[k] = k;
	}
	for (j = 0;j < 20;j++)
	{
		printf("%d ", ps->a[j]);//打印0-19
	}
	//释放空间
	free(ps);
	ps = NULL;
	return 0;
}

在这里插入图片描述

在这里插入图片描述

我们这里需要数组a里有10个元素,那我们malloc的时候要对结构体里的整形i先开辟4个字节,然后为整形数组a再开辟40个字节,然后malloc函数返回开辟空间的起始地址,赋给truct st_type * 类型的ps指针。

malloc(sizeof(struct st_type) + 10 * sizeof(int))这个操作等价于struct st_type类型创建一个变量所占空间,只不过是用malloc来开辟

你改变数组a大小,追加空间时,realloc(ps, sizeof(struct st_type) + 20 * sizeof(int)),realloc的第一个参数仍然是ps,因为你当时是用malloc一次开辟出的一块空间,你是不能单独调整数组a的空间的

三、柔性数组的优点

柔性数组就是对一块空间实现动态开辟嘛,那我们之前也讲过指针来动态内存开辟,我们来看一段代码来对比一下这两种方法:

//用指针也可以做到a指向的空间动态变化
struct st_type
{
	int i;//4字节
	int *a;//4字节,这里计算结构体大小恰好是8字节
};
int main()
{
	struct st_type*ps = (struct st_type*)malloc(sizeof(struct st_type));
	ps->i = 100;
	ps->a = (int*)malloc(10 * sizeof(int));//a指向40个字节的空间,该空间由int*进行管理
	int j = 0;
	for (j = 0;j < 10;j++)
	{
		ps->a[j] = j;//a[j]=*(a+j)
	}
	for (j = 0;j < 10;j++)
	{
		printf("%d", ps->a[j]);
	}
	//a指向的空间不够了,希望调整大小
	int *ptr = (int*)realloc(ps->a, 20 * sizeof(int));
	if (ptr == NULL)
	{
		printf("扩容失败");
		return -1;
	}
	else
	{
		ps->a = ptr;
	}
	//使用...
	//释放
	free(ps->a);
	ps->a = NULL;
	free(ps);
	ps = NULL;
}

这里需要注意的是,在释放空间时,你要先释放指针a指向的空间,然后释放结构体指针

在这里插入图片描述

如上图,我们结构体指针ps开辟一块空间,空间里存放整形i和整形指针a,a又malloc(后续如果需要还可以realloc追加)一块空间,如果你先释放掉ps,a就没了,你就没法找到a指向的那块空间了。

还是那个生动的例子 就比如a是一个警察头子,malloc开辟的空间是卧底,只有a知道那个卧底,你现在警察头子死了,再也没法证明卧底是卧底了,也就是说a消失后,没办法再对开辟的空间进行释放,这时就会造成内存泄露,指针实现动态内存调整是需要对指针释放讲解一定的顺序性的

这里对比柔性数组,柔性数组和上述的指针都可以实现一块空间大小的调整,但是柔性数组有两个好处:
第一个好处是:方便内存释放

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

第二个好处是:加快访问速度

连续的内存有益于提高访问速度,也有益于减少内存碎片。

ps:内存碎片如下图

在这里插入图片描述

操作系统给我们一块内存,我们在进行malloc时,不一定就是一块连着一块的,上图的空白部分就是内存碎片,有些类似我们裁剪布料,一些剩余的边角料这样。

总结

本文介绍了柔性数组的定义、其三个使用特点,及其对比指针实现动态内存的优势,并对其进行了具体举例

本篇文章就到这里了,希望能够给你带来帮助,也希望您能够多多关注脚本之家的更多内容!

相关文章

  • C语言数据类型与sizeof关键字

    C语言数据类型与sizeof关键字

    这篇文章主要介绍了C语言数据类型与sizeof关键字,C语言的数据类型包括基本类型、构造类型、指针类型以及空类型,下文更多相关内容需要的小伙伴可以参考一下
    2022-04-04
  • C语言中深度优先搜索(DFS)算法的示例详解

    C语言中深度优先搜索(DFS)算法的示例详解

    这篇文章主要通过两个简单的示例为大家详细介绍一下C语言中深度优先搜索(DFS)算法,文中的示例代码讲解详细,感兴趣的小伙伴可以了解一下
    2023-02-02
  • C/C++ 公有继承、保护继承和私有继承的对比详解

    C/C++ 公有继承、保护继承和私有继承的对比详解

    这篇文章主要介绍了C/C++ 公有继承、保护继承和私有继承的区别的相关资料,需要的朋友可以参考下
    2017-02-02
  • C++中std::ifstream::readsome和std::ifstream::read的区别解析

    C++中std::ifstream::readsome和std::ifstream::read的区别解析

    ‌std::ifstream::readsome和std::ifstream::read‌的主要区别在于它们处理输入流的方式和可能返回的结果,下面给大家介绍C++中std::ifstream::readsome和std::ifstream::read的区别解析,感兴趣的朋友跟随小编一起看看吧
    2024-08-08
  • QT生成随机验证码的方法

    QT生成随机验证码的方法

    这篇文章主要为大家详细介绍了QT生成随机验证码的方法,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2022-06-06
  • 详谈c++跨平台编码的问题

    详谈c++跨平台编码的问题

    下面小编就为大家带来一篇详谈c++跨平台编码的问题。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2017-08-08
  • 浅析VSCode launch.json中的各种替换变量的意思 ${workspaceFolder} ${file} ${fileBasename} ${fileDirname}等

    浅析VSCode launch.json中的各种替换变量的意思 ${workspaceFolder} ${file} $

    这篇文章主要介绍了VSCode launch.json中的各种替换变量的意思 ${workspaceFolder} ${file} ${fileBasename} ${fileDirname}等,非常不错具有一定的参考借鉴价值,需要的朋友可以参考下
    2020-03-03
  • 用代码和UML图化解设计模式之桥接模式的深入分析

    用代码和UML图化解设计模式之桥接模式的深入分析

    本篇文章是对桥接模式进行了详细的分析介绍,需要的朋友参考下
    2013-05-05
  • CStdioFile的用法详细解析

    CStdioFile的用法详细解析

    CStdioFile 不支持Duplicate,LockRange,和UnlockRange 这几个CFile 函数。如果在CStdioFile 中调用了这几个函数,将会出现CNoSupported 异常
    2013-09-09
  • C++this指针详情

    C++this指针详情

    这篇文章主要介绍了C++this指针详情,在 C++ 中,每一个对象都能通过 this 指针来访问自己的地址。this 指针是所有成员函数的隐含参数。因此,在成员函数内部,它可以用来指向调用对象,下面我们来了解更多详细内容吧
    2022-01-01

最新评论