将Int32转为UInt32做范围检查的优势及适用场景解析

先贴出对应的代码片段：

public T this[int index] {
    get {
        // Following trick can reduce the range check by one
        if ((uint) index >= (uint)_size) {
            ThrowHelper.ThrowArgumentOutOfRangeException();
        }
        Contract.EndContractBlock();
        return _items[index]; 
    }

    set {
        if ((uint) index >= (uint)_size) {
            ThrowHelper.ThrowArgumentOutOfRangeException();
        }
        Contract.EndContractBlock();
        _items[index] = value;
        _version++;
    }
}

1. (uint)index >= (uint)_size 相比 index >= _size 的优势 #

常规的索引合法性检查需要做两次判断：index < 0 || index >= _size——因为index是有符号整数，可能为负数。但转成无符号整数后，负数的int会被映射成超大的uint值（比如int的-1转uint是4294967295），此时只需要一次(uint)index >= (uint)_size判断，就能同时覆盖两种非法情况：

• 当index为负数时，转成uint后必然远大于_size（_size作为集合长度肯定非负）
• 当index >= _size时，转成uint后的比较结果依然成立

这就把两次条件检查合并成一次，既简化了代码，又减少了CPU分支判断，在高频调用的场景下能明显提升性能。

2. 除溢出场景外，该转换的技术概念 #

这是利用二进制补码特性，将有符号整数的符号位转化为数值位，实现正负值的统一范围映射。有符号int的最高位是符号位（0表示正，1表示负），转成uint时，这个符号位会被当作普通数值位处理，因此负数会直接映射到uint的高半区（大于2^31-1的区间），正数则保持原有数值。这种转换可以把原本需要区分正负的边界检查，统一成单一的数值比较逻辑。

3. 开发者可运用该技巧的特定场景 #

• 集合/数组的索引校验：像List这类场景，确保索引非负且不超过容器长度，用一次判断替代两次，简化代码同时提升性能
• 数值范围的边界校验：当需要检查某个有符号整数是否落在[0, N)这类非负区间时，用该技巧可以合并判断逻辑
• 性能敏感的底层代码：比如高频调用的工具方法、数据结构核心逻辑，减少分支判断能降低CPU分支预测失败的概率，提升执行效率
• 位运算相关场景：需要将有符号数的符号位当作数值位参与计算时，转换为无符号整数可以避免符号扩展带来的干扰

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