Python 为什么不设计 do-while 循环结构

do-while 循环的基本概念与优势

在 C/C++、C#、PHP、Java 以及 JavaScript 等主流编程语言中，do-while 是一种基础且常见的循环控制结构。

该结构的核心逻辑在于“先执行，后判断”：它首先无条件执行一次循环体内的代码，随后评估条件表达式。若条件为真，则继续执行循环体并再次检查条件；一旦条件判断为假，循环即刻终止。

其执行流程可通过流程图直观展示，以下以 Java 语言为例进行说明：

// 打印小于 20 的数字
public class Test {
   public static void main(String[] args){
      int x = 10;
      do {
         System.out.print("value of x : " + x );
         x++;
         System.out.print("\n");
      } while(x < 20);
   }
}

Python 语言中并不存在 do-while 这一语法结构，关键字“do”在 Python 中无效。

这引出了一个值得探讨的问题：Python 为何刻意不提供这种语法？其背后的语言设计考量是什么？

在深入解答之前，我们需要重新审视 do-while 语法所解决的核心问题，以及它带来的实际价值。

最直观的优势在于，do-while 强制保证循环体至少被执行一次。

尽管这种场景相对少见，但与 while 或 for 循环“先判断后执行”的逻辑不同，do-while 体现了“条件后置”的控制思想，这是一种在特定场景下有效的循环控制方式。

这种逻辑差异类似于 C/C++ 中i++与++i自增操作的区别，在某些特定算法或场景下，do-while 可能带来更高的执行效率。

除了保证至少执行一次，do-while 在 C/C++ 中最典型的应用场景是特殊的do {...} while (0)用法。这种技巧广泛存在于 Linux 内核、Redis 以及 CPython 解释器等开源项目的源码中。

其中的数字 0 代表布尔值 False，意味着循环条件永远不成立，因此循环体仅执行一次后便跳出。

这种写法初看似乎有些诡异：既然称为“循环”，通常意味着代码会重复执行多次，但do {...} while (0)却只允许执行一次，这看似多余。

这种用法主要出现在宏函数的定义中，旨在解决宏代码块在编译时的展开问题，确保代码能够按照开发者的意图进行合理的分块和处理。

此外，将do {...} while (0)与 break 语句结合使用，还能实现非常优雅的跳转控制效果。

在以下示例中，步骤 1、4 和 5 是必须执行的，而步骤 2 依赖于步骤 1 的执行结果，步骤 3 则依赖于步骤 2 的结果。

do {
  // 执行步骤 1 
  if (条件1失败) {
    break;
  }
  // 执行步骤 2 
  if (条件2失败) {
    break;
  }
  // 执行步骤 3 
  if (条件3失败) {
    break;
  }
} while(0);
// 执行步骤 4
// 执行步骤 5

在这种顺序依赖的场景下，我们确实只需要按顺序执行一遍流程。使用 do-while 结构可以清晰地表达这一逻辑，避免了多层条件嵌套或设置大量额外标记变量的繁琐局面。

最后，从汇编层面来看，do-while 结构比 while 循环更接近底层汇编语言的逻辑，能够节省部分指令。在早期的低内存时代，这被视为一种有效的优化手段。

Python 不采用 do-while 的设计考量

在分析了 do-while 的优势后，让我们回到核心问题：为什么 Python 不需要设计 do-while 循环语法？

首先，Python 的定位远离底层系统编程，因此无需考虑汇编指令的微观优化；同时，Python 也不涉及 C 语言风格的宏定义机制。

至于“条件前置”与“条件后置”的区别，在 Python 中影响微乎其微。更重要的是，Python 采用简洁优雅的缩进加冒号语法来划分代码块，如果强行将其他语言的 do-while 直译为 Python 风格，会显得非常怪异（注意，直译后的 while 条件后没有其他内容）：

do:
    pass
while False

引入新的语法特性必须遵守语言既定的风格规范。其他语言的 do-while 结构直接翻译成 Python 语法显然不合适。

PEP-315 提议与最终否决

事实上，早在 2003 年，社区曾提出一个 PEP 提议，建议为 Python 添加 do-while 语法支持：

PEP-315 Enhanced While Loop

该 PEP 提议增加一个可选的 do 子句，允许将 while 循环扩展为如下形式：

do:
    <setup code>
while <condition>:
    <loop body>

这并非简单地将其他语言语法直译为 Python，而是在 while 语句后保留了 Python 特有的缩进用法，避免了直译形式带来的突兀感。

结合 while 循环本身已支持的可选 else 子句，while 语句的完整语法结构如下所示：

while_stmt : ["do" ":" suite]
            "while" expression ":" suite
            ["else" ":" suite]

（注：在本系列的下一篇文章中，我们将详细解释为什么 Python 要支持 while-else 语法）

也就是说，在保持原有 while 循环语法不变的前提下，PEP-315 提议支持在 while 前使用一个可选的 do 子句。

do 子句仅执行一次，若其中出现 break 语句，则跳出整个 do-while 循环；若 do 子句中出现 continue 语句，则跳出 do 子句，进入 while 的条件判断环节。

引入 do 子句后，可以非常轻松地实现do {...} while (0)所描述的跳转控制效果。

然而，这一 PEP 遭到了部分核心开发者的反对。

反对的理由是，无需引入新的关键字和语法，仅利用现有语法即可完美实现相同的功能：

while True:
    <setup code>
    if not <condition>:
        break
    <loop body>

Python 之父 Guido van Rossum 也明确表达了反对意见，他的原话如下：

Please reject the PEP. More variations along these lines won't make the language more elegant or easier to learn. They'd just save a few hasty folks some typing while making others who have to read/maintain their code wonder what it means.

简要翻译其含义：这种 do-while 语法并不会让 Python 变得更优雅或更易学习，反而会增加阅读和维护代码的理解负担，仅仅是为了节省少数匆忙开发者的一些打字时间。

就个人观点而言，我也不赞成引入 PEP-315 中那种可选的 do-while 语法，尽管它比固定形式的 do-while 结构更为灵活和优雅。

最后简要总结：do-while 作为一种常见的循环结构，在其他语言中发挥了重要作用，甚至衍生出了do {...} while (0)的典型用法。然而，do-while 能解决的问题在 Python 中要么不存在（如宏定义、汇编指令优化），要么已有更合适且低成本的实现方式（如跳转控制）。

阅读完本文后，如果您有其他补充内容，欢迎在评论区交流讨论。

如果您对 Python 语言设计相关话题感兴趣，欢迎订阅 GitHub 上的《Python为什么》系列文章（https://github.com/chinesehuazhou/python-whydo）

至此，关于 Python 不设计 do-while 循环结构的理由已介绍完毕。更多相关 Python do-while 循环结构内容，请搜索本站历史文章或继续浏览下方相关文章。希望大家以后多多支持本站！