xún huán bù biàn shì · ㄒㄩㄣˊ ㄏㄨㄢˊ ㄅㄨˋ ㄅㄧㄢˋ ㄕˋ · 更新 2026-07-12 06:21:35
循环不变式是在循环体的每次执行前后均为真的谓词。循环不变式体现了循环程序中循环变量的变化规律。