malloc如何确定内存块的索引单位大小？个人理解求验证

你的猜想绝大多数是正确的，只有一个核心认知需要纠正：内存索引的单位规则和malloc完全无关，是C语言的指针类型特性在编译阶段就确定的。

详细解释 #

• malloc 本身的能力非常简单：它只负责分配你指定字节数的未初始化原始内存，返回的是void*类型的无类型指针，既不知道也不关心你拿到这段内存后要存什么类型的数据，更不会定义所谓的「索引单位」。
• 你将malloc返回的void*指针赋值给什么类型的指针变量，对应的索引规则就由这个指针的基类型决定：C语言规定p[i]等价于*(p + i)，指针做加法时的偏移步长恒等于sizeof(指针的基类型)，这个规则是编译器在编译代码时就确定的，和运行时的malloc调用没有任何关系。

比如你示例中的char **array，它的基类型是char*，所以array[i]的偏移步长就是sizeof(char*)，也就是你假设的8字节，完全符合你推导的计算逻辑：array[i]对应的地址就是array存储的首地址 + 8 * i，从该地址读取8个字节的内容就是对应位置存储的char*指针值，你画的内存结构示意图完全正确。

你举的整型数组例子也完全正确：如果定义int* ten_int_array = malloc(10 * sizeof(int))，该指针的基类型是int，那么ten_int_array[i]的偏移步长就变成sizeof(int)，和malloc没有任何关联。

另外你示例代码里有一个典型的越界错误：你只给array[0]、array[1]、array[2]三个指针分配了内存，但后面的free循环跑了10次，会访问array[3]到array[9]的越界内存，属于未定义行为，运行时大概率会崩溃。

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