如何为Brainfuck编写循环？求解释循环机制及嵌套示例

基础循环核心规则 #

Brainfuck的[和]是唯一的循环控制指令，解析与执行遵循以下硬规则：

• 当执行到[时：
  1. 读取当前数据指针指向的单元格数值
  2. 如果数值为0，直接跳转到与之配对的]的下一条指令
  3. 如果数值不为0，继续按顺序执行后续指令
• 当执行到]时：
  1. 读取当前数据指针指向的单元格数值
  2. 如果数值不为0，跳转到与之配对的[的下一条指令（回到循环开头）
  3. 如果数值为0，继续按顺序执行后续指令

嵌套循环的配对逻辑 #

解析器处理嵌套循环时，依赖栈结构完成[与]的精准配对，步骤如下：

1. 预先扫描整个指令序列，维护一个栈（存储未配对的[的位置索引）
2. 遇到[时，将其位置压入栈
3. 遇到]时，弹出栈顶的[位置，记录这一对[和]的双向映射（比如用两个字典：open_to_close和close_to_open）
4. 若扫描结束时栈不为空，说明存在未配对的括号，属于语法错误

示例：[[+>>][<-]]的处理过程 #

1. 配对阶段 #

先完成所有括号的映射：

• 索引0的[ ↔ 索引10的]（最外层循环）
• 索引1的[ ↔ 索引5的]（第一个内层循环）
• 索引6的[ ↔ 索引9的]（第二个内层循环）

2. 执行流程（假设初始数据指针在单元格0，值为非0） #

1. 进入最外层[（索引0）：单元格0值≠0，执行下一条指令（索引1的[）
2. 进入第一个内层[（索引1）：检查单元格0值≠0，执行+>>：单元格0值+1，指针右移两次到单元格2
3. 遇到第一个内层]（索引5）：检查单元格2的值：
   • 若≠0，跳回索引1的[，重复内层循环
   • 若=0，继续执行索引6的[
4. 进入第二个内层[（索引6）：检查单元格2值≠0，执行<-：指针左移到单元格1，单元格1值-1
5. 遇到第二个内层]（索引9）：检查单元格1的值：
   • 若≠0，跳回索引6的[，重复内层循环
   • 若=0，继续执行索引10的]
6. 遇到最外层]（索引10）：检查单元格0的值：
   • 若≠0，跳回索引0的[，重复整个外层循环
   • 若=0，结束所有循环

实现提示（针对你的解谜游戏） #

在游戏的指令解析阶段，一定要先完成所有[和]的配对映射，执行时直接通过映射表跳转，避免实时扫描指令序列——这是处理嵌套循环最可靠的方式，也能保证执行效率。

内容的提问来源于stack exchange，提问作者code gang