也没有死循环，就是递归判断的时候，缺少了二分查找没有找到该值的情况。所以会出现s大于e的情况，直到数组越界