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 相关文章推荐
解决Mac下使用python的坑
Aug 13 Python
python 3.6.7实现端口扫描器
Sep 04 Python
python中如何实现将数据分成训练集与测试集的方法
Sep 13 Python
django框架创建应用操作示例
Sep 26 Python
基于spring boot 日志(logback)报错的解决方式
Feb 20 Python
Python ATM功能实现代码实例
Mar 19 Python
python函数map()和partial()的知识点总结
May 26 Python
django form和field具体方法和属性说明
Jul 09 Python
Django用户认证系统如何实现自定义
Nov 12 Python
python 如何获取页面所有a标签下href的值
May 06 Python
简单介绍Python的第三方库yaml
Jun 18 Python
Python pandas读取CSV文件的注意事项(适合新手)
Jun 20 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
在SAE上搭建最新wordpress的方法
2014/12/21 PHP
php实现读取内存顺序号
2015/03/29 PHP
浅谈PHP中Stream(流)
2015/06/08 PHP
jQuery数组处理方法汇总
2011/06/20 Javascript
用JavaScript显示浏览器客户端信息的超相近教程
2015/06/18 Javascript
基于JavaScript如何制作遮罩层对话框
2016/01/26 Javascript
详解Backbone.js框架中的模型Model与其集合collection
2016/05/05 Javascript
JS本地刷新返回上一页代码
2016/07/25 Javascript
jQuery Dialog 取消右上角删除按钮事件
2016/09/07 Javascript
Vue组件tree实现树形菜单
2017/04/13 Javascript
jquery之基本选择器practice(实例讲解)
2017/09/30 jQuery
vue.js实现的幻灯片功能示例
2019/01/18 Javascript
vue基于better-scroll仿京东分类列表
2020/06/30 Javascript
[01:07:46]完美世界DOTA2联赛循环赛 Magma vs IO BO2第二场 11.01
2020/11/02 DOTA
Python中利用原始套接字进行网络编程的示例
2015/05/04 Python
Python实现简易版的Web服务器(推荐)
2018/01/29 Python
初探TensorFLow从文件读取图片的四种方式
2018/02/06 Python
深入浅析python with语句简介
2018/04/11 Python
Python的高阶函数用法实例分析
2019/04/11 Python
pycharm中显示CSS提示的知识点总结
2019/07/29 Python
使用Python和OpenCV检测图像中的物体并将物体裁剪下来
2019/10/30 Python
在django-xadmin中APScheduler的启动初始化实例
2019/11/15 Python
Python使用psutil获取进程信息的例子
2019/12/17 Python
Python批量将图片灰度化的实现代码
2020/04/11 Python
CSS3实现背景透明文字不透明的示例代码
2018/06/25 HTML / CSS
如果一个类实现了多个接口但是这些接口有相同的方法名将会怎样
2013/06/16 面试题
Python中pass语句的作用是什么
2016/06/01 面试题
公司请假条范文
2014/04/11 职场文书
故意伤害人身损害赔偿协议书
2014/11/19 职场文书
出国签证在职证明范本
2014/11/24 职场文书
酒店采购员岗位职责
2015/04/03 职场文书
给朋友的道歉短信
2015/05/12 职场文书
公司联欢会主持词
2015/07/04 职场文书
2015年数学教研工作总结
2015/07/22 职场文书
初任公务员培训心得体会
2016/01/08 职场文书
如何开启Apache,Nginx和IIS服务器的GZIP压缩功能
2022/04/29 Servers