Python 切片/索引评估顺序（在列表定义之前）

Question

我想知道 python 在定义列表/元组之后评估切片/索引是否有原因？

（这个问题与 Python Code Golf 有关，所以我知道它不可读或“良好做法”，它只是关于可接受的语法和语言的基本行为。）

我们可以使用索引来模拟三元运算符的行为：

a if x > 9 else b
(b,a)[x>9]  # way shorter

但这有一个问题：元组的内容在索引中的条件之前被评估。

我创建了一个示例来说明这一点：一个函数f，它递归地将字符串的大小减一，直到字符串为空，然后返回0

f = lambda s: f(s) if len(s:=s[:-1]) else 0
print(f("abc"))  # works fine

f = lambda s: (0, f(s))[len(s:=s[:-1])==0]
print(f("abc"))  # max recursion depth error

出现递归深度错误是因为在索引之前评估元组定义。这意味着切片/索引中的内容无关紧要，该函数将被一遍又一遍地调用。

我真的不明白为什么 python 之前不评估切片/索引，因为即使是像下面这样的明显情况也会失败：

f = lambda: (0, f())[0]
f()  # max recursion depth error

最重要的是，如果我们只评估我们想要从数组中获取的单个元素（或切片）而不是每个单个元素，它可能会在内存使用和运行时间方面受益：

x = 2
print([long_computation(), other_long_computation(), 0][x])

有什么理由不在元组定义之前评估切片/索引吗？

Answer 1

人类从左到右读取，解析器从左到右读取，编译器只是将解析的内容转换为字节码。只从左到右解析它而不是为已经以从左到右的方式正确完成的东西添加特殊情况是有意义的——而且更容易。为什么你仍然需要这样做？您不需要 这样做。您已经可以在当前的解析器和编译器中正确执行此操作。这种特殊情况的复杂性以及它曾经使用过的罕见程度，这两个因素都足以作为不在元组定义之前评估切片的理由。