33、Eiffel的循环结构

Eiffel的循环结构

1. 循环的基本概念

循环结构是编程语言中不可或缺的一部分，它允许程序根据特定条件重复执行一段代码。Eiffel语言中的循环结构不仅提供了基本的重复执行功能，还融入了面向对象设计的原则，确保了代码的可读性和可靠性。在Eiffel中，循环结构的设计旨在支持复杂的逻辑控制，同时保持代码的简洁和优雅。

1.1 循环的语法

Eiffel支持多种循环结构，主要包括 from … until 循环、 loop 循环和 across 循环。每种循环都有其独特的语法和应用场景。下面我们将逐一介绍这些循环结构。

1.1.1 from … until 循环

from … until 循环用于在特定条件下重复执行代码块，直到条件不再满足。其基本语法如下：

from
    initialization
until
    condition
loop
    body
end

• initialization ：初始化语句，通常用于设置循环变量的初始值。
• condition ：循环条件，当条件为 False 时继续执行循环体。