有序数组上的经典二分：闭区间写法、mid 防溢出、左右边界收缩；C++ / Java / Python / Go 实现与复杂度分析。