int mid = ( lo + hi ) / 2 这步，其实是 floor( ( lo + hi ) / 2 )
如果 lo = mid + 1 的话，lo 正好是 target，那么 hi 会递减到 lo + 1 为止，然后 下一步 ( lo + hi ) / 2 就是 lo
如果 hi = mid - 1 这步执行之后，hi 正好是 target，那他就永远找不到了，因为 lo 递增到 hi - 1 之后，( lo + hi ) / 2 还是 lo

你可以试试 nums = [1, 2, 3, 4, 5] target = 2