到底什么是循环"不变量" 能否简单举例?解决办法

到底什么是循环"不变量"? 能否简单举例?
好多书上都有"不变量"这种说法，但是就是没有比较清楚的例子来说明到底什么是不变量。

各位大侠能给个明了的例子么?

[解决办法]

C/C++ code

#include <stdio.h>#include <string.h>int main(int argc, char **argv){    char    buf[1024];    int    len = 0;    int    sum1 = 0, sum2 = 0;    int    i = 0;    len = strlen( buf );//len就是循环不变量    for( i = 0; i < len; i++ )        sum1 += i;    for( i = 0; i < strlen(buf); i++ )        sum2 += i;    return sum1 + sum2;}
[解决办法]
支持楼上的说法