18.8 assert：讓程式自我檢查（延伸知識）

最後一件小工具。寫程式時腦中隨時有一堆「這裡一定成立」的信念：讀進來的 n 一定在題目給的範圍內、算到這裡 sum 一定不是負數、陣列索引一定沒越界……bug 的本質，就是其中某個信念其實是錯的。assert 讓你把信念寫成程式，交給電腦逐一查核：