一个简单的数组越界的问题

小弟年纪尚小，还未学过编译原理，昨天在写二叉树的时候遇到了一个数组的越界问题
觉得不是很好理解，先将其简化，希望有学习过相关内容的前辈指点指点 觉得不是很