为何未初始化指针a的代码可编译运行？能否无大小声明初始化数组？

嘿，这个问题问到点子上了——很多刚接触C语言的同学都会踩这个坑，我来给你掰扯清楚～

其实核心在于C语言的编译规则和未定义行为的特性：

• 编译阶段：C编译器主要做语法合法性检查，未初始化指针的写法在语法上是合法的（只是不符合良好编程规范），所以编译器不会报错——顶多在开启-Wall这类警告选项时给你提个醒，但默认情况下不会阻止编译。
• 运行阶段：未初始化的指针会指向内存中一个随机的地址值。如果这个随机地址刚好落在当前程序有权限访问的内存区域里，读写操作就不会触发系统的内存保护（比如段错误），看起来就“运行无报错”。但这纯粹是运气！下次运行可能直接崩溃，或者悄悄修改了其他变量的内存，导致各种诡异的、难以排查的bug——这种情况属于未定义行为，C标准对这类行为的结果没有任何保证。

完全不是，这是一种严重的错误写法：

• 合法的“无需声明大小初始化数组”是这样的：比如int arr[] = {1, 3, 5};，此时编译器会自动根据初始化列表里的元素个数确定数组的大小，并在栈上分配对应大小的内存空间，这是C标准明确支持的语法。
• 而未初始化的指针int *a;只是一个用来存储内存地址的变量，它本身不会分配任何数组内存。你用它来“存储数字”，本质是在往随机的内存地址里写数据，和数组初始化没有半毛钱关系，完全是错误的操作。

如果要实现“读取数字直到遇到-1为止”的功能，应该用动态内存分配（或者先声明足够大的数组），比如：

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

int main() {
    int *num_array = NULL;
    int current_count = 0;
    int temp_num;
    // 初始分配能存10个整数的内存
    num_array = malloc(sizeof(int) * 10);
    if (num_array == NULL) {
        perror("内存分配失败");
        return 1;
    }

    while (scanf("%d", &temp_num) == 1 && temp_num != -1) {
        // 内存不够时扩容
        if (current_count >= 10) {
            int *temp_ptr = realloc(num_array, sizeof(int) * (current_count + 10));
            if (temp_ptr == NULL) {
                perror("内存扩容失败");
                free(num_array);
                return 1;
            }
            num_array = temp_ptr;
        }
        num_array[current_count++] = temp_num;
    }

    // 这里可以处理存储的数字，比如打印
    for (int i = 0; i < current_count; i++) {
        printf("%d ", num_array[i]);
    }

    // 记得释放动态分配的内存
    free(num_array);
    return 0;
}

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