C语言malloc疑问：仅分配2个int空间的全局数组为何可存10个值？

这是个非常经典的C语言内存管理坑，咱们一步步把它说清楚：

核心原因：缓冲区溢出 + C语言的“信任”机制 #

你遇到的是**缓冲区溢出（Buffer Overflow）**现象：

• 你通过malloc(size * sizeof(globalarray[0]))只申请了能容纳2个int的连续内存块，这块内存的边界是C语言不会帮你主动检查的。
• C语言设计上默认信任程序员会自己管好内存边界，所以当你用globalarray[i]访问i≥2的位置时，编译器和运行时都不会阻止你——你其实是在往这块内存后面不属于你的内存区域写数据。

为什么没立刻崩溃？只是暂时“运气好” #

你能成功赋值却没报错，完全是因为那些超出的内存地址刚好属于当前进程的可用内存（可能是栈上的临时变量、其他堆内存块，或者是进程预留的空闲内存），你写入的时候暂时没破坏到关键数据（比如函数返回地址、其他重要变量）。

但这种行为属于未定义行为（Undefined Behavior）——它的结果是不可预测的：下一次运行程序可能直接崩溃，或者悄悄篡改了其他变量的值，导致出现莫名其妙的bug，甚至可能被恶意利用来执行非法代码。

正确的做法 #

想要安全地存储数据，必须严格遵守内存分配的边界：

1. 提前分配足够的空间：如果确定要存10个int，一开始就把size设为10：

int size = 10;
globalarray = malloc(size * sizeof(globalarray[0]));

2. 动态扩容（如果需要后续增加元素）：用realloc调整内存大小，并且一定要检查分配是否成功：

// 假设需要把数组扩容到10个元素
int new_size = 10;
int *temp_ptr = realloc(globalarray, new_size * sizeof(int));
if (temp_ptr != NULL) {
    globalarray = temp_ptr;
} else {
    // 处理内存分配失败的情况，避免内存泄漏
    free(globalarray);
    exit(EXIT_FAILURE);
}

3. 循环时严格限制索引范围：确保循环的终止条件不超过实际分配的元素数量，比如你分配了2个元素，循环就应该写i < 2而不是i < 10。

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