Python不可变数据结构举例分析
这篇文章主要讲解了“Python不可变数据结构举例分析”,文中的讲解内容简单清晰,易于学习与理解,下面请大家跟着小编的思路慢慢深入,一起来研究和学习“Python不可变数据结构举例分析”吧!
蒙城网站建设公司创新互联,蒙城网站设计制作,有大型网站制作公司丰富经验。已为蒙城上千提供企业网站建设服务。企业网站搭建\成都外贸网站建设公司要多少钱,请找那个售后服务好的蒙城做网站的公司定做!
我们从思考正方形和矩形开始。如果我们抛开实现细节,单从接口的角度考虑,正方形是矩形的子类吗?
子类的定义基于里氏替换原则。一个子类必须能够完成超类所做的一切。
如何为矩形定义接口?
from zope.interface import Interface class IRectangle(Interface): def get_length(self): """正方形能做到""" def get_width(self): """正方形能做到""" def set_dimensions(self, length, width): """啊哦"""
如果我们这么定义,那正方形就不能成为矩形的子类:如果长度和宽度不等,它就无法对 set_dimensions
方法做出响应。
另一种方法,是选择将矩形做成不可变对象。
class IRectangle(Interface): def get_length(self): """正方形能做到""" def get_width(self): """正方形能做到""" def with_dimensions(self, length, width): """返回一个新矩形"""
现在,我们可以将正方形视为矩形了。在调用 with_dimensions
时,它可以返回一个新的矩形(它不一定是个正方形),但它本身并没有变,依然是一个正方形。
这似乎像是个学术问题 —— 直到我们认为正方形和矩形可以在某种意义上看做一个容器的侧面。在理解了这个例子以后,我们会处理更传统的容器,以解决更现实的案例。比如,考虑一下随机存取数组。
我们现在有 ISquare
和 IRectangle
,而且 ISequere
是 IRectangle
的子类。
我们希望把矩形放进随机存取数组中:
class IArrayOfRectangles(Interface): def get_element(self, i): """返回一个矩形""" def set_element(self, i, rectangle): """'rectangle' 可以是任意 IRectangle 对象"""
我们同样希望把正方形放进随机存取数组:
class IArrayOfSquare(Interface): def get_element(self, i): """返回一个正方形""" def set_element(self, i, square): """'square' 可以是任意 ISquare 对象"""
尽管 ISquare
是 IRectangle
的子集,但没有任何一个数组可以同时实现 IArrayOfSquare
和 IArrayOfRectangle
.
为什么不能呢?假设 bucket
实现了这两个类的功能。
>>> rectangle = make_rectangle(3, 4)>>> bucket.set_element(0, rectangle) # 这是 IArrayOfRectangle 中的合法操作>>> thing = bucket.get_element(0) # IArrayOfSquare 要求 thing 必须是一个正方形>>> assert thing.height == thing.widthTraceback (most recent call last): File "", line 1, in AssertionError
无法同时实现这两类功能,意味着这两个类无法构成继承关系,即使 ISquare
是 IRectangle
的子类。问题来自 set_element
方法:如果我们实现一个只读的数组,那 IArrayOfSquare
就可以是 IArrayOfRectangle
的子类了。
在可变的 IRectangle
和可变的 IArrayOf*
接口中,可变性都会使得对类型和子类的思考变得更加困难 —— 放弃变换的能力,意味着我们的直觉所希望的类型间关系能够成立了。
可变性还会带来作用域方面的影响。当一个共享对象被两个地方的代码改变时,这种问题就会发生。一个经典的例子是两个线程同时改变一个共享变量。不过在单线程程序中,即使在两个相距很远的地方共享一个变量,也是一件简单的事情。从 Python 语言的角度来思考,大多数对象都可以从很多位置来访问:比如在模块全局变量,或在一个堆栈跟踪中,或者以类属性来访问。
如果我们无法对共享做出约束,那我们可能要考虑对可变性来进行约束了。
这是一个不可变的矩形,它利用了 attr 库:
@attr.s(frozen=True)class Rectange(object): length = attr.ib() width = attr.ib() @classmethod def with_dimensions(cls, length, width): return cls(length, width)
这是一个正方形:
@attr.s(frozen=True)class Square(object): side = attr.ib() @classmethod def with_dimensions(cls, length, width): return Rectangle(length, width)
使用 frozen
参数,我们可以轻易地使 attrs
创建的类成为不可变类型。正确实现 __setitem__
方法的工作都交给别人完成了,对我们是不可见的。
修改对象仍然很容易;但是我们不可能改变它的本质。
too_long = Rectangle(100, 4)reasonable = attr.evolve(too_long, length=10)
Pyrsistent 能让我们拥有不可变的容器。
# 由整数构成的向量a = pyrsistent.v(1, 2, 3)# 并非由整数构成的向量b = a.set(1, "hello")
尽管 b
不是一个由整数构成的向量,但没有什么能够改变 a
只由整数构成的性质。
如果 a
有一百万个元素呢?b
会将其中的 999999 个元素复制一遍吗?Pyrsistent
具有“大 O”性能保证:所有操作的时间复杂度都是 O(log n)
. 它还带有一个可选的 C 语言扩展,以在“大 O”性能之上进行提升。
修改嵌套对象时,会涉及到“变换器”的概念:
blog = pyrsistent.m( title="My blog", links=pyrsistent.v("github", "twitter"), posts=pyrsistent.v( pyrsistent.m(title="no updates", content="I'm busy"), pyrsistent.m(title="still no updates", content="still busy")))new_blog = blog.transform(["posts", 1, "content"], "pretty busy")
new_blog
现在将是如下对象的不可变等价物:
{'links': ['github', 'twitter'], 'posts': [{'content': "I'm busy", 'title': 'no updates'}, {'content': 'pretty busy', 'title': 'still no updates'}], 'title': 'My blog'}
不过 blog
依然不变。这意味着任何拥有旧对象引用的人都没有受到影响:转换只会有局部效果。
当共享行为猖獗时,这会很有用。例如,函数的默认参数:
def silly_sum(a, b, extra=v(1, 2)): extra = extra.extend([a, b]) return sum(extra)
感谢各位的阅读,以上就是“Python不可变数据结构举例分析”的内容了,经过本文的学习后,相信大家对Python不可变数据结构举例分析这一问题有了更深刻的体会,具体使用情况还需要大家实践验证。这里是创新互联,小编将为大家推送更多相关知识点的文章,欢迎关注!
网站标题:Python不可变数据结构举例分析
链接地址:http://pwwzsj.com/article/jpijih.html