Why left = mid and right = mid, instead of left = mid + 1 and right = mid - 1, in template #3?

I feel like it's because we want left != right when we exist the loop, is that correct?
Also wondering can we use left = mid and right = mid in template #1?

Comments (1)