编辑“︁Modula-3”︁（章节）

====循环控制结构====
Modula-3提供了循环[[控制结构]]<code>FOR</code>、<code>LOOP</code>、<code>WHILE</code>和<code>REPEAT</code>语句，和必须在字面上包围在这四个循环语句中，用于从循环中退出的<code>EXIT</code>语句。语句{{code|2="modula2"|1=LOOP S END}}，循环直到<code>S</code>中有一个{{code|2="modula2"|1=EXIT}}发生。语句{{code|2="modula2"|1=WHILE B DO S END}}，被定义为：
<syntaxhighlight lang="modula2">
LOOP
    IF B THEN S
    ELSE EXIT 
    END
END
</syntaxhighlight>
语句{{code|2="modula2"|1=REPEAT S UNTIL B}}，被定义为：
<syntaxhighlight lang="modula2">
LOOP
    S; 
    IF B THEN EXIT END 
END
</syntaxhighlight>
<code>FOR</code>语句有如下形式：{{code|2="modula2"|1=FOR id := first TO last BY step DO S END}}，这里的<code>id</code>是一个标识符，而<code>first</code>和<code>last</code>是有相同基础类型的序数表达式，<code>step</code>是整数取值的表达式。而<code>S</code>是一个语句。<code>BY step</code>是可选的，如果省略，<code>step</code>缺省为<code>1</code>。标识符<code>id</code>指示其[[作用域]]是<code>S</code>的一个只读变量，其类型是<code>first</code>和<code>last</code>共同的基础类型。<code>FOR</code>语句的语义，可如下这样用<code>WHILE</code>和<code>WITH</code>语句精确的定义为一个块：
<syntaxhighlight lang="modula2">
    VAR
        i := ORD(first);
        done := ORD(last);
        delta := step;
BEGIN
    IF delta >= 0 THEN
        WHILE i <= done DO 
            WITH id = VAL(i, T) DO S END;
            INC(i, delta)
        END
    ELSE
        WHILE i >= done DO
            WITH id = VAL(i, T) DO S END; 
            INC(i, delta)
        END
    END
END
</syntaxhighlight>
这里的<code>T</code>是<code>id</code>的类型，<code>i</code>、<code>done</code>和<code>delta</code>代表不出现在<code>FOR</code>语句中的变量。从<code>FOR</code>语句的这个定义可以看出，如果一个<code>FOR</code>循环的上界是<code>LAST(INTEGER)</code>或<code>LAST(LONGINT)</code>，就应当将它改写为<code>WHILE</code>循环来避免溢出。