深入了解一下C语言中的柔性数组

Mason

发布时间：2026-10-16| 6人浏览过

原创

C语言柔性数组（Flexible Array Member）允许结构体包含未指定大小的数组成员，实现高效连续内存管理。本文将解析其定义规范、动态分配技巧，并对比传统指针方案，阐明其在避免内存碎片和简化资源释放方面的核心优势。

什么是柔性数组

柔性数组是 C99 标准引入的特性，它允许结构体的最后一个元素为未知大小的数组。这种成员的声明方式非常灵活，既可以使用 [0] 占位，也可以留空不写长度：

struct S1
{
	int i;
	int a[0]; // 写法一：占位符
};

struct S2
{
	int i;
	int a[];  // 写法二：无长度
};

使用柔性数组需遵循以下关键原则：
1. 结构体中必须至少有一个其他常规成员。
2. sizeof 运算符计算出的结构体大小不包含柔性数组的大小。
3. 必须通过 malloc 进行动态内存分配，且分配的总字节数应大于结构体静态部分的大小，以预留柔性数组的空间。

柔性数组的使用与操作

在实际开发中，通常结合 malloc 一次性分配结构体头部和柔性数组的连续内存。以下示例演示了如何初始化一个包含 10 个字符的柔性数组：

typedef struct 
{
	int i;
	char c[]; // 柔性数组成员
} MyStruct;

void use_flexible_array() 
{
	// 分配 sizeof(int) + 10 * sizeof(char) 的连续内存
	MyStruct* p = (MyStruct*)malloc(sizeof(MyStruct) + 10 * sizeof(char));
	if (p == NULL)
	{
		perror("malloc failed");
		return;
	}

	// 正常赋值
	p->i = 10;
	for (int k = 0; k < 10; k++)
	{
		p->c[k] = 'a';
	}

	// 释放内存只需调用一次
	free(p);
	printf("Memory released successfully.\n");
}

注意：上面代码中的 sizeof(MyStruct) 仅计算 int i 的大小，并不包含数组 c。因此，我们需要手动加上柔性数组所需的额外空间。

第1步：调整柔性数组大小

当数据量变化时，可使用 realloc 函数动态调整内存块大小。该操作会保证原数据和新数据区域的连续性：

void resize_flexible_array(MyStruct* p) 
{
	if (p == NULL) return;

	// 尝试扩容至容纳 20 个字符
	MyStruct* new_p = (MyStruct*)realloc(p, sizeof(MyStruct) + 20 * sizeof(char));
	if (new_p == NULL)
	{
		perror("realloc failed");
		return; // 原有内存未被修改，需处理错误逻辑
	}

	p = new_p;
	// 继续填充新增的空间
	for (int k = 10; k < 20; k++)
	{
		p->c[k] = 'b';
	}
}