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

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

如何定義矩形的接口？

zope.interface import Interfaceclass 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ù)問題-直到我們考慮到，從某種意義上說，正方形和長(zhǎng)方形是它們兩邊的容器。在我們理解了這個(gè)例子之后，更實(shí)際的情況是使用更傳統(tǒng)的容器。例如，考慮隨機(jī)訪問數(shù)組.

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

我們希望在隨機(jī)訪問數(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.widthTraceback most recent call last:File "<stdin>" line moduleAssertionError

兩者都不能實(shí)現(xiàn)，這意味著兩者都不是另一種類型的子類型，盡管ISquare是IRectangle。問題是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ì)象都可以從許多地方訪問：作為一個(gè)模塊全局，或者在堆棧跟蹤中，或者作為一個(gè)類屬性。

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

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

attr.frozenclass Rectangeobject:length attr.width attr.classmethodwith_dimensionscls length width:return clslength width

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

attr.frozenclass Squareobject:side attr.classmethodwith_dimensionscls length width:return Rectanglelength width

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

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

too_long Rectangle reasonable attr.evolvetoo_long length

可靠的包裝允許我們有不可變的容器

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

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

萬一a一百萬個(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ì)象的人都沒有受到影響：轉(zhuǎn)換只有本土化效果。

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

silly_suma b extrav :extra extra.extenda breturn extra

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

總結(jié)

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