下面是对按从小到大排列的有序数组a[n]中进行二分查找x的算法，若查找成功返回该元素下标，否则返回-1。