不变条件 在计算机科学中不变条件是指在程序执行过程或部分过程中可始终被假定成立的条件比如循环不变条件是指在循环开始和结束后始终成立的条件