讓我們首先考慮正方形和長(zhǎng)方形。如果我們認(rèn)為在接口方面，忽略了實(shí)現(xiàn)細(xì)節(jié)，方塊是否是矩形的子類型？

子類型的定義取決于Liskov代換原理。為了成為一個(gè)子類型，它必須能夠完成超級(jí)類型所做的一切。

如何定義矩形的接口？

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

如果這是定義，則方塊不能是矩形的子類型；它們不能響應(yīng)set_dimensions方法，如果長(zhǎng)度和寬度不同。

另一種方法是選擇制作矩形。不變.

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

現(xiàn)在，一個(gè)正方形可以是一個(gè)矩形。它可以返回一個(gè)新的矩形(通常不是正方形)with_dimensions被稱為，但它不會(huì)停止成為一個(gè)正方形。

這似乎是一個(gè)學(xué)術(shù)問(wèn)題-直到我們考慮到，從某種意義上說(shuō)，正方形和長(zhǎng)方形是它們兩邊的容器。在我們理解了這個(gè)例子之后，更實(shí)際的情況是使用更傳統(tǒng)的容器。例如，考慮隨機(jī)訪問(wèn)數(shù)組.

我們有ISquare和IRectangle，和ISquare是IRectangle.

我們希望在隨機(jī)訪問(wèn)數(shù)組中放置矩形：

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

我們也想把正方形放在一個(gè)隨機(jī)存取數(shù)組中：

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

即使ISquare是IRectangle，任何數(shù)組都不能實(shí)現(xiàn)這兩者。IArrayOfSquare和IArrayOfRectangle.

為什么不行?假設(shè)bucket實(shí)現(xiàn)兩者。

>>> 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

兩者都不能實(shí)現(xiàn)，這意味著兩者都不是另一種類型的子類型，盡管ISquare是IRectangle。問(wèn)題是set_element方法：如果我們有一個(gè)只讀數(shù)組，IArrayOfSquare的子類型IArrayOfRectangle.

可變性，都是可變的。IRectangle接口和可變IArrayOf接口使得對(duì)類型和子類型的思考變得更加困難-而放棄的能力意味著我們期望類型之間的直觀關(guān)系實(shí)際上仍然有效。

突變也可以非局部效果。當(dāng)兩個(gè)地方之間的共享對(duì)象被一個(gè)突變時(shí)，就會(huì)發(fā)生這種情況。典型的例子是一個(gè)線程與另一個(gè)線程交互一個(gè)共享對(duì)象，但是即使在一個(gè)單線程程序中，在相距很遠(yuǎn)的地方之間共享也很容易?？紤]到在Python中，大多數(shù)對(duì)象都可以從許多地方訪問(wèn)：作為一個(gè)模塊全局，或者在堆棧跟蹤中，或者作為一個(gè)類屬性。

如果我們不能限制共享，我們可能會(huì)考慮限制可變。

下面是一個(gè)不可變的矩形，它利用AutoS庫(kù)：

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

這里是一個(gè)正方形：

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

使用frozen參數(shù)，我們可以很容易地創(chuàng)建一個(gè)不可變的類。所有艱苦的寫(xiě)作工作__setitem__正確的做法是別人做的，對(duì)我們來(lái)說(shuō)是完全看不見(jiàn)的。

修改對(duì)象仍然是容易的，改變它們幾乎是不可能的

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")

當(dāng)b不是整數(shù)的向量，任何東西都不會(huì)停止。a從成為一個(gè)。

萬(wàn)一a一百萬(wàn)個(gè)元素長(zhǎng)了嗎？是b要復(fù)制999 999份嗎？Pyrsistent附帶“大O”性能保證：所有操作都采用O(log n)時(shí)間到了。它還附帶了一個(gè)可選的C擴(kuò)展，以提高性能超越大O。

為了修改嵌套對(duì)象，它附帶了“轉(zhuǎn)換器”的概念：

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將成為不可變的等價(jià)物。

'links': 'github' 'twitter'
'posts': 'content': "I'm busy"
'title': 'no updates'
'content': 'pretty busy'
'title': 'still no updates'
'title': 'My blog'

但blog還是一樣的。這意味著任何引用舊對(duì)象的人都沒(méi)有受到影響：轉(zhuǎn)換只有本土化效果。

當(dāng)分享猖獗時(shí)，這是有用的。例如，考慮默認(rèn)參數(shù)：

silly_suma b extrav :
extra extra.extenda b
return extra

在這篇文章中，我們了解了為什么不變性對(duì)于思考我們的代碼是有用的，以及如何在沒(méi)有昂貴的性能代價(jià)的情況下實(shí)現(xiàn)它。

總結(jié)

以上就是這篇文章的全部?jī)?nèi)容了，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，謝謝大家對(duì)腳本之家的支持。如果你想了解更多相關(guān)內(nèi)容請(qǐng)查看下面相關(guān)鏈接

最新評(píng)論