18.3.2 折半查找算法