溢出与类型转换

降序循环时，判断条件>=0可能会出错。

一个是溢出。一个是类型转换。

int转unsigned。

另，x>y不等价于x-y>0，如x=127，y=-128。（假设一个字节存。）

x-y=255=-1