Python frozenset() 函数（完整教程）

Python frozenset() 函数：不可变集合的优雅之道

在 Python 的数据结构家族中，集合（set）是一个非常实用的成员，它能高效地去重并支持数学上的集合运算。但你有没有遇到过这样的场景：你想要一个集合，但它不能被修改？比如，你想把它用作字典的键，或者作为另一个集合的元素？这时候，frozenset() 就派上用场了。

Python frozenset() 函数 是一个专门用来创建不可变集合的内置函数。和普通的 set 不同，frozenset 一旦创建，就不能添加、删除或修改任何元素。这种“冻结”的特性，让它在某些特定场景下显得格外安全和高效。

想象一下，你有一堆不同颜色的球，它们组成了一个集合。如果这个集合是可变的，你随时可以往里加球或拿出球，那它的状态就一直在变。而 frozenset 就像是把这堆球装进一个透明的玻璃罩里，你还能看到它们，但不能再碰它们了——这就是“不可变”的直观感受。

frozenset 与 set 的本质区别

要理解 frozenset()，首先得搞清楚它和 set 的差异。两者虽然都用于存储无序、不重复的数据，但在可变性上完全不同。

从上表可以看出，frozenset 最核心的优势在于“不可变”和“可哈希”。这意味着你可以把它当作字典的键，或者放入另一个集合中，而普通 set 是做不到的。

try:
    my_set = {1, 2, 3}
    my_dict = {my_set: "value"}  # 报错：TypeError: unhashable type: 'set'
except TypeError as e:
    print(e)

my_frozenset = frozenset([1, 2, 3])
my_dict = {my_frozenset: "value"}  # 成功！
print(my_dict)  # {frozenset({1, 2, 3}): 'value'}

注释：frozenset() 函数接收一个可迭代对象（如列表、元组、字符串等）作为参数，返回一个不可变的集合。这里我们传入的是列表 [1, 2, 3]，返回的是一个不可变集合。

如何创建 frozenset 实例

frozenset() 的语法非常简单：

frozenset(iterable)

其中 iterable 是可迭代对象，比如列表、元组、字符串，甚至是另一个集合。

从列表创建

fruits_list = ['apple', 'banana', 'orange', 'apple']  # 有重复项
fruits_frozen = frozenset(fruits_list)

print(fruits_frozen)  # frozenset({'banana', 'apple', 'orange'})

注释：frozenset() 会自动去除重复元素，保证集合内元素唯一。由于集合无序，输出顺序不固定。

从元组创建

coordinates = (10, 20, 30, 10)
coords_frozen = frozenset(coordinates)

print(coords_frozen)  # frozenset({10, 20, 30})

从字符串创建

text = "hello"
char_frozen = frozenset(text)

print(char_frozen)  # frozenset({'l', 'e', 'h', 'o'})

注释：字符串是字符序列，frozenset() 会将其每个字符当作集合元素处理。

空 frozenset

empty_frozen = frozenset()
print(empty_frozen)  # frozenset()

注释：frozenset() 不传参数时，返回一个空的不可变集合。

frozenset 的常见操作与限制

虽然 frozenset 不可变，但它仍然支持许多集合运算操作，比如并集、交集、差集等，这些操作会返回新的 frozenset 实例，而不是修改原对象。

集合运算示例

set_a = frozenset([1, 2, 3, 4])
set_b = frozenset([3, 4, 5, 6])

union_result = set_a | set_b
print(union_result)  # frozenset({1, 2, 3, 4, 5, 6})

intersect_result = set_a & set_b
print(intersect_result)  # frozenset({3, 4})

diff_result = set_a - set_b
print(diff_result)  # frozenset({1, 2})

sym_diff_result = set_a ^ set_b
print(sym_diff_result)  # frozenset({1, 2, 5, 6})

注释：所有运算都返回新的 frozenset，原集合保持不变。|、&、-、^ 是集合运算的符号，分别表示并、交、差、对称差。

无法执行的操作

frozen = frozenset([1, 2, 3])

try:
    frozen.add(4)  # AttributeError: 'frozenset' object has no attribute 'add'
except AttributeError as e:
    print(e)

try:
    frozen.remove(1)  # AttributeError: 'frozenset' object has no attribute 'remove'
except AttributeError as e:
    print(e)

try:
    frozen.clear()  # AttributeError: 'frozenset' object has no attribute 'clear'
except AttributeError as e:
    print(e)

注释：frozenset 没有 add、remove、clear 等方法，因为这些操作会改变集合内容。如果强行调用，会抛出 AttributeError。

实际应用场景：字典键与集合嵌套

场景 1：使用 frozenset 作为字典键

当你需要根据一组“配置项”来查找数据时，frozenset 是理想选择。

user_permissions = {
    frozenset(['read', 'write']): 'editor',
    frozenset(['read']): 'viewer',
    frozenset(['write', 'delete']): 'admin'
}

user1 = frozenset(['read', 'write'])
role = user_permissions.get(user1, 'unknown')

print(role)  # editor

注释：这里用 frozenset 表示权限组合，因为集合无序，{'read', 'write'} 和 {'write', 'read'} 被视为相同，避免了顺序问题。

场景 2：集合中嵌套 frozenset

在需要存储多个集合的集合时，frozenset 是唯一可行的方案。

group_sets = {
    frozenset([1, 2]),
    frozenset([3, 4]),
    frozenset([1, 2, 3])
}

print(group_sets)  # {frozenset({1, 2}), frozenset({3, 4}), frozenset({1, 2, 3})}

注释：如果用 set 做元素，会报错“unhashable type: 'set'”，因为 set 不可哈希。而 frozenset 可哈希，因此可以放入集合。

性能与最佳实践建议

frozenset 的不可变性带来了安全性和可哈希性，但同时也意味着它不能动态扩展。在性能上，frozenset 与 set 基本相当，但创建时略慢，因为需要保证不可变性。

使用建议：

• 当你需要一个集合作为字典键时，优先使用 frozenset。
• 当你希望集合内容在逻辑上“冻结”，防止意外修改时，使用 frozenset。
• 如果集合需要频繁修改，仍然使用 set。
• 不要为了“安全”而滥用 frozenset，除非你确实需要不可变性。

总结

Python frozenset() 函数 是一个强大而优雅的工具，它为开发者提供了“不可变集合”的能力。虽然它不能像 set 那样灵活，但在某些关键场景下，它不可替代。

通过本文的介绍，你应该已经掌握了如何创建、使用和理解 frozenset。记住：不可变 ≠ 无用，它是一种更安全、更可控的数据表达方式。

在日常开发中，如果你遇到“想把集合当键”或“想嵌套集合”的需求，不妨试试 frozenset()。它可能就是你代码中那个“安静却可靠”的角色。

别忘了，Python 的魅力，就在于它既允许你写灵活的代码，也提供了让你写出更健壮代码的工具。frozenset() 就是其中之一。