集合中的插入顺序（解析 {} 时）[重复]

有人问here为什么放的时候1 and True in a set only 1保持。

这当然是因为1==True。但在哪些情况下1被保留，在什么情况下True保持？

让我们来看看：

通过一个list建立set而不是使用set符号：

>>> set([True,1])
{True}
>>> set([1,True])
{1}

似乎合乎逻辑：set迭代内部列表，并且不添加第二个元素，因为它等于第一个元素（请注意set([True,1]) cannot yield 1， 因为set无法知道列表中的内容。它甚至可能不是一个list but an iterable)

现在使用set符号：

>>> {True,1}
{1}
>>> {1,True}
{True} 

在这种情况下，项目列表似乎是以相反的顺序处理的（在 Python 2.7 和 Python 3.4 上测试）。

但这有保证吗？或者只是一个实施细节？

语言规范似乎无法保证集合文字中元素的插入顺序。但是，Python 3.6 已更改，因此它具有预期的从左到右的计算顺序。有关此更改的完整详细信息，请参阅以下issue，还有commit这引入了插入顺序的变化。

为了更详细地描述变化，构建集合文字{True, 1}触发BUILD_SET第一次将指针推入后的操作码（oparg 等于 2）True and 1到虚拟机的内部堆栈。

在Python 3.4中，BUILD_SET使用以下循环将元素插入集合中（请注意，在我们的示例中 oparg 为 2）：

while (--oparg >= 0) {
    PyObject *item = POP();
    if (err == 0)
        err = PySet_Add(set, item);
        Py_DECREF(item);

Since 1最后添加到堆栈中，它首先被弹出，并且是第一个插入到集合中的对象。

在较新版本的 Python（例如 3.6）中，BUILD_SET操作码使用PEEK代替POP:

for (i = oparg; i > 0; i--) {
    PyObject *item = PEEK(i);
    if (err == 0)
        err = PySet_Add(set, item);
        Py_DECREF(item);

PEEK(i) fetches the i^th item down the stack, so for {True, 1}, the object True is added to the set first.