06｜循环语句：控制流让虚拟机执行复杂的运算

1. Python 中的循环结构包括 while 语句和 for 语句，其中 for 语句本质上是一个迭代器，而本节课的重点是实现 while 循环。 2. 实现循环结构需要先实现变量机制，确保在每次循环中变量都有所变化，从而在若干次循环后破坏循环继续的条件，跳出循环。 3. 实现变量机制涉及到字节码的存储和变量表的实现，其中变量表是一个以字符串为键的 map 结构，变量名存储在 CodeObject 的 names 列表中。 4. 为了实现变量表，需要先实现 map 结构，文章提供了一个简单的 map 实现方式，即直接使用数组实现。 5. 在变量表的基础上，进一步支持了 LOAD_NAME 和 STORE_NAME 两个字节码，其中 STORE_NAME 负责在局部变量表 locals 写入变量的值，而 LOAD_NAME 负责从变量表里取出值。 6. 实现了变量的功能后，可以进一步支持循环结构的实现，因为循环结构的实现依赖于循环变量的迭代修改。 7. 实现了循环结构的字节码，包括 POP_JUMP_IF_FALSE 和 JUMP_ABSOLUTE 等指令，以支持循环体的正常执行、continue 和 break 语句的跳转。 8. 通过分析 continue 和 break 语句的实现，以及对应的字节码指令，加深了对循环控制流的理解。 9. 文章总结了实现循环语句的关键步骤和指令，以及对应的字节码指令的作用，为理解虚拟机的计算能力奠定了基础。 10. 思考题提出了老版本的Python字节码中的BREAK_LOOP指令，并引发了对新版本虚拟机中不需要这条指令的思考，为读者提供了进一步思考和探索的机会。