13、柔性数组：C99特性、结构体中的柔性数组、内存布局与优势

柔性数组，这个名字听起来挺玄乎。说白了，就是结构体里最后一个成员可以是一个没有指定长度的数组。这是C99标准引入的特性，我个人觉得，这是C语言在动态内存管理上最优雅的设计之一。

什么是柔性数组

先看个例子：

struct flex_array {
    int len;
    int data[];  // 柔性数组，没有指定大小
};

注意看，data[] 这个数组没有写长度。这就是柔性数组。它必须放在结构体的最后一个成员位置。编译器不会为它分配空间，它只是一个占位符。

内存布局：到底长什么样？

我画了一张图，帮你理解柔性数组在内存中的真实样子：

你看，柔性数组本身不占结构体的空间。你 malloc 的时候，一次性把「结构体头 + 数组数据」都申请出来。这样整块内存是连续的，访问效率高。

怎么用？代码说话

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

struct flex_array {
    int len;
    int data[];
};

int main() {
    int n = 5;
    // 一次性分配：结构体 + 数组
    struct flex_array *fa = malloc(sizeof(struct flex_array) + n * sizeof(int));
    if (!fa) return -1;
    
    fa->len = n;
    for (int i = 0; i < n; i++) {
        fa->data[i] = i * 10;
    }
    
    // 使用
    for (int i = 0; i < fa->len; i++) {
        printf("%d ", fa->data[i]);
    }
    
    free(fa);
    return 0;
}

柔性数组 vs 指针方案

你可能会问：我直接在结构体里放个指针，再动态分配不行吗？行，但性能差不少。

对比项	柔性数组	指针方案
内存分配次数	1 次 malloc	2 次 malloc
内存连续性	连续	不连续
缓存友好度	高	低
释放操作	1 次 free	2 次 free
内存碎片	少	多

说白了，柔性数组就是一次 malloc 搞定所有。指针方案要两次，而且两次分配的内存不一定挨着，CPU 缓存命中率就下来了。

避坑指南

嗯，这里要注意一点。有些编译器支持零长度数组作为扩展，但那是 GNU C 的特性。C99 标准里，柔性数组的写法是 data[]，不是 data[0]。虽然很多编译器两种都认，但我建议你按标准来。

实际项目中的应用

我在做网络协议栈的时候，经常用柔性数组来处理变长报文。比如一个数据包，头部固定，负载长度可变。用柔性数组，一次分配，整块内存连续，解析起来特别顺手。

struct packet {
    uint32_t seq;
    uint16_t type;
    uint16_t payload_len;
    uint8_t  payload[];  // 柔性数组
};

收到报文后，根据头部里的 payload_len，直接 malloc 出完整结构体，memcpy 进来就能用。不需要额外管理指针，也不怕内存泄漏。

---