Python内置了一个不可变(immutable)汇合对象:frozenset,顾名思义,这种汇合对象,一旦创立了就不能批改。

概念

上面的代码演示了可变和不可变汇合应用上的差异:

l = [1, 2, 3, 4]new_set = set(l)new_set.remove(1)print (new_set)fset = frozenset(l)fset.remove(1)

如果运行这段代码,它的输入会是:

{2, 3, 4}Traceback (most recent call last):  File "main.py", line 9, in <module>    fset.remove(1)AttributeError: 'frozenset' object has no attribute 'remove'

能够看到frozenset实例基本没有remove办法,当然它也没有append办法,不能用index给元素赋值。

作用

除了不可批改以外,frozenset所有的用法都和一般set一样。

这样一个不可变的汇合,有什么用呢?对性能应该没有什么帮忙,已经有文章指出它比一般的set还稍慢一点,次要价值还是体现在可读性和安全性上:

  • 显式地申明了该汇合是不可更改的,给使用者明确提醒,一旦误用了,运行时也会敌对报错;
  • 如果想把这个汇合,放到另一个set外面,或者作为dict的key,那它就必须是不可更改的

这第二点,次要是因为dict的key要求是惟一的(或者set内的元素也是惟一的),要是传一个对象,python会尝试调用它的hash办法生个哈希串,作为判断是否惟一的根据,而如果这个对象竟然是可变的,它的内容就会影响哈希串的值。所以在python里,可变对象基本就没有内置hash办法,防止它被当做key。

比方上面这段代码:

fset = frozenset({4, 5})s = {1, 2, fset}print (s)s = {1, 2, {4, 5}}

首先定义了一个frozenset,把它插入一个一般set;最初一句试图在一般set外面,初始化另外一个一般set。输入后果如下:

{frozenset({4, 5}), 1, 2}Traceback (most recent call last):  File "main.py", line 27, in <module>    s = {1, 2, {4, 5}}TypeError: unhashable type: 'set'

可见一般set是不能作为另外一个set的元素的,但frozenset就能够。‘

为什么Java没有这个限度

Java程序员可能会感觉奇怪,在hashset里放一个可变对象,不是很失常么?凭什么不行啊,咱们Java常常这样写:

HashSet<ArrayList<String>> masterCollection = new HashSet<ArrayList<String>>();ArrayList<String> a = new ArrayList<String>();masterCollection.add(a);a.add("Hello, World");for(ArrayList<String> list : masterCollection) {    // do something to list}

齐全不会报错么。

So,难道Java的实现机制和Python不一样?

答案是并没有,Java只是“容忍”了可能产生的谬误——这个帖子解释得很分明。简略来说:

Java和Python都是用一个对象的hash值作为key的,相比Python更器重数据一致性,Java更看中灵活性,所以如果咱们真的在HashSet里放了一个可变对象,并且预先扭转了它的值,那么就会发现,HashSet汇合,曾经检测不到它的存在了!