Python中索引超出范围为何未抛出IndexError？布尔运算场景解析

这一现象的核心原因是Python布尔运算的短路求值机制，结合运算符优先级规则，部分越界索引的代码节点根本不会被实际执行，自然不会触发对应的IndexError。

基础测试复现 #

首先定义测试用列表：
list1 = [1, 2, 3]
两个表达式的实际运行表现：

• 执行True or True and list1[3] > 3：直接返回True，全程不抛出IndexError
• 执行False or True and list1[3] > 3：正常触发IndexError

底层逻辑说明 #

核心规则 #

Python布尔运算的固定运行规则有两点：

• 运算符优先级：and的计算优先级高于or
• 短路求值逻辑：
  • 遇到or运算时，只要左侧表达式算出真值，就直接返回这个真值，完全跳过右侧所有表达式的计算
  • 遇到and运算时，只要左侧表达式算出假值，就直接返回这个假值，完全跳过右侧所有表达式的计算

场景逐行拆解 #

• 对表达式True or True and list1[3] > 3：按照运算优先级拆分层级，or运算符的左值是独立的True。因为or左值已经是真值，直接触发短路，后续绑定在or右侧的整段内容（包括True and list1[3] >3）都不会被执行。由于越界的list1[3]访问从来没有被实际运行，自然不会抛出IndexError。
• 对表达式False or True and list1[3] > 3：or的左值是False，不满足短路条件，必须继续计算右侧的整段内容。此时走到True and list1[3] >3的计算节点，and的左值是True，也不满足and的短路条件，就会继续执行右值的list1[3]索引访问，这时候因为实际访问了超出列表长度的索引位置，就会正常触发IndexError。

避坑提示 #

Python是顺着执行流逐节点对表达式做即时求值的，不会提前扫描整个表达式的所有代码节点检查潜在错误。只要执行流因为短路逻辑跳过了越界索引的代码，哪怕这个索引本身已经远远超出列表最大长度，也不会触发对应的运行时错误。

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