正确重载运算符1
需积分: 0 123 浏览量
2022-08-03
14:48:20
上传
评论
收藏 413KB PDF 举报
正确重载运算符
运算符重载的作是让户定义
的对象使中缀运算符（如 + 和
|）或元运算符（如 - 和
~） 。
Python 施加些限制，做好
灵活性、可性和安全性
的平衡
能重载内置类型的运算符
能新建运算符，只能重载现有
的
某些运算符能重载——is、
and、or 和 not（过位运算符
&、| 和 ~ 可以）
元运算符
三个运算符和对应的特殊法
-（__neg__）元取负算术运算
符。如果 x 是 -2，那么 -x ==
2。
+（__pos__）元取正算术运算
符。通常，x == +x，但也有些
外。如果好奇，请阅读“x 和
+x 何时相等”附注栏。
多数时候，+ 最好返回 self 的副
本。
~（__invert__）对整数按位取
反，定义为 ~x == -(x+1)。如果
x 是 2，那么 ~x == -3。
遵守运算符的个基本规则：始
终返回个新对象。也就是说，
能修改 self，要创建并返回合
适类型的新实。
重载向加法运算符+
序应该持 + 运算符（于拼
接） ，以及 * 运算符（于重
复复制） 。
实现元运算符和中缀运算符的
特殊法定能修改操作数。
使这些运算符的表达式期待结
果是新对象。
只有增赋值表达式可能会修改
第个操作数（self） ，参
13.6 节。
为持涉及同类型的运算，
Python 为中缀运算符特殊法
提供特殊的分派机制。
对表达式 a + b 来说，解释会
执以下步操作
(1) 如果 a有 __add__法，且
返回值是 NotImplemented，
调 a.__add__(b)，然后返回结
果。
(2) 如果 a 没有 __add__ 法，
或者调 __add__ 法返回
NotImplemented，检查 b 有没
有__radd__ 法，如果有，且
没有返回 NotImplemented，调
b.__radd__(a)，然后返回结
果。
(3) 如果 b 没有 __radd__
法，或者调 __radd__ 法返
回 NotImplemented，抛出
TypeError，并在错误消息中指
明操作数类型持。
__radd__ 是 __add__ 的“反
射” （reflected）版本或“反
向” （reversed）版本。
如果中缀运算符法抛出异常，
就终运算符分派机制。对
TypeError 来说，通常最好将其
捕获，然后返回
NotImplemented。
NotImplemented 值是异常
这样，解释会尝试调反向运
算符法，如果操作数是同的
类型，对调之后，反向运算符
法可能会正确计算。
重载标乘法运算符*
__mul__ 和 __rmul__ 法
采鸭类型技术，在 __mul__
法中捕获 TypeError。
鹅类型
使isinstance() 检查参数的类
型，但是硬编码具体的类型。
参考数字塔，如检查
numbers.Real 抽象基类
这个抽象基类涵盖我们所需的
全部类型，且还持以后声明
为 numbers.Real 抽象基类的真
实类或虚拟类的数值类型。
众多较运算符
Python 解释对众多较运算
符（==、!=、>、<、>=、<=）
的处与前类似，过在两个
有重区别。
正向和反向调使的是同系
法。
如， 对 ==来说，正向和反向
调都是 __eq__ 法，只是把
参数对调；正向的 __gt__
法调的是反向的 __lt__
法，并把参数对调。
对 == 和 != 来说，如果反向调
失败，Python 会较对象的
ID，抛出 TypeError。
定义 __eq__ 法，且它
返回 NotImplemented，__ne__
会对 __eq__ 返回的结果取反。
增赋值运算符
如果个类没有实现表 13-1
出的就地运算符，增赋值运算
符只是语法糖：a += b 的作与
a = a + b 完全样。
对可变类型来说，这是预期的
为，且，如果定义
__add__ 法的话，编写额
外的代码，+= 就能使。
然，如果实现就地运算符
法，如 __iadd__，计算 a +=
b 的结果时会调就地运算符
法。
这种运算符的名称表明，它们会
就地修改左操作数，会创建
新对象作为结果。
可变类型，如 Vector 类，
定能实现就地特殊法。
增赋值特殊法必须返回
self。
般来说，如果中缀运算符的正
向法（如 __mul__）只处与
self 属于同类型的操作数，那
就需实现对应的反向法（如
__rmul__） ，因为按照定义，反
向法是为处类型同的操
作数。
评论0