对 循环不变量 的简单认识：

    变量的值是变化的，但是保持不变的性质，就是循环不变量；
    这里的「量」是一些人为定义的、可以判断真假的语句，在循环开始前、循环的过程中、循环结束以后，都为真；
    这里的「循环」是广义上的，并不一定指「循环」，也有可能是在「递归」的过程中。