此时
当low和high指在某个相同的位置mid时(此时low,mid,high指向同一位置),mid的左边元素小于19,因为low左边的元素一定小于19,mid右边的元素大于19,因为high右边的元素大于19。我们需要寻找的是位置是大于或等于19的第一个位置。因此由于mid左<19<mid右,因此19要么在mid要么在mid右。若此时mid值>19,high指向mid左。那么mid就是大于等于19的第一个位置,也就是low所指。若mid值<19,low指向mid右。mid右就是第一个大于等于19的位置。 综上所述 当low>high时,low所指位置即为所求。