C语言 读程序题

[s1='a','b','c','f',0,x]
strcpy(s1,"eg");[s1='e','g',0,'f',0,x]
i=0;[i=0],i<5成立,开始循环: s1[i]!='\0'成立s1[i]+=1;[s1[0]='e'+1='f'][s1='f','g',0,'f',0,x]
i++;[i=1],i<5成立,继续循环: s1[i]!='\0'成立s1[i]+=1;[s1[1]='g'+1='h'][s1='f','h',0,'f',0,x]
i++;[i=2],i<5成立,继续循环: s1[i]!='\0'不成立s1[i]='a';[s1='f','h','a','f',0,x]
i++;[i=3],i<5成立,继续循环: s1[i]!='\0'成立s1[i]+=1;[s1[3]='f'+1='g'][s1='f','h','a','g',0,x]
i++;[i=4],i<5成立,继续循环: s1[i]!='\0'不成立s1[i]='a';[s1='f','h','a','g','a',x]
i++;[i=5],i<5不成立,结束循环
puts(s1);输出：fhaga
这里有一个问题，只有在debug调试环境下才能确保上述s1数组的最后一个数x等于0，否则不能保证puts输出到此结束

strlen的结果是：3
三个字符分别是：'\t','\v','\\'，遇到'\0'为字符串结束，strlen统计到此为止