Python基础语法里操作符这块看着不起眼却是很多人写代码“感觉哪里不对”的根源。前几天我给自己准备了一套“python测验1操作符”不是那种随手就能选对的选择题而是把算术、比较、逻辑、位运算、类型转换这些知识点混在一起模拟真实代码里运算符互相纠缠的情况。做完之后我又把每个表达式逐一推导了一遍发现自己在负数整除、短路求值、布尔类型继承这些地方也差点翻车。这篇就把这轮测验的完整拆解过程写出来包括我为什么这样出题、每道题背后在考什么、平时写代码最容易踩的坑以及怎么把这些基础真正转化成写代码的直觉。1. 这次“python测验1操作符”的定位与考点设计1.1 为什么第一个测验先考操作符很多Python入门者会把时间花在列表推导、装饰器、类与继承这些看起来更“高级”的语法上操作符这种天天都在用的基础反而成了知识体系里的盲区。我帮人做代码审查的时候见过有人用^做幂运算见过1 x 5这种链式比较被拆开重写也见过if not user or user is None这种逻辑完全重复的条件判断。这些代码都能跑但要么结果不对要么表达啰嗦根源都在操作符理解不够扎实。操作符决定了表达式的求值顺序、返回类型、边界行为。写复杂业务逻辑的时候一个//和/的差别一个and返回值的差别可能直接影响线上数据的正确性。我之所以先拿操作符开刀做测验就是想在最基础也最容易忽略的层面把问题暴露出来。1.2 测验整体结构三组题12个考点这轮测验总共分三组每组四题一共十二题。第一组考算术操作符和优先级第二组考比较、逻辑、成员判断的混合场景第三组考位运算、一元操作符和类型转换。每道题都不是孤立的单一知识点而是把两个或多个规则叠在一起逼着你按求值顺序一步步推导。组别考查方向涉及操作符设计意图第一组算术与优先级//、%、**、搞清整除方向和幂的结合性第二组比较与逻辑、and、or、理解链式比较和逻辑返回值第三组一元与位运算~、、、int()、bool()题目不采用“背答案”式问答因为真实代码里很少只有一个运算符多数情况都是几个符号叠在一起优先级、结合性、隐式转换互相纠缠一步错后面全错。1.3 出题原则贴近真实代码不玩偏题怪题出题的时候我给自己定了一条规矩不为了难而难。凡是正常人根本不会那么写的代码我一律不采用。比如把一堆按位运算符叠成天书除了炫技没有任何价值。我更愿意出那种“看起来很简单但实际求值过程里藏着一个反直觉点”的题。比如0 or 2 and 3一眼扫过去很普通但如果你心里对and优先级高于or没有概念对“逻辑运算返回的是操作数本身而非布尔值”没有印象很可能就答错了。这种题在真实代码里随时可能出现尤其是写默认值、做条件判断的时候。所以说刷这套题的重点不是把十二个答案记住而是把每道题的推导过程吃透。2. 操作符核心知识查漏补缺2.1 算术操作符整除、取模、幂里的反直觉规则算术操作符看起来最简单实际上隐藏着好几个反直觉的点。第一个就是整除//的方向问题。5 // 2的结果是 2这个谁都清楚但-5 // 2的结果是 -3很多人就懵了。原因在于 Python 的整除是向下取整也就是往负无穷方向取不是简单地去掉小数部分。-5 / 2在数学上是 -2.5向下取整后就是 -3。取模运算符%的符号规则同样容易出错。Python 里a % b的结果符号跟除数b保持一致。所以-5 % 2等于 15 % -2等于 -1。你可以用divmod(a, b)来验证divmod(-5, 2)返回(-3, 1)正好满足a (a // b) * b (a % b)也就是-5 (-3) * 2 1。这套规则在循环索引、时钟回绕、分页计算里特别常用理解透了能省很多调试时间。幂运算**也有一个隐藏属性右结合。2 ** 3 ** 2不是从左往右算而是先算右边的3 ** 2 9再算2 ** 9 512。另外我提醒一个很容易踩的优先级坑-2 ** 2在 Python 中的结果是 -4因为**的优先级比一元负号更高所以它被解析成-(2 ** 2)而不是(-2) ** 2。如果你是刚接触 Python建议动手跑一下-2 ** 2和(-2) ** 2感受一下差别。2.2 比较与链式比较值相等、对象同一性与可读性Python 的链式比较是一种非常简洁的写法。1 x 5等价于1 x and x 5但中间的 x 只会求值一次。这个特性不光让代码更贴近数学表达还能避免因为重复调用函数导致的不一致。比如0 get_value() 100如果get_value()有副作用链式写法保证它只执行一次。比较操作符里最容易被忽略的是和is的区别。比较的是值相等它会调用对象的__eq__方法is比较的是对象身份也就是id()是否相同。Python 对小整数和短字符串有缓存机制比如a 256; b 256; a is b通常是 Truea 257; b 257; a is b通常是 False。但这类行为依赖实现细节千万别在业务代码里拿is去比较数字或字符串老老实实用。判断 None 的时候才推荐用is None这是 Python 社区约定俗成的惯例。Python 3 还移除了 Python 2 时代的运算符现在只保留!。并且 Python 3 里对不同类型直接比较会抛TypeError比如1 abc这在 Python 2 里是可以执行的结果还非常离谱。如果你从旧代码迁移过来这种隐藏变化最容易让人困惑。2.3 逻辑操作符返回值的真意和短路求值and、or、not这三个操作符最核心的知识点是and和or返回的是操作数本身而不一定是布尔值。and从左到右求值遇到第一个假值就返回它如果全是真值就返回最后一个真值。or正好相反遇到第一个真值就返回它如果全是假值就返回最后一个假值。所以0 or default返回字符串default1 and ok返回字符串ok。这种特性在写配置默认值时非常实用name user_input or anonymous当用户输入为空时自动用默认值。短路求值意味着右边的表达式不一定执行。比如x ! 0 and 10 / x 2如果x是 0左边为 False右边根本不会执行也就不会抛出除零异常。这既是保护性写法也是性能优化手段。不过反过来说如果你依赖表达式右边的副作用比如在or右边调用了一个写日志的函数一旦左边判断成功右边的日志就永远不会写这种 bug 非常隐蔽。优先级上not高于andand高于or。所以not 0 or 2 and 3要先算not 0得 True再算2 and 3得 3最后True or 3得 True。注意这里返回的是布尔值 True因为not永远返回布尔值即使它的操作数不是布尔类型。2.4 位操作符和一元操作符调试源码时最需要的底子位操作符包括按位与、按位或|、按位异或^、按位取反~、左移、右移。它们平时用的频率不高但在权限系统、标志位合并、颜色通道提取、二进制协议解析这些场景里是绕不开的基础。一元操作符是配“单个操作数”的运算符包括一元负号-x、一元正号x、按位取反~x、逻辑取反not x。其中最有迷惑性的是~x。~5的结果是 -6原因在于 Python 的整数是任意精度的补码表示按位取反等价于-x - 1。如果你只看数字表面~5 -6确实反直觉但放在补码里就很自然。位运算里还有很多实用的技巧。判断一个整数是不是 2 的幂可以用x (x - 1) 0判断奇偶可以用x 1快速乘除 2 的整数次幂可以用x n和x n。移位运算有个典型的优先级坑2 1 3的结果是 32因为的优先级比高实际上计算的是2 (1 3)不是(2 1) 3。这种坑在真实代码里碰到过好几次印象很深。2.5 赋值操作符链式、增强赋值和海象运算符赋值操作符除了最基础的还有、-、*、/、//、%、**、、|、^、、。增强赋值本身不复杂但结合可变对象时要特别注意。比如a [1]执行b a; b [2]因为对列表是原地修改a也会跟着变成[1, 2]。链式赋值a b []有个经典陷阱a和b指向同一个列表对象修改其中一个另一个也会变。如果需要两个独立的列表必须写成a []; b []或者用b a.copy()。Python 3.8 之后新加了海象运算符:可以在表达式内部完成赋值。典型的场景是while (line : file.readline()) ! 这样可以避免在循环前面单独写一行初始化代码也能让readline()只调用一次。海象运算符刚出来的时候争议不小但它在某些场景下确实能减少重复变量声明值得尝试。3. 测验题逐题拆解从答案到原理3.1 算术与优先级题先算幂再取整最后合并题1print(-5 // 2)输出的结果是什么答案-3解析//是向下取整也就是去不大于结果的最大整数。-5 / 2 -2.5向下取整得到-3。如果按照“直接去掉小数部分”的错误直觉会答成-2那就错了。题2print(-5 % 2)输出的结果是什么答案1解析%的结果符号与除数一致除数是2结果一定是非负数。用公式验证-5 // 2 -3-3 * 2 -6-5 - (-6) 1。注意-5 % 2和5 % -2结果是不同的后者是-1。题3print(2 ** 3 ** 2)输出的结果是什么答案512解析幂运算右结合所以先算3 ** 2 9再算2 ** 9 512。如果从左往右算2 ** 3 8再8 ** 2 64答案就完全不同了。题4print(10 12 // 3 ** 2 * 2)输出的结果是什么答案12解析优先级从高到低是**、//和*同级、。先算3 ** 2 9再算12 // 9 1接着1 * 2 2最后10 2 12。这类题目就是考察“优先级 同级从左到右”的心算能力。3.2 比较与逻辑题返回值不等于布尔值题5print(1 2 1)输出的结果是什么答案False解析这是链式比较等价于1 2 and 2 1。1 2为 True2 1为 FalseTrue and False 结果为 False。有人会先算1 2得 True然后拿 True 去和 1 比这种思路不对链式比较不是这样的求值顺序。题6print(0 or 2 and 3)输出的结果是什么答案3解析and优先级高于or。先算2 and 3因为两边都是真值and返回最后一个真值3再算0 or 30是假值or返回第一个真值3。这个结果不是布尔值而是整数3。题7print(1 True and 0 False)输出的结果是什么答案True解析在 Python 中bool是int的子类True等于1False等于0。所以1 True为 True0 False为 True整体为 True。这也是为什么不要用if x True的原因直接if x更安全因为2 True其实是 False。题8print( or None or [])输出的结果是什么答案[]解析or遇到第一个真值就返回如果全是假值就返回最后一个假值。这里的三个值、None、[]都是假值所以最后一个假值[]被返回。注意它返回的是空列表对象本身不是布尔值 False。3.3 位运算与类型转换题负数补码和布尔继承题9print(~5)输出的结果是什么答案-6解析~x是逐位取反在补码表示下等价于-x - 1。所以~5 -5 - 1 -6。这类题靠公式记答案容易但要真明白补码的表盘式结构才能理解负数在内存里的表示。题10print(int(-3.99))输出的结果是什么答案-3解析int()对浮点数做的是向零取整也就是直接砍掉小数部分而不是四舍五入也不是向下取整。-3.99向零取整后是-3不是-4。如果你需要四舍五入应该用round()需要向下取整就用math.floor()。题11print(bool(False))输出的结果是什么答案True解析bool()判断一个对象是否为真值规则是“非空即真”。字符串False是长度为 5 的非空字符串所以是 True。这个题很经典因为False看起来像 False但它只是普通字符串不是空字符串。只有空字符串、空列表[]、0、None才是假值。题12print(5 3 | 6)输出的结果是什么答案7解析位运算优先级高于|。先算5 35的二进制是1013是011按位与得到001也就是1。再算1 | 61是0016是110按位或得到111也就是7。如果忽略优先级从左往右算(5 | 3)会得到7再7 6得6结果完全不同。3.4 批改完试卷后我额外圈出的三个重点把这十二道题全部推完我自己最深的三个感受一是优先级表比想象中更容易跟直觉打架尤其是**、一元运算符、算术运算符的层级二是and、or返回的是操作数不是布尔值这个特性在日常代码里的使用频率远超想象三是负数相关的//和%如果不理解“向下取整”和“符号跟随除数”这两条规则基本只能靠猜。我还做了一张简化版优先级速查表按从高到低排优先级操作符类别举例最高幂运算**高一元操作符-x、x、~x中高算术乘除*、/、//、%中算术加减、-中低移位、低按位与、异或、或、^、更低比较、!、、、、、is、in很低not、and、ornot x、a and b、a or b如果你能把这张表记在心里基本就能应对 95% 以上的求值顺序问题。4. 操作符实战中的高频坑位盘点4.1 浮点数比较永远别直接写0.1 0.2 0.3在 Python 里是 False这是浮点数二进制表示导致的精度问题。很多新手第一次碰到会以为 Python 算错了实际上所有主流编程语言都有这个问题只是展示方式不同。处理办法有几个用math.isclose()做近似比较用round()控制精度或者在大金额场景直接用decimal.Decimal和fractions.Fraction。我自己的经验是数值比较场景里先问自己“这两个值是怎么来的”。如果是经过多次运算得到的浮点数几乎不可能精确相等直接写就是埋雷。换math.isclose(a, b, rel_tol1e-9)成本很低但能省很多排查时间。4.2 负数取模别凭直觉填答案-7 % 3等于 27 % -3等于 -2。这两条规则非常反直觉但它在实际中很有用。比如你在实现一个循环队列的索引回绕index (current - 1) % size如果current为 0减 1 之后变成 -1-1 % size能正确回绕到最后一个位置这正是取模的符号规则带来的好处。如果总是搞混最可靠的办法是牢记公式a (a // b) * b (a % b)或者直接用divmod(a, b)一次性拿到商和余数来验证。我在代码里看到可疑的取模逻辑时第一件事就是在心里跑一遍divmod确认符号方向对不对。4.3 短路求值既是优化也可能制造隐藏 bug短路求值是 Python 一个很大的优点比如x ! 0 and 10 / x 2能安全地避免除零异常。但反过来说它也可能隐藏 bug。最常见的场景是用or给变量设置默认值user_level age or 18。如果age是 00 or 18会返回 18导致合法值 0 被默认值覆盖。这里的 0 显然是一个有意义的业务数据却被当成了“没填”。所以在业务代码里我建议区分“数值为 0”和“没有值”。如果 0 是合法输入就不要用or做默认值改用显式判断user_level age if age is not None else 18。这个坑看着小但在数据统计、评分系统里会造成非常隐蔽的错误。4.4 is 与 身份和值不是一回事比较值is比较对象身份。正常情况下a b为 True 不代表a is b为 True。很多人习惯用is来判断 None这是正确的因为 None 是单例对象。但有人把这种习惯带到所有比较里就有风险了。我见过一个真实的 bug自定义类重写了__eq__让不同对象在某些条件下相等然后代码里用if item is target判断业务上的“相等”结果条件永远为 False。反过来也一样如果依赖小整数缓存用is比较两个大整数结果在本地环境可能为 True在生产环境因为内存分配策略不同又变成 False。所以规则很简单值比较用身份比较用is不要混着用。4.5 操作符重载能力的边界恰恰是风险Python 允许你在自定义类里重载操作符比如实现__add__就能让对象支持实现__lt__就能支持。这在写向量、矩阵、时间区间这类领域模型时非常方便但也很容易被滥用。我见过一个同学在类里把__sub__写成“删除某个属性”导致所有读代码的人都是一头雾水。操作符重载要遵循“语义自然”的原则应该有“合并、累加、追加”的感觉-应该有“移除、减少”的感觉应该有“业务上相等”的感觉。如果你实现的操作符行为和直觉差距太大就别用重载老老实实写一个remove()或merge()方法可读性比炫技重要得多。5. 把操作符基础转化成代码能力5.1 培养“求值顺序心算法”而不是死记优先级表优先级表不是用来背的是用来查漏补缺的。真正写代码时面对复杂表达式我的习惯是先看有没有括号有括号先算括号没有括号从高优先级到低优先级逐层拆。如果表达式复杂到一眼看不清不要犹豫直接加括号表达意图。(a b) * c比a b * c多几个字符但读起来零歧义。更进一步可以用ast模块把表达式解析成语法树看看 Python 到底是怎么理解这段代码的。比如ast.dump(ast.parse(2 1 3, modeeval))你会看到BinOp的嵌套结构一目了然。调试的时候这招比猜优先级快得多。5.2 下一步练习用操作符重构旧代码如果不知道怎么练我建议翻一翻自己以前写的代码专门找出那些条件判断和计算的片段试着用今天聊的操作符特性去简化。比如把if len(lst) 0改成if lst把if flag is False改成if not flag把重复逻辑用链式比较合并。不需要大改先从小处着手。我自己在整理完这套题之后最大的体会是基础语法就像一个工具箱操作符是其中最常用的一层。你知道有|可以做标志位合并有海象运算符可以减少重复计算有链式比较让代码更像自然语言这些工具才能在合适的时机被拿出来用。如果连“有没有这个东西”都不清楚写代码就只能在一个小圈子里打转。最后再分享一个小经验如果你拿不准某个表达式的执行顺序与其翻文档猜不如直接打开 Python 解释器跑一遍再配合dis.dis看一眼字节码看看实际执行顺序和你理解的是不是一致。我每一次发现“原来我一直理解错了”的时刻都来自这样的动手验证。