码迷,mamicode.com
首页 > 编程语言 > 详细

Python 接口:从协议到抽象基类

时间:2017-08-23 20:46:39      阅读:256      评论:0      收藏:0      [点我收藏+]

标签:ase   ted   ext   隐藏   its   main   perror   随机数   没有   

  抽象基类的常见用途:实现接口时作为超类使用。然后,说明抽象基类如何检查具体子类是否符合接口定义,以及如何使用注册机制声明一个类实现了某个接口,而不进行子类化操作。最后,说明如何让抽象基类自动“识别”任何符合接口的类——不进行子类化或注册。

 

Python文化中的接口和协议

  接口在动态类型语言中是怎么运作的呢?首先,基本的事实是,Python语言没有 interface 关键字,而且除了抽象基类,每个类都有接口:类实现或继承的公开属性(方法或数据属性),包括特殊方法,如__getitem__ 或 __add__。

  按照定义,受保护的属性和私有属性不在接口中:即便“受保护的”属性也只是采用命名约定实现的(单个前导下划线);私有属性可以轻松地访问,原因也是如此。不要违背这些约定。

  另一方面,不要觉得把公开数据属性放入对象的接口中不妥,因为如果需要,总能实现读值方法和设值方法,把数据属性变成特性,使用obj.attr 句法的客户代码不会受到影响。 Vector2d 类就是这么做的,Vector2d 类的第一版,x 和 y 是公开属性。

vector2d_v0.py:x 和 y 是公开数据属性

1 class Vector2d:
2 
3     def __init__(self, x, y):
4         self.x = x
5         self.y = y
6 
7     def __iter__(self):
8         return (n for n in (self.x, self.y))

我们把 x 和 y 变成了只读特性。这是一项重大重构,但是 Vector2d 的接口基本没变:用户仍能读取my_vector.x 和 my_vector.y。

 1 class Vector2d:
 2 
 3     def __init__(self, x, y):
 4         self.__x = x
 5         self.__y = y
 6 
 7     @property
 8     def x(self):
 9         return self.__x
10 
11     @property
12     def y(self):
13         return self.__y
14 
15     def __iter__(self):
16         return (i for i in (self.x, self.y))

 

Python喜欢序列 

  Python 数据模型的哲学是尽量支持基本协议。对序列来说,即便是最简单的实现,Python 也会力求做到最好。

  下图展示了定义为抽象基类的 Sequence 正式接口。

技术分享

Sequence 抽象基类和 collections.abc 中相关抽象类的UML 类图,箭头由子类指向超类,以斜体显示的是抽象方法 

现在,看看下面??中的 Foo 类。它没有继承 abc.Sequence,而且只实现了序列协议的一个方法: __getitem__ (没有实现 __len__ 方法)。

>>> class Foo:
...   def __getitem__(self, pos):
...     return range(0, 30, 10)[pos]
...
>>> f = Foo()
>>> f[1]
10
>>> for i in f: print(i)
...
0 
10 20 >>> 20 in f True >>> 15 in f False

  虽然没有 __iter__ 方法,但是 Foo 实例是可迭代的对象,因为发现有__getitem__ 方法时,Python 会调用它,传入从 0 开始的整数索引,尝试迭代对象(这是一种后备机制)。尽管没有实现 __contains__ 方法,但是 Python 足够智能,能迭代 Foo 实例,因此也能使用 in 运算符:Python 会做全面检查,看看有没有指定的元素。

  综上,鉴于序列协议的重要性,如果没有 __iter__ 和 __contains__方法,Python 会调用 __getitem__ 方法,设法让迭代和 in 运算符可用。

下面的FrenchDeck 类也没有继承 abc.Sequence,但是实现了序列协议的两个方法:__getitem__ 和 __len__。

 1 class FrenchDeck:
 2     ranks = [str(n) for n in range(2, 11)] + list(JQKA)
 3     suits = spades diamonds clubs hearts.split()
 4 
 5     def __init__(self):
 6         self._cards = [Cards(rank, suit) for suit in self.suits
 7                                          for rank in self.ranks]
 8 
 9     def __len__(self):
10         return len(self._cards)
11 
12     def __getitem__(self, pos):
13         return self._cards[pos]

 

