首先，假设表中元素是按升序排列，将表中间位置记录的关键字与查找关键字比较，如果两者相等，则查找成功；否则利用中间位置记录将表分成前、后两个子表，如果中间位置记录的关键字大于查找关键字，则进一步查找前一子表，否则进一步查找后一子表。重复以上过程，直到找到满足条件的记录，使查找成功，或直到子表不存在为止，此时查找不成功。

伪代码：
BinarySearch(max,min,des)
mid-<(max+min)/2
while(min<=max)
mid=(min+max)/2
if mid=des then
return mid
elseif mid >des then
max=mid-1
else
min=mid+1
return max

c++ int BinSearch(SeqList *R，int n,KeyType K) { //在有序表R[0..n-1]中进行二分查找，成功时返回结点的位置，失败时返回-1 int low=0,high=n-1,mid； //置当前查找区间上、下界的初值 while(low<=high) { if(R[low].key==K) return low; if(R[high].key==k) return high; //当前查找区间R[low..high]非空 mid=low+(high-low)/2; /*使用(low+high)/2会有整数溢出的问题 （问题会出现在当low+high的结果大于表达式结果类型所能表示的最大值时， 这样，产生溢出后再/2是不会产生正确结果的，而low+((high-low)/2) 不存在这个问题*/ if(R[mid].key==K) return mid; //查找成功返回 if(R[mid].key<K) low=mid+1; //继续在R[mid+1..high]中查找 else high=mid-1; //继续在R[low..mid-1]中查找 } if(low>high) return -1;//当low>high时表示所查找区间内没有结果，查找失败 }