AI / コーディングとデバッグ

二分探索のループ不変条件

二分探索のループ不変条件（中国語の原文）

我要在 [数据结构] 上二分查找 [目标条件]，返回第一个满足条件的位置。请先写出循环不变量：每轮开始时 [左界] 和 [右界] 各代表什么、区间是闭还是半开；据此写循环体，保证每轮区间严格缩小。最后给三个必须测的输入：空、单元素、全部不满足，写出各自期望返回值。