C语言两种malloc使用方式区别及int指针声明疑问

两种写法的运行效果对比 #

两种写法在声明和赋值之间没有插入其他操作的前提下，最终运行效果完全等价，核心差异只是声明和赋值的时机：

• 第一种是拆分写法：先单独声明int *p，如果p是函数内的局部变量，声明完成后p是值随机的野指针，直到执行p = malloc(2 * sizeof(int));时，才会把malloc申请到的堆内存首地址赋值给p。
• 第二种是初始化写法：声明指针p的同时直接用malloc的返回值给p赋初值，不存在p作为野指针暴露的窗口期。

注意：如果第一种写法里，声明p和给p赋值malloc之间插入了其他代码，存在误用到未初始化野指针的风险，这也是工程里更推荐第二种写法的原因——从语法层面避免了指针未初始化的问题。

为什么必须用int *p接收malloc返回值，不能用int p #

核心原因是类型不匹配：

• malloc的返回值是void*类型，本质是内存地址，不是普通整数。如果用int p接收，p是存储普通整数值的变量：64位系统下int通常占4字节，而内存地址占8字节，赋值时会发生地址截断，后续访问内存直接触发段错误；就算在32位系统下int和地址长度相同，类型语义也完全不匹配，编译器会直接抛出类型错误。
• int *p声明的是指向int类型的指针变量，专门用来存储int数据的内存地址，变量长度和系统内存地址长度一致（32位下4字节、64位下8字节），可以正确承接malloc返回的堆地址，类型语义完全匹配。

为什么可以用p[0]、p[1]的数组形式操作 #

这是C语言下标运算符的固有规则：C标准里a[b]的本质就是*(a + b)，是指针偏移解引用的语法糖，并不要求a必须是静态声明的数组名。
你调用malloc(2 * sizeof(int))申请的是连续的、能容纳2个int值的堆内存空间，p保存了这块内存的首地址：

• p[0]等价于*p，对应这块连续内存的第一个int存储位置
• p[1]等价于*(p + 1)，对应首地址往后偏移1个int长度的第二个int存储位置
  这种写法就是C语言在堆上创建动态数组的标准用法，和静态数组的下标访问效果没有区别。

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