标准库中二分查找法的实现