Python中的函数式编程:不可变的数据结构


Posted in Python onOctober 08, 2018

让我们首先考虑正方形和长方形。如果我们认为在接口方面,忽略了实现细节,方块是否是矩形的子类型?

子类型的定义取决于Liskov代换原理。为了成为一个子类型,它必须能够完成超级类型所做的一切。

如何定义矩形的接口?

zope.interface import Interface
class IRectangleInterface:
get_length:
"""Squares can do that"""
get_width:
"""Squares can do that"""
set_dimensions length width:
"""Uh oh"""

如果这是定义,则方块不能是矩形的子类型;它们不能响应set_dimensions方法,如果长度和宽度不同。

另一种方法是选择制作矩形。不变.

class IRectangleInterface:
get_length:
"""Squares can do that"""
get_width:
"""Squares can do that"""
with_dimensions length width:
"""Returns a new rectangle"""

现在,一个正方形可以是一个矩形。它可以返回一个新的矩形(通常不是正方形)with_dimensions被称为,但它不会停止成为一个正方形。

这似乎是一个学术问题-直到我们考虑到,从某种意义上说,正方形和长方形是它们两边的容器。在我们理解了这个例子之后,更实际的情况是使用更传统的容器。例如,考虑随机访问数组.

我们有ISquare和IRectangle,和ISquare是IRectangle.

我们希望在随机访问数组中放置矩形:

class IArrayOfRectanglesInterface:
get_element i:
"""Returns Rectangle"""
set_element i rectangle:
"""'rectangle' can be any IRectangle"""

我们也想把正方形放在一个随机存取数组中:

class IArrayOfSquareInterface:
get_element i:
"""Returns Square"""
set_element i square:
"""'square' can be any ISquare"""

即使ISquare是IRectangle,任何数组都不能实现这两者。IArrayOfSquare和IArrayOfRectangle.

为什么不行?假设bucket实现两者。

>>> rectangle make_rectangle 
>>> bucket.set_element rectangle # This is allowed by IArrayOfRectangle
>>> thing bucket.get_element # That has to be a square by IArrayOfSquare
>>> assert thing.height thing.width
Traceback most recent call last:
File "<stdin>" line module
AssertionError

两者都不能实现,这意味着两者都不是另一种类型的子类型,尽管ISquare是IRectangle。问题是set_element方法:如果我们有一个只读数组,IArrayOfSquare的子类型IArrayOfRectangle.

可变性,都是可变的。IRectangle接口和可变IArrayOf接口使得对类型和子类型的思考变得更加困难-而放弃的能力意味着我们期望类型之间的直观关系实际上仍然有效。

突变也可以非局部效果。当两个地方之间的共享对象被一个突变时,就会发生这种情况。典型的例子是一个线程与另一个线程交互一个共享对象,但是即使在一个单线程程序中,在相距很远的地方之间共享也很容易。考虑到在Python中,大多数对象都可以从许多地方访问:作为一个模块全局,或者在堆栈跟踪中,或者作为一个类属性。

如果我们不能限制共享,我们可能会考虑限制可变。

下面是一个不可变的矩形,它利用AutoS库:

attr.frozen
class Rectangeobject:
length attr.
width attr.
classmethod
with_dimensionscls length width:
return clslength width

这里是一个正方形:

attr.frozen
class Squareobject:
side attr.
classmethod
with_dimensionscls length width:
return Rectanglelength width

使用frozen参数,我们可以很容易地创建一个不可变的类。所有艰苦的写作工作__setitem__正确的做法是别人做的,对我们来说是完全看不见的。

修改对象仍然是容易的,改变它们几乎是不可能的

too_long Rectangle 
reasonable attr.evolvetoo_long length

可靠的包装允许我们有不可变的容器

# Vector of integers
a = pyrsistent.v(1, 2, 3)
# Not a vector of integers
b = a.set(1, "hello")

当b不是整数的向量,任何东西都不会停止。a从成为一个。

万一a一百万个元素长了吗?是b要复制999 999份吗?Pyrsistent附带“大O”性能保证:所有操作都采用O(log n)时间到了。它还附带了一个可选的C扩展,以提高性能超越大O。

为了修改嵌套对象,它附带了“转换器”的概念:

blog pyrsistent.
title"My blog"
linkspyrsistent."github" "twitter"
postspyrsistent.
pyrsistent.title"no updates"
content"I'm busy"
pyrsistent.title"still no updates"
content"still busy"
new_blog blog.transform"posts" "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还是一样的。这意味着任何引用旧对象的人都没有受到影响:转换只有本土化效果。

