C#二分查找代码优化：提升可读性与运行效率的方案

原实现采用步长减半偏移中点的写法可正常运行，但存在变量语义模糊、补丁式边界处理、硬编码循环次数、潜在越界风险等问题，以下从可读性、性能两个维度给出优化方案，同时提供无需定义ourLength变量的标准实现。

可读性优化方向 #

• 替换语义模糊的变量名：放弃原代码中pointer/ourLength这类自定义语义的变量，改用行业通用的left/right/mid表示搜索边界和中点，无需额外注释就能让其他开发者快速理解逻辑
• 删除补丁式逻辑：去掉ourLength == 0时强制赋值为2的特殊处理，用边界自然收敛的逻辑覆盖所有搜索场景，没有特殊分支的代码更易读也更不易出错
• 替换硬编码循环逻辑：原代码用for循环固定执行array.Length-1次，实际二分查找只需要在左右搜索边界交叉时终止即可，循环终止条件和搜索逻辑强绑定，不需要人为设定迭代次数
• 补充基础入参校验：增加数组为空、数组长度为0的判断，避免非法入参触发无意义的计算甚至运行时异常

运行性能优化方向 #

• 减少冗余运算：原实现每次迭代都要维护步长变量、做步长除法和修正，标准边界收敛实现仅需更新边界值、计算一次中点，单轮迭代的运算量更低
• 消除越界风险：原实现的指针偏移逻辑没有边界约束，极端场景下会出现数组索引越界，触发异常的开销远高于正常查找流程；标准实现天然将中点约束在当前搜索区间内，不会出现越界访问
• 提升分支预测效率：将相等判断放在分支最后，先通过大小判断收敛边界，更符合CPU分支预测的偏好，能降低分支预测失败带来的性能损耗
• 规避整数溢出问题：中点计算采用left + (right - left) / 2的写法，替代(left + right) / 2，避免大数组场景下两个索引相加超出int最大值导致的溢出错误

无ourLength变量的标准实现 #

以下是采用左闭右闭区间逻辑的二分查找实现，完全不需要额外维护步长变量，逻辑简洁鲁棒：

public class Program
{
    public static int BinarySearch(int[] array, int target)
    {
        if (array == null || array.Length == 0)
            return -1;
        
        int left = 0;
        int right = array.Length - 1;

        while (left <= right)
        {
            int mid = left + (right - left) / 2;
            
            if (array[mid] > target)
            {
                right = mid - 1;
            }
            else if (array[mid] < target)
            {
                left = mid + 1;
            }
            else
            {
                return mid;
            }
        }

        return -1;
    }

    static void Main(string[] args)
    {
        Console.WriteLine("Result = " + BinarySearch(new int[] { 1, 5, 23, 111 }, 111));
    }
}

该实现时间复杂度稳定为O(log n)，没有多余的变量开销，和通用算法教材中的二分查找逻辑完全一致，维护成本更低。

内容的提问来源于stack exchange，提问作者raicha