堆排序算法的代碼比較讓人困惑的部分

如果不知道以下規則，實現算法就不可能了。
0
1 2
3 4 5 6
假設有一個堆存在數組中，某個元素在數組中的下標爲N
則：父節點的下標爲 (N - 1)/2，
左鄰子節點的下標爲2*N + 1,
右鄰子節點的下標爲2*N + 2