语言规范似乎不保证插入集合文字中元素的顺序.但是,Python 3.6已更改,因此它具有预期的从左到右的评估顺序.有关此更改的完整详细信息,请参阅
issue以及引入了更改插入顺序的
commit.
为了更详细地描述更改,在首先将指针True和1指向虚拟机的内部堆栈之后,构建set literal {True,1}会触发BUILD_SET操作码(oparg等于2).
在Python 3.4中,BUILD_SET使用以下循环将元素插入集合中(请注意,在我们的示例中oparg为2):
while (--oparg >= 0) {
PyObject *item = POP();
if (err == 0)
err = PySet_Add(set, item);
Py_DECREF(item);
由于最后将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)从堆栈中取出第i个项目,因此对于{True,1},对象True将首先添加到集合中.