使用猴子补丁在运行时实现协议

   FrenchDeck 类有个重大缺陷:无法洗牌。如果 FrenchDeck 实例的行为像序列,那么它就不需要 shuffle 方法,因为已经有 random.shuffle 函数可用,文档中说它的作用是“就地打乱序x”(https://docs.python.org/3/library/random.html#random.shuffle)。

标准库中的 random.shuffle 函数用法如下:

>>> from random import shuffle
>>> my_list = list(range(1, 11))
>>> shuffle(my_list)
>>> my_list
[5, 7, 9, 2, 10, 1, 8, 6, 4, 3]

然而,如果尝试打乱 FrenchDeck 实例,会出现异常,如下面的 ??  所示。

Traceback (most recent call last):
  File "/Users/demon/PycharmProjects/FluentPython/接口:从协议到抽象基类/FrenchDeck.py", line 37, in <module>
    shuffle(deck)
  File "/Library/Frameworks/Python.framework/Versions/3.6/lib/python3.6/random.py", line 274, in shuffle
    x[i], x[j] = x[j], x[i]
TypeError: FrenchDeck object does not support item assignment

  错误消息相当明确,“‘FrenchDeck‘ object does not support itemassignment”(‘FrenchDeck‘ 对象不支持为元素赋值)。这个问题的原因是,shuffle 函数要调换集合中元素的位置,而 FrenchDeck 只实现了不可变的序列协议可变的序列还必须提供 __setitem__ 方法

解决办法为FrenchDeck 打猴子补丁,把它变成可变的,让random.shuffle 函数能处理

 1 from collections import namedtuple
 2 from random import shuffle
 3 
 4 Cards = namedtuple(Cards, [rank, suit])
 5 
 6 class FrenchDeck:
 7     ranks = [str(n) for n in range(2, 11)] + list(JQKA)
 8     suits = spades diamonds clubs hearts.split()
 9 
10     def __init__(self):
11         self._cards = [Cards(rank, suit) for suit in self.suits
12                                          for rank in self.ranks]
13 
14     def __len__(self):                      #获取长度的len
15         return len(self._cards)
16 
17     def __getitem__(self, position):        #能够支持切片取值的处理
18         return self._cards[position]
19 
20 
21 deck = FrenchDeck()                         #实例化
22 
23 def set_card(deck, position, card):         #猴子不定,其实就是启动调用内部__setitem__设置值得外部函数
24     deck._cards[position] = card
25 
26 FrenchDeck.__setitem__ = set_card           #把猴子补丁传递给内部的魔术方法
27 shuffle(deck)                               #打乱洗牌的序列
28 print(deck[:5])                             #获取前五个卡牌的值

以上代码的执行结果为:

[Cards(rank=K, suit=diamonds), Cards(rank=4, suit=spades), Cards(rank=A, suit=clubs), Cards(rank=K, suit=spades), Cards(rank=6, suit=clubs)]

  这里的关键是,set_card 函数要知道 deck 对象有一个名为 _cards 的属性,而且 _cards 的值必须是可变序列。然后,我们把 set_card 函数赋值给特殊方法 __setitem__,从而把它依附到 FrenchDeck 类上。这种技术叫猴子补丁:在运行时修改类或模块,而不改动源码。猴子补丁很强大,但是打补丁的代码与要打补丁的程序耦合十分紧密,而且往往要处理隐藏和没有文档的部分。

 

定义抽象基类的子类

在下面的?? 中,我们明确把 FrenchDeck2 声明为collections.MutableSequence 的子类。

frenchdeck2.py:FrenchDeck2,collections.MutableSequence的子类

 1 import collections
 2 
 3 
 4 Card = collections.namedtuple(Card, [rank, suit])
 5 
 6 
 7 class FrenchDeck2(collections.MutableSequence):
 8     ranks = [str(i) for i in range(1, 11)] + list(JQKA)
 9     suits = spades diamonds clubs hearts.split()
10 
11     def __init__(self):
12         self._cards = [Card(rank, suit) for suit in self.suits
13                                         for rank in self.ranks]
14 
15     def __len__(self):                              #支持查看长度
16         return len(self._cards)
17 
18     def __getitem__(self, position):                #支持切片
19         return self._cards[position]
20 
21     def __setitem__(self, position, value):         #支持洗牌
22         self._cards[position] = value
23 
24     def __delitem__(self, position):                #但是继承MutableSequence的类必须实现 __delitem__ 方法,这是MutableSequence 类的一个抽象方法。
25         del self._cards[position]
26 
27     def insert(self, position, value):              #此外,还要实现insert方法,这是MutableSequence类的第三个抽象方法
28         self._cards.insert(position, value)

Sequence 和 MutableSequence 抽象基类的方法不全是抽象的。

技术分享

MutableSequence 抽象基类和 collections.abc 中它的超类的 UML 类图(箭头由子类指向祖先;以斜体显示的名称是抽象类和抽象方法)

 FrenchDeck2 从 Sequence 继承了几个拿来即用的具体方法__contains__、__iter__、__reversed__、index 和count。FrenchDeck2 从MutableSequence 继承了append、extend、pop、remove 和__iadd__。 

 

标准库中的抽象基类 

  从 Python 2.6 开始,标准库提供了抽象基类。大多数抽象基类在collections.abc 模块中定义,不过其他地方也有。例如,numbers和 io 包中有一些抽象基类。但是,collections.abc 中的抽象基类最常用。我们来看看这个模块中有哪些抽象基类。

collections.abc模块中的抽象基类

  技术分享

collections.abc 模块中各个抽象基类的 UML 类图

 

Iterable、Container 和 Sized

  各个集合应该继承这三个抽象基类,或者至少实现兼容的协议。Iterable 通过 __iter__ 方法支持迭代,Container 通过__contains__ 方法支持 in 运算符,Sized 通过 __len__ 方法支持len() 函数。

Sequence、Mapping 和 Set

  这三个是主要的不可变集合类型,而且各自都有可变的子类

MappingView

  在 Python 3 中,映射方法 .items()、.keys() 和 .values() 返回的对象分别是 ItemsView、KeysView 和 ValuesView 的实例。前两个类还从 Set 类继承了丰富的接口。

Callable 和 Hashable

  这两个抽象基类与集合没有太大的关系,只不过因为collections.abc 是标准库中定义抽象基类的第一个模块,而它们又太重要了,因此才把它们放到 collections.abc 模块中。我从未见过Callable 或 Hashable 的子类。这两个抽象基类的主要作用是为内置函数 isinstance 提供支持,以一种安全的方式判断对象能不能调用或散列。

 Iterator

  注意它是 Iterable 的子类。继 collections.abc 之后,标准库中最有用的抽象基类包是numbers

抽象基类的数字塔

  numbers 包(https://docs.python.org/3/library/numbers.html)定义的是“数字塔”(即各个抽象基类的层次结构是线性的),其中 Number 是位于最顶端的超类,随后是 Complex 子类,依次往下,最底端是 Integral类:

  • Number

  • Complex

  • Real

  • Rational

  • Integral 

  因此,如果想检查一个数是不是整数,可以使用 isinstance(x,numbers.Integral),这样代码就能接受 int、bool(int 的子类),或者外部库使用 numbers 抽象基类注册的其他类型。为了满足检查的需要,你或者你的 API 的用户始终可以把兼容的类型注册为numbers.Integral 的虚拟子类。

  与之类似,如果一个值可能是浮点数类型,可以使用 isinstance(x,numbers.Real) 检查。这样代码就能接受bool、int、float、fractions.Fraction,或者外部库(如NumPy,它做了相应的注册)提供的非复数类型。

 

定义并使用一个抽象基类

  为了证明有必要定义抽象基类,我们要在框架中找到使用它的场景。想象一下这个场景:你要在网站或移动应用中显示随机广告,但是在整个广告清单轮转一遍之前,不重复显示广告。假设我们在构建一个广告管理框架,名为 ADAM。它的职责之一是,支持用户提供随机挑选的无重复类。 为了让 ADAM 的用户明确理解“随机挑选的无重复”组件是什么意思,我们将定义一个抽象基类。

  受到“栈”和“队列”(以物体的排放方式说明抽象接口)启发,我将使用现实世界中的物品命名这个抽象基类:宾果机和彩票机是随机从有限的集合中挑选物品的机器,选出的物品没有重复,直到选完为止。

  我们把这个抽象基类命名为 Tombola,这是宾果机和打乱数字的滚动容器的意大利名。

Tombola 抽象基类有四个方法,其中两个是抽象方法。

  • .load(...):把元素放入容器。
  • .pick():从容器中随机拿出一个元素,返回选中的元素

另外两个是具体方法。

  • .loaded():如果容器中至少有一个元素,返回 True。
  • .inspect():返回一个有序元组,由容器中的现有元素构成,不会修改容器的内容(内部的顺序不保留)。

展示了 Tombola 抽象基类和三个具体实现。

技术分享

 

一个抽象基类和三个子类的 UML 类图。根据 UML 的约定,Tombola 抽象基类和它的抽象方法使用斜体。虚线箭头用于表示接口实现,这里它表示 TomboList 是 Tombola 的虚拟子类,因为TomboList 是注册的

 1 import abc
 2 
 3 
 4 class Tombola(abc.ABC):                                         #自己定义的抽象基类要继承abc.ABC
 5 
 6     @abc.abstractmethod
 7     def load(self, iterable):                                   #抽象方法使用@abstractmethod装饰器标记,而且定义体中通常只有文档字符串
 8         """从可迭代对象中添加元素"""
 9 
10     @abc.abstractmethod
11     def pick(self):                                             #根据文档字符串,如果没有元素可选,应该抛出LookupError
12         """随机删除元素,然后返回
13            如果实例为空,这个方法应该抛出‘LookupError‘
14         """
15 
16     def loaded(self):                                           #抽象基类可以包含具体方法
17         """如果至少有一个元素,返回`True`,否则返回`False`。"""
18         return bool(self.inspect())
19 
20     def inspect(self):
21         """返回一个有序元组,由当前元素构成。"""
22         items = []
23         while True:
24             try:
25                 items.append(self.pick())                       
26             except LookupError:
27                 break
28         self.load(items)                                        #使用 .load(...)把所有元素放回去
29         return tuple(sorted(items))                             #返回排序好的items攻loaded调用

  选择使用 LookupError 异常的原因是,在 Python 的异常层次关系中,它与 IndexError 和 KeyError 有关,这两个是具体实现 Tombola的数据结构最有可能抛出的异常。据此,实现代码可能会抛出LookupError、IndexError 或 KeyError 异常。

异常类的部分层次结构 

BaseException
├── SystemExit
├── KeyboardInterrupt
├── GeneratorExit
└── Exception
        ├── StopIteration
        ├── ArithmeticError
        │ ├── FloatingPointError
        │ ├── OverflowError
        │ └── ZeroDivisionError
        ├── AssertionError
        ├── AttributeError
        ├── BufferError
        ├── EOFError
        ├── ImportError
        ├── LookupError      #我们在 Tombola.inspect 方法中处理的是 LookupError 异常   
        │ ├── IndexError     #IndexError 是 LookupError 的子类,尝试从序列中获取索引超过最后位置的元素时抛出 
        │ └── KeyError       #使用不存在的键从映射中获取元素时,抛出 KeyError 异常
        ├── MemoryError
        ... etc.                                    

  我们自己定义的 Tombola 抽象基类完成了。为了一睹抽象基类对接口所做的检查,下面我们尝试使用一个有缺陷的实现来糊弄 Tombola,如下面的 ?? 所示

不符合 Tombola 要求的子类无法蒙混过关

>>> from tombola import Tombola
>>> class Fake(Tombola):               # 把Fake声明为Tombole的子类,继承抽象类
...         def pick(self):
...             return 13
...
>>> Fake                         #  创建Fake类,目前木有毛线问题~
<class __main__.Fake>
>>> f = Fake()                     # 报错了,Python认为Fake类是抽象类,因为没有实现load方法
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: Cant instantiate abstract class Fake with abstract methods load    

抽象基类句法详解

  声明抽象基类最简单的方式是继承 abc.ABC 或其他抽象基类。

  然而,abc.ABC 是 Python 3.4 新增的类,因此如果你使用的是旧版Python,那么无法继承现有的抽象基类。此时,必须在 class 语句中使用 metaclass= 关键字,把值设为 abc.ABCMeta(不是 abc.ABC)。在下面的?? ,可以写成:

class Tombola(metaclass=abc.ABCMeta):
    # ...

metaclass= 关键字参数是 Python 3 引入的。在 Python 2 中必须使用__metaclass__ 类属性:

class Tombola(object): # 这是Python 2!!!
    __metaclass__ = abc.ABCMeta
    # ...

  除了 @abstractmethod 之外,abc 模块还定义了@abstractclassmethod、@abstractstaticmethod 和@abstractproperty 三个装饰器。然而,后三个装饰器从 Python 3.3起废弃了,因为装饰器可以在 @abstractmethod 上堆叠,那三个就显得多余了。例如,声明抽象类方法的推荐方式是:

class MyABC(abc.ABC):
    @classmethod
    @abc.abstractmethod
    def an_abstract_classmethod(cls, ...):
        pass    

定义Tombola抽象基类的子类

  定义好 Tombola 抽象基类之后,我们要开发两个具体子类,满足Tombola 规定的接口。

  下面的?? 中的 BingoCage 类,使用了更好的随机发生器。 BingoCage 实现了所需的抽象方法 load 和 pick,从 Tombola 中继承了 loaded 方法,覆盖了 inspect 方法,还增加了__call__ 方法。

 1 import random
 2 import abc
 3 
 4 
 5 class Tombola(abc.ABC):                                         #自己定义的抽象基类要继承abc.ABC
 6 
 7     @abc.abstractmethod
 8     def load(self, iterable):                                   #抽象方法使用@abstractmethod装饰器标记,而且定义体中通常只有文档字符串
 9         """从可迭代对象中添加元素"""
10 
11     @abc.abstractmethod
12     def pick(self):                                             #根据文档字符串,如果没有元素可选,应该抛出LookupError
13         """随机删除元素,然后返回
14            如果实例为空,这个方法应该抛出‘LookupError‘
15         """
16 
17     def loaded(self):                                           #抽象基类可以包含具体方法
18         """如果至少有一个元素,返回`True`,否则返回`False`。"""
19         return bool(self.inspect())
20 
21     def inspect(self):
22         """返回一个有序元组,由当前元素构成。"""
23         items = []
24         while True:
25             try:
26                 items.append(self.pick())
27             except LookupError:
28                 break
29         self.load(items)                                        #使用 .load(...)把所有元素放回去
30         return tuple(sorted(items))                             #返回排序好的items攻loaded调用
31 
32 
33 #下面的代码应该单端放到一个py文件中,为了省事,就不在单独放到一个模块里面导入了~
34 
35 class BigoCage(Tombola):                                        #明确指定BingoCage类扩展Tombola类
36 
37     def __init__(self, items):
38         self._randomizer = random.SystemRandom()                #假设我们将在线上游戏中使用这个。random.SystemRandom使用os.urandom(...) 函数实现randomAPI
39         self._items = []
40         self.load(items)                                        #委托.load(...)方法实现初始加载
41 
42     def load(self, items):
43         self._items.extend(items)                               #如果通过load方法传递一个可迭代的对象进来,可以扩展到以后的self._items的列表中
44         self._randomizer.shuffle(self._items)                   #没有使用random.shuffle而是使用了SystemRandom中的shuffle方法
45 
46     def pick(self):
47         try:
48             return self._items.pop()
49         except IndexError:
50             raise LookupError(pick from empty BingoCage)
51 
52     def __call__(self):
53         self.pick()
54 
55 b = BigoCage(range(10))
56 print(b.pick())

下面是 Tombola 接口的另一种实现,虽然与之前不同,但完全有效。LotteryBlower 打乱“数字球”后没有取出最后一个,而是取出一个随机位置上的球。

 lotto.py:LotteryBlower 是 Tombola 的具体子类,覆盖了继承的 inspect 和 loaded 方法

 1 import random
 2 
 3 from tombola import Tombola
 4 
 5 
 6 class LotteryBlower(Tombola):
 7 
 8     def __init__(self, iterable):
 9         self._balls = list(iterable)                #创建一个副本
10 
11     def load(self, iterbale):
12         self._balls.extend(iterbale)                #把一个可迭代的对象添加到列表中
13 
14     def pick(self):
15         try:
16             position = random.randrange(len(self._balls))   #获取一个随机数
17         except ValueError:
18             raise LookupError(pick from empty LotteryBlower)
19         return self._balls.pop(position)            #删除列表中通过列表长度获取的随机数位置的索引值
20 
21     def loaded(self):
22         return bool(self._balls)
23 
24     def inspect(self):
25         return tuple(sorted(self._balls))

 

 

Python 接口:从协议到抽象基类

标签:ase   ted   ext   隐藏   its   main   perror   随机数   没有   

原文地址:http://www.cnblogs.com/demon89/p/7417717.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!