微软的BinarySearch

  
    

   
     private
   
      
   
     static
   
      
   
     int
   
      BinarySearch(T[] array, 
   
     int
   
      index, 
   
     int
   
      length, T value)
{
 
   
     int
   
      lo 
   
     =
   
      index;
 
   
     int
   
      hi 
   
     =
   
      index 
   
     +
   
      length 
   
     -
   
      
   
     1
   
     ;
 
   
     while
   
      (lo 
   
     <=
   
      hi)
 {
 
   
     int
   
      i 
   
     =
   
      lo 
   
     +
   
      ((hi 
   
     -
   
      lo) 
   
     >>
   
      
   
     1
   
     );
 
   
     int
   
      order;
 
   
     if
   
      (array[i] 
   
     ==
   
      
   
     null
   
     )
 {
 order 
   
     =
   
      (value 
   
     ==
   
      
   
     null
   
     ) 
   
     ?
   
      
   
     0
   
      : 
   
     -
   
     1
   
     ;
 }
 
   
     else
   
     
 {
 order 
   
     =
   
      array[i].CompareTo(value);
 }

 
   
     if
   
      (order 
   
     ==
   
      
   
     0
   
     )
 {
 
   
     return
   
      i;
 }

 
   
     if
   
      (order 
   
     <
   
      
   
     0
   
     )
 {
 lo 
   
     =
   
      i 
   
     +
   
      
   
     1
   
     ;
 }
 
   
     else
   
     
 {
 hi 
   
     =
   
      i 
   
     -
   
      
   
     1
   
     ;
 }
 }

 
   
     return
   
      
   
     ~
   
     lo;
}
  
    

最后一手~lo精妙。如果找不到value。当hi = lo + 1时。

1.如果value > lo。必然发生lo = lo + 1。~~lo落在插入点。

2.如果value < lo。必然发生lo。~~lo依然落在插入点上。

证毕