💡 实例
在一个排序算法中，我们设定“已排序部分始终在数组的最前面”为不变量，这样就能确保每一步操作都符合预期。