[問題] char str[]的用法求解

[ForWin (For Windows)]

開發平台(Platform): (Ex: Win10, Linux, ...) 
Win7

編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
TDM-GCC 4.9.2 64-bit Release

問題(Question)：
code1:
int main(){
    char a[]="Hello ";
    char b[]="World!";
    strcat(a,b);
    printf("%s",a);
    printf("%d",strlen(a));
}

code2:
int main(){
    char a[6]="Hello ";
    char b[6]="World!";
    strcat(a,b);
    printf("%s",a);
    printf("%d",strlen(a));
}


預期的正確結果(Expected Output)：
error，因為試圖取得沒有分配的記憶體

實際結果(Wrong Output)：
code1: Hello World!12
code2: Hello World!12


我原本以為

不管是code1或code2，在宣告完後都應該取得陣列大小為7的空間(包含\0)

我去看strcat的source code，也並沒有增加a的空間

但兩段code都可以印出Hello World!，而且a的長度也都增加了

請問我的觀念是否有地方出錯了呢?

謝謝指點

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 59.127.185.220
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1478671409.A.012.html
推 jerryh001: 你家蓋到隔壁去了 鄰居不在意的話當然沒差
推 steve1012: undefined behavior 只是剛好沒爆炸而已
→ steve1012: 你要知道C/C++是很危險的 存取過界不一定會爆炸
→ steve1012: 所以可以的話會多用container.. 比較安全一點
謝謝樓上二位，跟我想的差不多

但是連a的長度都增加有點無法理解

因為這樣看起來似乎a會自動放大?

儘管我可以佔用鄰居家，但是我a的大小為什麼會增加@@"

可以討論看看嗎?謝謝
※ 編輯: ForWin (59.127.185.220), 11/09/2016 14:28:53
推 soheadsome: 不是因為a變大 而是他要讀\0
→ soheadsome: 只能跑到b的位置才看得到
→ soheadsome: print strlen看字串結尾都是判斷\0
推 stupid0319: 這是程式溢位的高級技巧,破解還是駭客都用的到
謝謝樓上二位

是我沒把strlen搞清楚!!

剛剛試著用sizeof(a)/sizeof(a[0])

發現大小還是一樣是7

這樣沒有問題了!!

謝謝各位!!
※ 編輯: ForWin (223.139.36.33), 11/09/2016 15:04:53
→ pttworld: 這種行為你的問題在不同編譯器不保證相同處置。