# Invariant 还是 Variant? 这取决于具体语境,两者含义相反: ## Invariant(不变量/不变式) **含义**:在某种变换或过程中**保持不变**的性质或量。 常见用法: - **程序设计**:循环不变量(loop invariant)——循环每次迭代前后都成立的条件,常用于证明算法正确性 - **类不变量**(class invariant)——对象在整个生命