对于直到型循环与当型循环而言，当开始第一次循环且循环条件为假时，下面叙述正确的是（）

参考答案:

答案：只有直到型循环的循环体会被执行1次，当型循环不会执行。

A.循环不变式具有在循环过程进行时保持不变的性质。

B.循环不变式具有保持循环次数不变的性质。

C.循环不变式具有保持循环控制变量的值不变的性质。

D.循环不变式具有保持循环上限值不变的性质。

正确答案：循环不变式具有在循环过程进行时保持不变的性质。