当分享猖獗时,这是有用的。例如,考虑默认参数:

silly_suma b extrav :
extra extra.extenda b
return extra

在这篇文章中,我们了解了为什么不变性对于思考我们的代码是有用的,以及如何在没有昂贵的性能代价的情况下实现它。

总结

以上就是这篇文章的全部内容了,希望本文的内容对大家的学习或者工作具有一定的参考学习价值,谢谢大家对三水点靠木的支持。如果你想了解更多相关内容请查看下面相关链接

Python 相关文章推荐
Python程序设计入门(5)类的使用简介
Jun 16 Python
python编写爬虫小程序
May 14 Python
Python 的内置字符串方法小结
Mar 15 Python
shelve  用来持久化任意的Python对象实例代码
Oct 12 Python
Python实现的中国剩余定理算法示例
Aug 05 Python
python 重定向获取真实url的方法
May 11 Python
Python3 翻转二叉树的实现
Sep 30 Python
浅析Python+OpenCV使用摄像头追踪人脸面部血液变化实现脉搏评估
Oct 17 Python
python中property和setter装饰器用法
Dec 19 Python
解决Python pip 自动更新升级失败的问题
Feb 21 Python
4款Python 类型检查工具,你选择哪个呢?
Oct 30 Python
python实现三种随机请求头方式
Jan 05 Python
详解多线程Django程序耗尽数据库连接的问题
Oct 08 #Python
JSON文件及Python对JSON文件的读写操作
Oct 07 #Python
Python实现登陆文件验证方法
Oct 06 #Python
python对日志进行处理的实例代码
Oct 06 #Python
浅析Python函数式编程
Oct 06 #Python
Python实现iOS自动化打包详解步骤
Oct 03 #Python
Python中GIL的使用详解
Oct 03 #Python
You might like
PHP页面中文乱码分析
2013/10/29 PHP
Laravel 5.0 发布 新版本特性详解
2015/02/10 PHP
php中通过DirectoryIterator删除整个目录的方法
2015/03/13 PHP
php实现多城市切换特效
2015/08/09 PHP
PHP版本常用的排序算法汇总
2015/12/20 PHP
php连接mysql数据库
2017/03/21 PHP
tp5.1 框架查询表达式用法详解
2020/05/25 PHP
jquery中对表单的基本操作代码
2010/07/29 Javascript
JS中Iframe之间传值及子页面与父页面应用
2013/03/11 Javascript
jQuery实现360°全景拖动展示
2015/03/18 Javascript
jquery.validate 自定义验证方法及validate相关参数
2016/01/18 Javascript
最原始的jQuery注册验证方式
2016/10/11 Javascript
jQuery插件HighCharts绘制2D饼图效果示例【附demo源码下载】
2017/03/21 jQuery
javaScript中封装的各种写法示例(推荐)
2017/07/03 Javascript
JavaScript实现区块链
2018/03/14 Javascript
jQuery实现炫丽的3d旋转星空效果
2018/07/04 jQuery
通过jquery的ajax请求本地的json文件方法
2018/08/08 jQuery
jQuery实现简单聊天室
2020/02/08 jQuery
[02:16]深扒TI7聊天轮盘语音出处2
2017/05/11 DOTA
Python实现截屏的函数
2015/07/25 Python
python 3利用BeautifulSoup抓取div标签的方法示例
2017/05/28 Python
Python做智能家居温湿度报警系统
2018/09/25 Python
python引入不同文件夹下的自定义模块方法
2018/10/27 Python
python 函数嵌套及多函数共同运行知识点讲解
2020/03/03 Python
Python爬虫HTPP请求方法有哪些
2020/06/03 Python
CSS3 Flex 弹性布局实例代码详解
2018/11/01 HTML / CSS
如何使用localstorage代替cookie实现跨域共享数据问题
2018/04/18 HTML / CSS
HTML5 weui使用笔记
2019/11/21 HTML / CSS
美国一家著名的儿童鞋制造商:Stride Rite
2017/01/02 全球购物
美国马匹用品和马钉购物网站:State Line Tack
2018/08/05 全球购物
设计师个人求职信范文
2014/02/02 职场文书
创业计划书模版
2014/02/05 职场文书
超市优秀员工获奖感言
2014/08/15 职场文书
银行柜员与客户起冲突检讨书
2014/09/27 职场文书
行政执法队伍作风整顿个人剖析材料
2014/10/11 职场文书
2016年公司新年寄语
2015/08/17 职场文书