Python 使可变对象的行为不可变

Question

编辑：我没有改变对象的可变性，只是让变量表现得像它。我没有考虑具体的实现，但可能会使用它来使具有可变项的元组可散列

我知道在 python 中你可以让不可变对象表现得像可变对象——特别是它们不是可散列的，并且你可以编辑对象而不必创建一个新对象——通过将它包含在一个列表中，所以它的行为就像一个 C 指针：

myVar = 5
myVar2 = myVar
#both point to same object 5
myVar += 1
#myVar2 still 5, myVar has new object 6

myVar = [5]
#myVar is no longer immutable
myVar2 = myVar
myVar[0] += 1
#myVar2 is now also 6

这意味着您可以更改变量指向的对象的值，它将影响引用该对象的所有变量

但是有没有相反的方法 - 使可变对象的行为不可变（并且是可散列的）？元组不会这样做 - 如果元组中的值是可变的，则可以更改它，并且具有可变对象的元组是不可散列的。我想这样做主要是为了它可以像不可变对象一样存储，其中具有相同值的变量都指向同一个对象，并且对变量的更改会导致新对象而不影响其他变量，或者我必须基本上用 OOP 重新实现 python 命名方法？

总结：我想要一个可变对象的不可变包装器，与元组不同，它不允许编辑项目，并且是可散列的

Answer 1

Python 没有变量。它有名字。所有名称都指向一个对象。

归因使名称指向对象。就是这么简单。你不能让归因隐含地生成一个新对象。

a = x
b = a # means the name "b" also refers to x - regardless if x is mutable or not

所以不，您不能以这种方式使可变对象不可变 - 如果有人获得对可变对象的引用，他们可以改变它，并且对同一对象的所有引用都会受到影响。

仅仅因为一个对象是不可变的，并不会使具有相同值的对象自动相同 - 试试这个：

>>> x = 'foo bar'
>>> y = ' '.join(['foo', 'bar'])
>>> x == y
True
>>> x is y
False
>>> id(x), id(y)
(139789175899936, 139789175899984)

如您所见，它们是两个不同的不可变对象，具有相同的值！两者分别存在于内存中！

但要使它们可散列是可能的 - 你必须定义一个 __hash__ 方法返回一些唯一的散列，当对象相等时比较相等 - 事实上默认情况下所有对象都已经返回 id 作为散列，所以你可以封装在一个类中：

class HashableContainer:
    def __init__(self, obj):
        self._obj = obj

l = [] # mutable, no hash
ic = HashableContainer(l) # mutable, but hashable

d = {}
d[ic] = 'test' # can be used as key

但是有一个警告 - 如果您生成具有相同内容的新 HashableContainer，它将被视为不同的对象 - 因为它将具有不同的哈希（基于其 id）