Когда для выполнения тела цикла необходима истинность предусловия. То есть цикл перед перед выполнением посмотрит, выполняется ли условие на входе, и будет выполняться до тех пор, пока условие истино.
Это важно потому, что условие может быть ложным перед первым выполнением, тогда цикл не выполнится ни разу.