至少有一个 1 的最左端列

在题解中，每一行的搜索开始前将`start`重置为0是为了确保不错过可能存在于当前行更左侧的1。尽管`end`已被上一行的结果调整，但当前行可能在更左侧的列包含1。尽管这样做可能会导致一些重复的搜索，但它确保了算法不会错过任何更左侧的1，这对于找到最左端包含1的列是必要的。

使用`start + 1 < end`作为循环条件是为了防止二分搜索进入死循环，并在循环结束时留下两个潜在的候选列（即`start`和`end`），这两列需要进一步检查以确定哪一列是包含1的最左列。如果使用`start <= end`作为条件，可能在某些情况下，循环不会留下这两个候选列，从而可能错过最左侧的1。该方法不会导致漏检列，而是为了更准确地识别最左侧的1。

在二分搜索结束后，需要分别检查`start`和`end`位置的值，因为二分搜索的退出条件是`start + 1 < end`，这意味着最后`start`和`end`两点是相邻的，因此都有可能是最左端的1。仅检查`end`可能会错过`start`位置如果它更左侧且为1的情况。因此，为了确保找到最左侧的1，需要检查这两个位置。

如果在某一行中`last`已经是0，此时的逻辑依然会执行二分搜索，尽管此时的搜索区间非常小（从0到0）。这确实是一种资源的浪费，因为在这种情况下，没有必要执行二分搜索。为了优化，可以在开始搜索之前添加一个检查，如果`last`为0，则直接返回0，避免不必要的搜索。