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

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

如何定義矩形的接口？

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方法，如果長度和寬度不同。

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

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

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

這似乎是一個學(xué)術(shù)問題-直到我們考慮到，從某種意義上說，正方形和長方形是它們兩邊的容器。在我們理解了這個例子之后，更實(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"""

我們也想把正方形放在一個隨機(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方法：如果我們有一個只讀數(shù)組，IArrayOfSquare的子類型IArrayOfRectangle.

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

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