循环语句的else子句的启发和影响？

Question

Python 循环语句可能有一个 else 子句，当且仅当循环不被 break 终止时才执行该子句。换句话说，当条件变为 False（使用 while）或迭代器耗尽时（使用 for）。

这个循环-else 结构是否源自另一种语言（无论是理论上的还是实际实现的）？它是否已被采用任何较新的语言？

也许我应该问前者，但他肯定太忙了，无暇进行这种徒劳的询问。 ;-)

相关讨论和示例： 在 for 循环中使用“else”的 Pythonic 方法

Answer 1

Common Lisp 的 LOOP 宏中也有类似的功能， ：

...LOOP 提供了两个关键字，initial 和finally，它们引入了要在循环主体之外运行的代码。

在最初或最后之后，这些子句由所有 Lisp 形式组成，直到下一个循环子句开始或循环结束。所有初始形式都组合成一个序言，该序言在所有局部循环变量初始化之后和循环体之前立即运行一次。最后的形式类似地组合成尾声，在循环体的最后一次迭代之后运行。序言和结尾代码都可以引用局部循环变量。

即使循环体迭代零次，序言也始终运行。如果发生以下任一情况，循环可以返回而不运行尾声：

• 执行 return 子句。
• RETURN、RETURN-FROM 或其他控制构造的传输是从主体内的 Lisp 形式中调用的...

例如，在链接问题中找到的 Python 示例的一部分：

for v in known_variables:
    if self.bindings[v] is cell:
        return v
else:
    raise CannotSimplify

可能看起来像这样：

(loop for v in known-variables
  when (eq (gethash v (slot-value self bindings)) cell)
  do (return v)
  finally (signal cannot-simplify))

另一个观察：

Common Lisp 的条件系统也很独特。有一次，有人问它来自哪里，并被指出Kent Pitman 的论文，他说是从 Maclisp 那里得到的。同样，Common Lisp 看起来怪异的 FORMAT 函数显然来自 Multics，通过 丹·温雷布。

共同点是，语言特征往往不会遵循最能激发该语言灵感的祖先语言，而是被喜爱它们的个人带到他们正在开发的任何新语言中。因此，如果您想找出 Python 的 for-else 的实际来源，我会查找添加它的人，并查看他们在此之前使用的语言。

Answer 2

我刚刚在这个更普遍的问题的评论中发现了一个很好的线索。用户 ΤΖΩΤΖIΟΥ 写道：

有人记得 FOR var ... NEXT var
… END FOR Sinclair QL 的 var
超级基本？ NEXT 之间的一切
END FOR 将在最后执行
循环的，除非 EXIT FOR 是
发布。该语法更清晰:)

Sinclair QL 用户指南的 OCR 版本 恰好是漂浮在互联网上。上面写着：

NEXT 语句可以放在
环形。它导致控制转到
紧随其后的语句
开头关键字 FOR 或 REPeat。它
应被视为一种
与 EXIT 语句相反。由一个
奇怪的巧合，这两个词
NEXT 和 EXIT 都包含 EXT。思考
EXTension 到循环并且：

• N 表示“现在重新开始”
• 我的意思是“结束了”

一个有趣的例子如下：

警长有一把装了六枚子弹的枪
子弹，他要向
强盗，但还有两个条件适用：

1. 如果他击中强盗，他就会停下来
   开火并返回道奇城。

2. 如果他在击中目标之前子弹用完了
   强盗，他告诉他的伙伴观看
   强盗（警长）回来时
   前往道奇城。

100 REMark Western FOR with Epilogue
110 FOR bullets = 1 TO 6
120   PRINT "Take aim"
130   PRINT "FIRE A SHOT"
140   LET hit= RND(0 TO 1)
150   IF hit = 1 THEN EXIT bullets
160 NEXT bullets
170   PRINT "Watch Bandit"
180 END FOR bullets
190 PRINT "Return to Dodge City"

因此，在不同的（并且可以说不那么令人不安的）语法下，它的语义完全相同。

维基百科告诉我们，Sinclair QL 于 1984 年 2 月推出，作为 Sinclair ZX Spectrum 的后继产品，但未能取得商业成功。