Kurz erklärt
Eine kopfgesteuerte Schleife, die läuft, solange eine Bedingung wahr ist — die Anzahl der Durchläufe muss vorher nicht feststehen.
Genauer
Die Bedingung wird VOR jedem Durchlauf geprüft; ist sie beim ersten Check schon falsch, läuft der Schleifenkörper kein einziges Mal. Eignet sich für Fälle, in denen die Abbruchbedingung von etwas Dynamischem abhängt (z. B. Nutzereingabe), nicht von einem festen Zähler wie bei der for-Schleife.