9.1. numbers — 数字的抽象基类
模块 (PEP 3141) 定义了数字 的层次结构,其中逐级定义了更多操作。 此模块中所定义的类型都不可被实例化。
class
数字的层次结构的基础。 如果你只想确认参数 x 是不是数字而不关心其类型,则使用 isinstance(x, Number)
。
class numbers.Complex
内置在类型 complex 里的子类描述了复数和它的运算操作。这些操作有:转化至 和 bool, 、 imag、+
、-
、*
、/
、 、 conjugate()、 ==
和 !=
。 所有的异常,-
和 !=
,都是抽象的。
imag
抽象的。得到该数字的虚数部分。
abstractmethod
conjugate
()
class numbers.Real
相对于 ,Real 加入了只有实数才能进行的操作。
简单的说,它们是:转化至 ,math.trunc()、 、 math.floor()、 、 divmod()、 //
、 %
、 、 <=
、 >
、 和 >=
。
实数同样默认支持 、 real、 和 conjugate()。
class numbers.Rational
子类型 并加入 numerator 和 两种属性,这两种属性应该属于最低的级别。加入后,这默认支持 float()。
numerator
抽象的。
denominator
抽象的。
子类型 加上转化至 int。 默认支持 、 numerator 和 。 在 **
中加入抽象方法和比特字符串的操作: <<
、 >>
、 &
、 ^
、 |
、 ~
。
9.1.2. 类型接口注释。
实现者需要注意使相等的数字相等并拥有同样的值。当这两个数使用不同的扩展模块时,这其中的差异是很微妙的。例如,用 实现 hash() 如下:
当然,这里有更多支持数字的ABC,如果不加入这些,就将缺少层次感。你可以用如下方法在 和 Real 中加入 MyFoo
:
9.1.2.2. 实现算术运算
我们希望实现计算,因此,混合模式操作要么调用一个作者知道参数类型的实现,要么转变成为最接近的内置类型并对这个执行操作。对于子类 Integral,这意味着 和 __radd__() 必须用如下方式定义:
有 5 种不同的混合类型的操作。 我将上面提到的所有代码作为“模板”称作 MyIntegral
和 OtherTypeIKnowAbout
。 是 Complex 的子类型 A
的实例 (a : A <: Complex
),同时 b : B <: Complex
。 我将要计算 a + b
:
由于对任何一直类型的大部分操作是十分相似的,可以定义一个帮助函数,即一个生成后续或相反的实例的生成器。例如,使用 如下: