使用 Python 的三元运算符与 lambda 组合的意外输出

我有一个特定的情况，我想执行以下操作（实际上比这更复杂，但我将问题简化为本质）：

>>> (lambda e: 1)(0) if (lambda e: True)(0) else (lambda e: 2)(0)
True

这是一种困难的写作方式：

>>> 1 if True else 2
1

但实际上“1”、“True”和“2”是需要计算的附加表达式，需要变量“e”，在这个简化的代码示例中我将其设置为“0”。

请注意上面两个表达式的输出差异，尽管

>>> (lambda e: 1)(0)
1
>>> (lambda e: True)(0)
True
>>> (lambda e: 2)(0)
2

有趣的是，这是一个特殊情况，因为如果我用“3”替换“1”，我会得到预期/期望的结果：

>>> (lambda e: 3)(0) if (lambda e: True)(0) else (lambda e: 2)(0)
3

如果我用“0”替换“1”，它甚至是正确的（这也可能是一种特殊情况，因为 1==True 和 0==False）

>>> (lambda e: 0)(0) if (lambda e: True)(0) else (lambda e: 2)(0)
0

另外，如果我将“True”替换为“not False”或“not not True”，它仍然有效：

>>> (lambda e: 1)(0) if (lambda e: not False)(0) else (lambda e: 2)(0)
1
>>> (lambda e: 1)(0) if (lambda e: not not True)(0) else (lambda e: 2)(0)
1

另一种替代公式使用通常的 if..then..else 语句，并且不会产生错误：

>>> if (lambda e: True)(0):
    (lambda e: 1)(0)
else:
    (lambda e: 2)(0)

1

如何解释这种行为？我怎样才能以一种好的方式解决这种行为（避免使用“not not True”或其他什么？

Thanks!

PS：问题揭示了Python中的一个错误，请参阅https://bugs.python.org/issue25843 https://bugs.python.org/issue25843用于问题跟踪。

我想我明白了为什么会发生这个错误，以及为什么你的重现是 Python 3 特定的。

代码对象按值进行相等比较 https://hg.python.org/cpython/file/3.5/Objects/codeobject.c#l535，而不是通过指针，奇怪的是：

static PyObject *
code_richcompare(PyObject *self, PyObject *other, int op)
{
    ...

    co = (PyCodeObject *)self;
    cp = (PyCodeObject *)other;

    eq = PyObject_RichCompareBool(co->co_name, cp->co_name, Py_EQ);
    if (eq <= 0) goto unequal;
    eq = co->co_argcount == cp->co_argcount;
    if (!eq) goto unequal;
    eq = co->co_kwonlyargcount == cp->co_kwonlyargcount;
    if (!eq) goto unequal;
    eq = co->co_nlocals == cp->co_nlocals;
    if (!eq) goto unequal;
    eq = co->co_flags == cp->co_flags;
    if (!eq) goto unequal;
    eq = co->co_firstlineno == cp->co_firstlineno;
    if (!eq) goto unequal;

    ...

在Python 2中，lambda e: True进行全局名称查找并lambda e: 1加载一个常量1，因此这些函数的代码对象比较不相等。在Python 3中，True是一个关键字，两个 lambda 都加载常量。自从1 == True，代码对象足够相似，所有检查code_richcompare通过，代码对象比较相同。 （其中一项检查是针对行号，因此仅当 lambda 位于同一行时才会出现该错误。）

字节码编译器调用ADDOP_O(c, LOAD_CONST, (PyObject*)co, consts) https://hg.python.org/cpython/file/3.5/Python/compile.c#l1473来创建LOAD_CONST将 lambda 代码加载到堆栈上的指令，以及ADDOP_O使用字典来跟踪它添加的对象，试图节省重复常量等内容的空间。它有一些处理来区分诸如0.0, 0, and -0.0否则会比较相等，但并不期望它们需要处理相等但不等价的代码对象。代码对象没有正确区分，两个 lambda 最终共享一个代码对象。

通过替换True with 1.0，我们可以在 Python 2 上重现该错误：

>>> f1, f2 = lambda: 1, lambda: 1.0
>>> f2()
1

我没有Python 3.5，所以我无法检查该版本中是否仍然存在该错误。我没有在错误跟踪器中看到任何有关该错误的信息，但我可能只是错过了该报告。如果错误仍然存​​在并且尚未报告，则应该报告。