> -- igor писал(а):
> Хоть это и очевидно, но на всякий случай озвучу.Операторы ДО проверки выхода из цикла выполняются  раз, а операторы ПОСЛЕ проверки выполняются  раз.
Нулично мнеочевидно, что это уже не цикл.

Видимо есть какая-то тонкая разница в восприятии циклов у народа.
Для меня цикл - этонеделимаяи конечная последовательность действий, которая выполняется 0 или N разцеликом

Вот имеем набор действий (каждое из которых выполняется ровно 1 раз):
## Код:
```
<действе1>
<действе2>
<действе3>
<действе4>
<действе5>
```


Если выделить из этой последовательности неразрывную подпоследовательность и разрешить ей выполнятьсяцеликом0 или N раз, то это будет цикл в моем понимании:
## Код:
```
<действе1>
ПОВТОРИТЬ 0 или N раз
<действе2>
<действе3>
<действе4>
КОНЕЦ
<действе5>
```

Если разрешить произвольно "прыгать" внутрь цикла и наружу, то это уже не цикл а набор goto, которые только напоминают цикл.

Я вашу картинку подправил как раз для того, чтобы показать, что есть два пути, которые пресекают действие "Покрасить столб".
На мой взгляд такого быть не должно. Действие не может принадлежать двум путям (как дом не принадлежит двум улицам). И на самом деле там два действия. Одно принадлежит прямому пути, другое циклу.

ps Действие дублируется, да. Но, имхо, как раз это и делает ясной логику потока управления.