循环不变的错误

Question

这是一个旧的期中考试。我正在考虑为我的决赛学习。

Fun(int n, int A[]){
    for(i = 0;i < A.length; i += 2){
        A[i] = n;
    }
    return;
}

在A [i]的赋值之前，它在循环开始之后的位置请求循环不变量。它还询问了不变量和退出条件对退出时环路实现的含义的影响。

我回答：

  

循环不变量是i＆lt;则为a.length

     

退出条件是i> = A.length

     

这与i + = 2意味着数组A在每个偶数n条目上的条目等于n小于或等于A.length

我没有获得完全的信任，并认为这可能是由于循环不变。任何人都可以澄清吗？