如何在C++中模拟OCaml/Pascal/Fortran风格的严格不可中断for循环

嘿，这个需求太贴合玩具语言编译器的练习场景了——毕竟我们要做的就是把高级语言的语义精准映射到目标语言的安全子集里对吧？针对你要实现的OCaml/Pascal/Fortran风格严格不可中断for循环，我们可以从语义检查和C++代码生成两个层面来实现，确保完全符合要求：

1. 先明确目标循环的核心语义 #

首先得把你要的循环规则钉死，避免后续歧义：

• 索引变量是只读的：循环体内不能修改它，只能读取；
• 上下界仅在循环开始前求值一次：不管循环体里的代码怎么折腾，循环次数是固定的；
• 循环必须完整执行所有迭代：禁止任何提前退出的操作（break、return、异常、跨循环的goto都不行）；
• 索引默认按步长1递增（如果支持递减，逻辑类似，只是循环条件改成i >= high，步长为-1）。

2. 基础C++代码生成框架 #

针对上面的语义，我们生成的C++代码要先缓存上下界，再用标准for循环结构，同时保护索引变量不被修改：

// 先计算并缓存上下界（确保只求值一次）
const auto __loop_low = /* 玩具语言中下界表达式的C++编译结果 */;
const auto __loop_high = /* 玩具语言中上界表达式的C++编译结果 */;

// 用内部变量控制循环，对外暴露只读的索引
for (auto __internal_idx = __loop_low; __internal_idx <= __loop_high; ++__internal_idx) {
    const auto idx = __internal_idx; // 循环体内只能用这个const的idx，确保只读
    /* 玩具语言循环体的C++编译结果 */
}

为什么要缓存上下界？ #

比如Fortran的DO I = A, B，A和B是进入循环时就计算好的，哪怕循环体里修改了A或B，循环次数也不会变。如果直接把i <= B写在for循环条件里，每次迭代都会重新计算B，一旦B有副作用或者被修改，就会偏离原语言语义。

3. 确保循环严格不可中断的关键措施 #

C++本身是允许break、return这些操作的，所以我们要从玩具语言的编译器层面入手，彻底杜绝这些可能中断循环的情况：

• 静态语义检查：遍历循环体的AST，一旦发现以下构造就直接报错：
  • 任何形式的break/continue（如果你的玩具语言支持这些）；
  • return语句（不管是返回值还是无返回）；
  • 异常抛出语句（throw），或者调用可能抛出异常的函数；
  • 跨循环的goto跳转（如果支持goto，只能允许循环体内的跳转）；
• 禁止修改索引变量：在语义分析阶段检查循环体中是否有对索引变量的赋值操作，一旦发现就报错；
• 可选：强制无异常：如果你的玩具语言不支持异常，可以给生成的循环体代码加上noexcept标记，不过这只是编译期提示，核心还是靠静态检查。

4. 完整示例 #

假设你的玩具语言代码是：

for i from 1 to 10 do
    print(i)
end

生成的C++代码应该是这样的：

#include <iostream>

int main() {
    // 缓存上下界
    const int __loop_low = 1;
    const int __loop_high = 10;

    for (int __internal_i = __loop_low; __internal_i <= __loop_high; ++__internal_i) {
        const int i = __internal_i; // 只读的索引变量
        // 循环体代码
        std::cout << i << std::endl;
    }

    return 0;
}

这个代码完全符合你要的语义：索引i不能被修改，循环次数固定，而且只要你的编译器确保循环体里没有中断操作，这个循环就一定会完整执行10次。

内容的提问来源于stack exchange，提问作者Greg Nisbet