c语言关于数组的越界问题

在这个代码中输入12345678换行12345678
最后的结果输出结果是##12345678##第一次因为越界没输出，为什么第二次就输出完整，它的内部机理是什么？

字符数组大小只有8个，你输入12345678的话，正好填满，但你输出用%s，就要求字符数组是字符串。字符串要求字符数组最后一个字符是'\0'，否则会在内存中一直向后找到第一个'\0'才算结束。你这个输出具有偶然性