while loops

Level: 101 · for newcomers

One line: while repeats a block for as long as a bool condition holds — the loop you reach for when the number of iterations is not known in advance, and the one that needs a mut to make progress.

Stub — an outline, not a lesson. There is no runnable example behind this page yet, so nothing on it has been through the check that backs every other claim in this library. The bullets below are the questions the finished page has to answer.

What it has to cover

• No parentheses, braces required, condition must be a bool — the same three rules as if
• The condition is checked before each pass, so a while may run zero times; Rust has no do…while
• A while loop nearly always needs a mut binding declared outside it, which is worth noticing: it is the shape a for over an iterator exists to avoid
• while let as the pattern-matching cousin, and the loop it replaces
• When while is the honest choice (a condition that is not a sequence — convergence, a queue draining, input arriving) and when it is a for in disguise

The trap it exists for

A while whose condition depends on a variable the body forgot to advance is an infinite loop the compiler will not warn about, because nothing is wrong with the program — it is only wrong about what you meant. The for version of the same loop cannot make that mistake, which is the argument for preferring it whenever the sequence is known.

See also

• while let — the same loop driven by a pattern, and the body that peeks where it meant to advance
• for loops — when the sequence is known
• loop — when there is no condition at the top
• Variables — the mut a while loop almost always needs
• Comprehensive Rust: while ↗

Po polsku

while sprawdza warunek przed każdym obiegiem, więc może nie wykonać się ani razu — a pętli z warunkiem na końcu, czyli pascalowego repeat … until i C-owego do…while, w Ruscie po prostu nie ma; jej odpowiednikiem jest loop { …; if !warunek { break; } }. Obowiązują tu te same trzy reguły co przy if: żadnych nawiasów wokół warunku, klamry obowiązkowe, a warunek musi być typu bool. Warto zwrócić uwagę na kształt takiego kodu: while niemal zawsze potrzebuje zmiennej mut zadeklarowanej przed pętlą, i to jest dokładnie ten wzorzec, którego for po iteratorze pozwala uniknąć. Stąd pułapka — jeśli ciało zapomni posunąć zmienną z warunku, powstaje pętla nieskończona, o której kompilator nie powie ani słowa, bo z jego punktu widzenia program jest poprawny; niezgodny jest tylko z tym, co mieliśmy na myśli, a wersja z for po znanej sekwencji nie potrafi popełnić tego błędu.

Szukaj po polsku: pętla while · pętla z warunkiem na końcu · brak do while w Ruscie · rust do while equivalent loop break · rust while let