可恢复与不可恢复

文件不存在是可恢复的，数组越界是程序 bug 不可恢复。两者该用不同机制。