set.pop()是否真的移除任意元素？为何多次运行集合弹出结果不变？

这个问题问得很到位！先直接给你结论：

• set.pop()在Python的语言定义里确实是移除并返回任意一个元素，没有规定必须返回哪一个；
• 你看到数字集合每次都返回1，是最常用的Python实现（CPython）的特定优化细节，不能当成通用规则依赖。

为什么你的代码每次结果都一样？ #

CPython对于小整数集合的内部存储有专门的哈希表优化：小整数的哈希值就是它本身，当你创建{1,2,3,4,5,6}这样的连续小整数集合时，这些元素会被放在哈希表的对应索引位置上。而CPython的set.pop()方法是从哈希表的起始位置开始，找到第一个存在的元素就移除返回。因为这些小整数的哈希冲突几乎没有，存储位置固定，所以每次运行都会先拿到1。

但你可以试试打破这个“固定”：

• 如果你往集合里加入非连续的整数、字符串或者其他类型元素，pop()的结果很可能就会变化；
• 换用其他Python实现（比如PyPy），同样的代码可能会得到完全不同的返回值。

举个例子验证：

# 即使创建时倒序，结果还是1，因为集合内部存储和创建顺序无关
set_reverse = {6,5,4,3,2,1}
print(set_reverse.pop())  # 输出1

# 加入不同类型元素，多次运行结果可能不同
set_mixed = {1, "hello", 3, "world"}
print(set_mixed.pop())

关键提醒 #

永远不要依赖set.pop()的返回顺序！集合的无序性是Python语言规范明确要求的，具体实现的细节可能随着版本更新而变化。如果你需要有序的去重容器，可以用：

• Python 3.7+的普通dict（因为3.7+后dict保留插入顺序，dict.fromkeys(your_iterable)就能实现有序去重）；
• collections.OrderedDict（更明确表达有序去重的意图）；
• 先把集合转成列表再用sorted()排序后处理。

内容的提问来源于stack exchange，提问作者Oreo