单次查找时间复杂度：只要check函数严谨就是O(log2n)只要check函数严谨就是O(log_2n)只要check函数严谨就是O(log2 n)