用左闭右闭和左闭右开两种写法，理解 mid、边界和循环条件。

整理 interface、type、联合类型、泛型和类型收窄的常见写法。