C语言中不使用malloc，定义大小依赖输入的数组

问题背景 #

需要定义一个大小由输入链表决定的数组，禁止使用malloc/calloc等动态内存分配函数。链表节点结构如下：

struct node {
    unsigned int length;
    struct node *next;
};

数组大小计算规则：

• 若所有节点的length均小于255，数组大小等于链表节点总数；
• 若存在length≥255的节点，数组大小 = （length<255的节点数） + （所有length≥255节点的拆分数量之和）
  单个length≥255节点的拆分数量：若Len%255 == 0，则为Len/255；否则为Len/255 + 1（整数除法）

直接用unsigned int MyTable[size];会报错，因为编译器要求数组大小为编译期常量，下面是几种可行的解决方法：

方法1：用C99变长数组（VLA） #

C99及以上标准支持变长数组，允许用运行时计算的变量作为数组大小，大部分现代编译器（GCC、Clang、MSVC 2019+）都支持。

首先实现计算数组大小的函数：

unsigned int calculate_table_size(struct node *head) {
    unsigned int size = 0;
    struct node *curr = head;
    while (curr != NULL) {
        if (curr->length < 255) {
            size += 1;
        } else {
            unsigned int len = curr->length;
            size += (len % 255 == 0) ? (len / 255) : (len / 255 + 1);
        }
        curr = curr->next;
    }
    return size;
}

然后直接定义变长数组：

struct node *my_linked_list = ...; // 你的链表头指针
unsigned int arr_size = calculate_table_size(my_linked_list);
unsigned int MyTable[arr_size]; // 运行时确定数组大小

注意：变长数组是栈上分配的，如果计算出的arr_size过大（比如超过几MB），会触发栈溢出，这种场景下别用这个方法。

方法2：预分配静态/全局数组 #

如果能预估业务场景中数组的最大可能大小，直接定义一个足够大的静态或全局数组，只用前arr_size个元素即可：

// 根据你的实际场景调整最大上限值
#define MAX_ALLOWED_TABLE_SIZE 10000
static unsigned int MyTable[MAX_ALLOWED_TABLE_SIZE];

// 使用时先计算大小，再做边界检查
unsigned int arr_size = calculate_table_size(my_linked_list);
if (arr_size > MAX_ALLOWED_TABLE_SIZE) {
    // 处理溢出：比如打印错误日志、终止程序
    fprintf(stderr, "数组大小超过预分配上限\n");
    exit(EXIT_FAILURE);
}
// 后续只操作MyTable[0]到MyTable[arr_size-1]

这种方法没有栈溢出风险，但会浪费部分内存（如果实际arr_size远小于预分配的最大值）。

方法3：用C99复合字面量 #

复合字面量可以创建匿名的变长数组，通过指针访问，本质和变长数组一样是栈上分配：

unsigned int arr_size = calculate_table_size(my_linked_list);
unsigned int *MyTable = (unsigned int[arr_size]){0}; // 初始化所有元素为0
// 通过MyTable指针操作数组元素，比如MyTable[0] = 123;

注意：复合字面量的生命周期和所在代码块一致，离开代码块后指针会失效，不能跨代码块使用。

额外提示 #

• 不管用哪种方法，必须先遍历链表计算出准确的arr_size，这是所有方案的前提；
• 如果你的编译器不支持C99（比如非常老旧的编译环境），只能用预分配静态数组的方法；
• 栈容量有限，大尺寸数组优先考虑静态/全局数组。

内容的提问来源于stack exchange，提问作者Hob_io