为何Python if语句中的'and not'逻辑分支会被触发执行？

核心错误原因 #

你遇到的分支判断不符合预期的问题，本质是对Python的运算符优先级、and运算规则、真值判断规则的误解导致的，具体规则如下：

• Python中in/not in运算符的优先级高于and/or逻辑运算符，条件不会按照你设想的“两个in判断同时成立”来解析
• 非空字符串在布尔判断中永远返回True
• and是短路运算符，会从左到右判断运算数：若左侧运算数为假，直接返回左侧值；若左侧为真，返回右侧运算数的结果

你的代码条件的实际运算过程 #

你的测试变量为test = '977'，我们逐个拆解每个分支的条件实际运算逻辑：

1. 第一个if条件：if 'RB' and '+' in test: #

该条件不会被解析为('RB' in test) and ('+' in test)，而是按照优先级拆分计算：

1. 先计算'+' in test：test中无+，返回False
2. 再计算'RB' and False：'RB'是非空字符串，布尔值为True，所以and返回右侧的False，条件不成立，跳过该分支

2. 第一个elif条件：elif ',' and 'RB' in test: #

1. 先计算'RB' in test：test中无RB，返回False
2. 再计算',' and False：','是非空字符串，布尔值为True，所以and返回右侧的False，条件不成立，跳过该分支

3. 第二个elif条件：elif 'RB' and not ',' in test: #

1. 先计算',' in test：test中无逗号，返回False，取反后为True
2. 再计算'RB' and True：'RB'为True，所以and返回True，条件成立，进入打印c的分支

修正逻辑说明 #

你找到的修正写法if ('RB' in t) and (not ',' in t):是正确的，通过括号明确了运算优先级，先分别计算两个括号内的in判断结果，再对两个布尔结果做and运算，符合你原本的业务逻辑预期。

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