五 推算程序输出-char溢出-strlen

推算程序输出:
int main()
{
char a[1000];
int i;
for(i=0;i＜1000;i++)
{
a[i]=-1-i;
}
printf("%d",strlen(a));
return 0;
}

strlen是遇到0出结果，循环1000次，char是-128~127，肯定会溢出，进而有0产生，主要是推断何时出0。
a[i]=-1-i
a[0]=-1,a[1]=-2 ... ... a[127]=-128 到达char最小阈值要注意了，-128=0xFFFF_FF80(32位实际补码存储结果)，
a[128]=-128-1=(-128)+(-1) //计算机内部把减法用加法处理，所以
a[128]=0xFFFF_FF80+0xFFFF_FFFF（-1补码）
0xFFFFFF80
+ 0xFFFFFFFF
-----------------
0x0000007F=127
a[128]=127
a[129]=126 //-1-i,i递增，a[i]=a[i-1]-1。
... ...
a[255]=0 →strlen读到0停止计数，[0]~[254]
a[256]=-1
共255个，最后输出是255。