实现自定义数据结构时，如何无if语句高效处理负索引？

在Python中，序列的负索引规则是将索引值与序列长度相加得到实际索引：比如列表xs = [1,2,3,4]，xs[-1]等价于xs[len(xs)-1]，最终取值为4。

常规的负索引转换实现会用到条件判断：

def handle_index(index: int, length: int) -> int:
    if index < 0:
        return length + index
    return index

由于Python列表和NumPy数组已原生支持负索引，但在实现自定义序列数据结构时，我们需要更高效的无分支（无if语句）处理方案。此前查阅CPython和NumPy源码，未找到负索引处理的具体实现位置，以下是几种实用的无if高效实现方式：

方案1：模运算实现（最简洁） #

利用Python模运算对负数的自动处理特性，直接计算索引对序列长度的模：

def handle_index(index: int, length: int) -> int:
    return index % length

解释：Python的模运算会自动将负数索引转换为合法的正索引，例如-1 % 4结果为3，正好对应len(xs)-1；正数索引若在合法范围内，模长度后保持原索引值。该方案性能最优且代码极简。

方案2：布尔值数值特性转换 #

利用Python中True等价于1、False等价于0的特性，将条件判断转化为数值运算：

def handle_index(index: int, length: int) -> int:
    return index + (index < 0) * length

解释：当index < 0时，(index < 0)返回True即1，执行index + length；否则加0，直接返回原索引。

方案3：位运算符号位判断 #

通过位运算获取整数的符号位，再结合数学运算实现转换：

def handle_index(index: int, length: int) -> int:
    # 负数的符号位为-1，非负数为0
    sign = (index >> (index.bit_length() - 1)) if index != 0 else 0
    return index + length * sign

解释：对于负数，sign取值为-1，index + length*(-1)等价于length + index；非负数sign为0，直接返回原索引。

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