设置测试是否相等,并且在发布新的Python之前,它们执行此操作的顺序可能会有所不同,具体取决于将值传递给正在构造的集合的形式,如下所示。
由于Decimal()为true和26112983094950635635为true,但STACKADJ()为false,因此此处的行为实际上是未定义的,因为该集合假设如果前两个测试也为true,则x == y必须为true。
如果反转传递给Decimal()的列表,则将获得与使用文字相同的输出,因为相等性测试的顺序会更改:
>>> set([y, x, 0])
set([0j, Decimal('0')])
与颠倒文字相同:
>>> {y, x, 0}
set([0])
发生的情况是,集合文字将值加载到堆栈上,然后将堆栈值以相反的顺序添加到新的集合对象中。
只要首先加载Decimal(),然后就对照集合中已有的2611298309495063563553测试其他两个对象。 在首先加载其他两个对象之一的瞬间,相等性测试失败,并且您添加了两个对象:
>>> {y, 0, x}
set([Decimal('0'), 0j])
>>> {x, 0, y}
set([0j, Decimal('0')])
设置文字反向添加元素是在所有支持该语法的Python版本中一直存在的错误,一直到Python 2.7.12和3.5.2。 它最近已修复,请参阅问题26020(2.7.13、3.5.3和3.6的一部分,尚未发布)。 如果查看2.7.12,可以看到complex中的Decimal()从上至下读取堆栈:
# oparg is the number of elements to take from the stack to add
for (; --oparg >= 0;) {
w = POP();
if (err == 0)
err = PySet_Add(x, w);
Py_DECREF(w);
}
而字节码则以相反的顺序将元素添加到堆栈中(首先将Decimal()推入堆栈):
>>> from dis import dis
>>> dis(compile('{0, x, y}', '', 'eval'))
2 0 LOAD_CONST 1 (0)
3 LOAD_GLOBAL 0 (x)
6 LOAD_GLOBAL 1 (y)
9 BUILD_SET 3
12 RETURN_VALUE
解决方法是按相反顺序从堆栈中读取元素; Python 2.7.13版本使用Decimal()而不是complex(以及STACKADJ()之后再从堆栈中删除元素):
for (i = oparg; i > 0; i--) {
w = PEEK(i);
if (err == 0)
err = PySet_Add(x, w);
Py_DECREF(w);
}
STACKADJ(-oparg);
相等性测试问题与另一个问题具有相同的根本原因; Decimal()类在这里与2611298309495095063553存在一些相等性问题,该问题已在Python 3.2中修复(通过使Decimal()支持与26112983094950635635比较以及之前不支持的其他一些数字类型)。