Cấu trúc và hành vi của một while Loop
Lặp có điều kiện yêu cầu rằng một điều kiện phải được test bên trong loop để quyết định liệu loop nên tiếp tục.
Một điều kiện như vậy được gọi là loop’s continuation condition. Nếu điều kiện tiếp diễn là false, loop chấm
dứt. Nếu điều kiện tiếp diễn là true, các phát biểu bên trong loop được thực thi một lần nữa. While loop là
tailor made cho dạng logic kiểm soát này. Sau đây là cú pháp của nó:
while <condition>:
<sequence of statements>
Hình thức của phát biểu này hầu như giống cái của phát biểu chọn một nhánh. Tuy nhiên, việc sử dụng từ dành riêng
while thay cho if chỉ ra rằng chuỗi các phát biểu có thể được thực thi nhiều lần, miễn là điều kiện vẫn đúng.
Rõ ràng là, thứ gì đó cuối cùng phải xảy ra bên trong body của loop để làm điều kiện tiếp diễn của loop trở thành
false. Mặt khác, loop sẽ tiếp tục mãi mãi, một lỗi dược biết đến như là vòng lặp vô hạn. Ít nhất một phát biểu trong
body của loop phải cập nhật một biến cái ảnh hưởng giá trị của điều kiện. Ảnh dưới thể hiện một hình họa dòng cho
semantics của một while loop.
