Loop Invariants for Binary Search
Loop Invariants for Binary Search — Chinese original prompt
我要在 [数据结构] 上二分查找 [目标条件]，返回第一个满足条件的位置。请先写出循环不变量：每轮开始时 [左界] 和 [右界] 各代表什么、区间是闭还是半开；据此写循环体，保证每轮区间严格缩小。最后给三个必须测的输入：空、单元素、全部不满足，写出各自期望返回值。
Site original
Chinese original
How to use
先定区间语义再写代码，差一错误几乎都来自闭开混用。