Pythonic二分查找实现原理如何解析?