C语言malloc内存分配错误排查及数组使用疑问

错误原因 #

你的代码里直接触发编译错误的是最后一行pBuffer = &BLOCK_MEM;：

• BLOCK_MEM是int*类型的指针，它的地址&BLOCK_MEM属于int**（指向指针的指针）类型，而pBuffer是int*类型，两者类型不兼容，编译器会报类型不匹配的错误，这就是错误指向pBuffer的核心原因。

除此之外还有几个需要注意的潜在问题：

• int buffer[BLOCK_SIZE];：在C99标准之前，用变量作为数组大小的变长数组不属于标准C特性，如果你的编译器未开启C99及以上支持，这行也会报错。如果要兼容旧标准，建议用宏定义#define BLOCK_SIZE 512替代const int BLOCK_SIZE = 512。
• int *pBuffer = &buffer[BLOCK_SIZE];：buffer的有效下标范围是0到BLOCK_SIZE-1，&buffer[BLOCK_SIZE]是数组末尾的“哨兵”地址，这个指针本身合法，但绝对不能解引用（不能用*pBuffer取值），否则会访问越界内存，触发未定义行为。

关于数组使用的疑问 #

假设修正所有错误（比如把最后一行改成pBuffer = BLOCK_MEM;，或调整指针类型匹配），分两种情况看：

• 栈上数组buffer：只要访问下标在0到BLOCK_SIZE-1范围内，就能正常使用；超出范围会触发内存越界，可能导致程序崩溃、数据乱码等未定义行为。
• 堆上分配的BLOCK_MEM：只要malloc分配成功（返回值不为NULL），且访问下标在0到511之间，就能正常使用。注意用完后要调用free(BLOCK_MEM);释放内存，避免内存泄漏。

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