自减，自增都是针对变量的，其值是正还是负没关系，只需要判断超越范围，当一个整数是最小负数时，自减会出错变成正数，这和数学上的数的运算不一样，计算机的整数，实数长度是有限的，可以表示的数的个数是有限的，必要时要处理那种极端情况，才能保正程序不仅理论上正确，运行时一样正确。