为什么代码无法查找尾标

k<a[mid]的时候，high等于mid-1