不是说一定不行，也有可能可以。像你这种定义就有可能可以，因为如果s1,s2 在分配内存时就是连续的，那么就是越界了，你这条打印出来也会对，因为他没有越界到别的地方，都是字符串空间，你要同时把s2也打印出来，看看s2有没有被改变。c并不检测越界，只有在动行时有可能会出现执行错误。
可以，strcat(a,"b");a是数组名，b是字符‘b’,这里用双引号。