abstract invariant 是什么意思

首页 / 计算机科学 / abstract invariant

abstract invariant/ˈæbstrækt ɪnˈɛərɪənt/

抽象不变量 · 计算机科学概念

在程序设计中，指在某个特定代码段执行前后始终为真的条件或性质，用于验证程序的正确性。

💡 实例
在写一个排序函数时，程序员会设置一个“abstract invariant”：数组在每一步操作后都保持部分有序，这样就能保证最终结果是正确的。