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

A.只有直到型循环的循环体会被执行1次，当型循环不会执行。

B.两者的循环体都会被执行1次

C.只有当型循环的循环体会被执行1次，直到型循环不会执行。

D.两者的循环体都不会被执行

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

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

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

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

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

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