A&&B
A为真,才会判断B,
所以如果B访问越界的情况下必有A为假,那么代码是正确的
像这里,当child + 1 >= n时,a[child + 1]越界访问,
但由于&&前面判断了child + 1 < n为假,所以不会执行后面的代码就没有越界访问,
代码是正确的
A&&B
A为真,才会判断B,
所以如果B访问越界的情况下必有A为假,那么代码是正确的
像这里,当child + 1 >= n时,a[child + 1]越界访问,
但由于&&前面判断了child + 1 < n为假,所以不会执行后面的代码就没有越界访问,
代码是正确的