C语言中i++与数组定位疑问：为何k[3]的值为4？

首先看你提供的代码：

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

int main()
{
    int *k, j =10;
    k = calloc(j, sizeof(int));
    
    for(int i=0; i<j; i++){
    k[i] = (i++) +2;

    }
    
    printf("%d", k[3]);

    return 0;
}

循环执行的完整流程 #

for循环的执行顺序是：初始化 → 判断条件 → 执行循环体 → 执行增量操作 → 回到判断条件，以此循环。我们一步步拆解：

• 初始i=0，满足i<10，进入循环体：
  执行k[i] = (i++) +2，此时i为0，所以k[0] = 0 + 2 = 2，执行i++后i变为1。
  接着执行for循环的增量操作i++，i变为2。
• i=2，满足i<10，进入循环体：
  执行k[2] = (2++) +2，k[2] = 2 + 2 =4，i变为3。
  增量操作i++后，i变为4。
• i=4，满足条件：
  k[4] =4++ +2 =6，i变为5，增量后i=6。
• i=6，满足条件：
  k[6] =6++ +2=8，i变为7，增量后i=8。
• i=8，满足条件：
  k[8] =8++ +2=10，i变为9，增量后i=10。
• i=10，不满足i<10，循环结束。

此时数组k的元素为：
k[0]=2, k[1]=0, k[2]=4, k[3]=0, k[4]=6, k[5]=0, k[6]=8, k[7]=0, k[8]=10, k[9]=0

关于你看到k[3]=4的可能原因 #

按照代码逻辑，k[3]应该是calloc初始化的0，出现4的情况大概率是以下问题：

• 运行的代码与提供的不一致：比如循环体误写为k[i++] = i +2，或者把i++换成了++i，导致下标赋值范围变化。
• 输出下标混淆：可能实际输出的是k[2]而非k[3]，k[2]的值确实是4。
• 内存初始化问题：如果把calloc换成了malloc，未初始化的内存会是随机值，恰好k[3]的随机值为4。

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