二分查找基础模板、左右边界查找变种、STL 函数与常见应用场景。

循环不变量：先定区间 [left,right] 还是 [left,right)，循环条件和边界更新必须配套