C语言中能否重新声明数组变量？或用指针实现动态扩容

核心结论 #

• C语言中同一个作用域内不能重声明同名变量，但这和你要实现的动态调整数组容量需求无关。
• 要实现无需提前指定大小、可自动扩容的数组，必须通过指针+动态内存分配函数（malloc/realloc）实现，普通数组（包括C99引入的变长数组VLA）的大小在声明后无法改变，满足不了动态扩容的需求。

你的示例代码存在的问题 #

你的代码有多处未定义行为和逻辑错误，根本无法实现动态扩容：

1. 全局变量i未初始化，值是随机的，导致int aUniverso[i];创建的变长数组大小不确定，大概率直接触发内存访问错误。
2. 循环中直接用未初始化的i作为数组索引，第一次访问aUniverso[i]就已经越界，属于非法内存访问。
3. 变长数组的大小在声明后固定，就算i不断自增，数组的实际容量也不会变大，后续的scanf会持续越界写入，导致程序崩溃或数据错乱。
4. 循环条件while (aUniverso[i] >= 0)逻辑错误：i在scanf后已经自增，这里访问的是刚写入位置的下一个元素（可能是未初始化的垃圾值），判断逻辑完全不对。

正确的动态扩容数组实现 #

下面是用realloc实现的可动态扩容的代码，能在用户输入过程中自动调整数组大小：

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

int main() {
    int *aUniverso = NULL;
    int capacity = 0;  // 当前数组的总容量
    int count = 0;     // 已存储的元素个数
    int input;

    printf("输入数字，输入负数结束\n");

    while (1) {
        printf("位置[%d]: ", count);
        if (scanf("%d", &input) != 1) {
            // 处理输入错误
            fprintf(stderr, "输入无效\n");
            free(aUniverso);
            return 1;
        }

        if (input < 0) {
            break;
        }

        // 如果当前元素个数等于容量，执行扩容
        if (count == capacity) {
            // 第一次扩容设为4，之后每次翻倍，平衡效率与内存占用
            int new_capacity = (capacity == 0) ? 4 : capacity * 2;
            int *temp = realloc(aUniverso, new_capacity * sizeof(int));
            if (temp == NULL) {
                fprintf(stderr, "内存分配失败\n");
                free(aUniverso);
                return 1;
            }
            aUniverso = temp;
            capacity = new_capacity;
        }

        aUniverso[count] = input;
        count++;
    }

    // 打印结果
    printf("U = {");
    for (int ii = 0; ii < count; ii++) {
        if (ii > 0) {
            printf(", ");
        }
        printf("%d", aUniverso[ii]);
    }
    printf("}\n");

    // 释放动态分配的内存，避免内存泄漏
    free(aUniverso);
    return 0;
}

代码说明 #

• 用int *aUniverso作为动态数组的指针，初始为NULL。
• capacity记录当前数组的总容量，count记录已存入的元素数量。
• 每次元素个数达到容量时，用realloc扩容（第一次设为4，之后翻倍）。
• 每次realloc后要检查是否分配成功，避免内存分配失败导致程序崩溃。
• 最后必须用free释放动态分配的内存，防止内存泄漏。

内容的提问来源于stack exchange，提问作者Elias Gallardo Barraez