首先你得知道：

s1是一個長度為100的字符數組。

s2是一個長度為4的字符數組。這是因為雖然你在聲明時沒有指定數組的長度，但是你用一個長度為4的字符串初始化s2，所以編譯器自動將s2的長度確定為4。

s3是一個長度為4的字符數組。道理同上。

strcat(s2, s3) 這個函數是將s3中的內容（包括s3結尾的'\0'）復制到s2中最后一個字符的后面（覆蓋掉s2原來結尾的'\0'），這樣就能把兩個字符串中的字符連起來了，并且還是'\0'結尾。

注意：這就需要s2有足夠的長度來容納這么多的字符，長度至少為 strlen(s2) + strlen(s3) + 1，最后這個1就是結尾的'\0'。

但是你的s2長度只有4，所以寫越界了。而后面的字符有可能寫入到了后面，也有可能無法成功寫入而發生錯誤。

為什么說是有可能呢？ 因為strcat這個函數就是從s2的最后寫入s3的內容，它不管你這個字符串到底要寫多長，也不知道容納它的數組有多長，其實它都不知道你的字符串是不是在數組中，它只是單純地在內存中往后寫。所以很可能寫出界，更糟的是可能會覆蓋掉后面的東西，引起各種各樣的錯誤，甚至是崩潰！ ?所以在真實的開發中千萬要注意數組訪問越界的問題。

在本站中它判斷你寫了?strcat( s1 , s3 ) 才算寫對。因為s1足夠長。