1. другий варіант більше подобається.
3. в розбитий на простіші чомусь значно довше заїжджав.

Ніщо людське Коалі не чуже
1. Я за перший варіант, бо побачивши розфарбування кілка одразу увага перемикається на задачу фарбування огорожі і з завершенням циклу зрозуміло, що все вже пофарбовано.
2. Якщо Х звичайна умова, яка не має побічних наслідків, то я за такий варіант:

    if(! X )
    {

    }
    while( X )
    {
    }

Зізнавайтесь, книжку пишите чи до лекції готуєтесь?

1. Відповім цитатою з книги "Code complete" Steven McConnell. Досить цікавий варіант вирішення питання як мінімум для ознайомлення. Цитата немаленька тому сховав.

// Обчислюємо рахунок і рейтинги.
score = 0;
// Ці рядки з'являються тут...
GetNextRating( &ratingIncrement );
rating = rating + ratingIncrement;
while ( ( score < targetScore ) && ( ratingIncrement != 0 ) ) {
  GetNextScore( &scoreIncrement );
  score = score + scoreIncrement;

  //...і повторюються тут.
  GetNextRating( &ratingIncrement );
  rating = rating + ratingIncrement;
}

// Обчислюємо рахунок і рейтинги. Цей код використовує нескінченний цикл
// і оператор break для імітації циклу з виходом.
score = 0;
while ( true ) {
  GetNextRating( &ratingIncrement );
  rating = rating + ratingIncrement;
   // Це умова виходу з циклу (і тепер вона може бути спрощена за допомогою теорем ДеМоргана,
   // описаних в розділі 19.1).
  if ( !( ( score < targetScore ) && ( ratingIncrement != 0 ) ) ) {
    break;
  }
  GetNextScore( &scoreIncrement );
  score = score + scoreIncrement;
}

3. Стараюсь замінити складну умову на булеву функцію (чи кілька функцій) якщо функція несе в собі якийсь логічний зміст.

bool mayContinue ( int i ) {
  return
    ( i > 0 ) && ( i < length() ) && // in range
    isCorrect( element[ i ] ); // is correct
}

З.І. В питаннях типу форматування та організації коду часто звертаюсь до книги, вказаної на початку повідомлення. Там є рекомендації практично "на всі випадки життя".

20x9111A: я невдало приклад обрав, треба з книги (див. нижче) скопіювати було.

20xDADA11C7: книжку читаю (див. нижче). А ваш варіант п.2 все ще лишає повторення умови в двох місцях, ну і там дуже проситься else стояти, тобто це тільки ускладнює картину.

2Arete: Ну от... справа в тому, що я якраз почав Макконнела читати (ага, я його досі не читав, мені соромно). 90% там мені, в принципі, вже і так відомо, але все ж треба знати класику Хоча і пару помилок в нього я вже знайшов  ]:->
1. Мені таке рішення не подобається з двох причин: по-перше, неструктурно, а по-друге (частково як наслідок) умова виходу схована всередині. Нічого, дістануся циклів в "Довершеному коді", може, щось клацне в голові...
3.  Це можливо, якщо всі умови залежать від однієї-двох змінних. Втім, якщо цикл залежить від десятка різних умов - то, дуже схоже, неправильно обрана абстракція і побудовані класи, які б переробили 2/3 з цих умов самі.

koala, Функція Paint() вміє обробити ситуацію, коли параметр - нульовий?

Якщо та, то можна зробити щось таке:

for( pin = firstPin, bar = firstBar; bar || pin; pin = pin.next(), bar = bar.next() )
{
  Paint( bar ); // if zero - just return
  Paint( pin ); // if zero - just return
}

Я Макконела не читав (лише трошки, може ).
Що ви маєте на увазі?

Так не варіант?

// somewhere above...
void modifyRating(int &rating, int &ratingInc)
{
    GetNextRating( &ratingInc );
    rating += ratingInc;
}

void modifyScore(int &score, int &scoreInc)
{
    GetNextScore( &scoreInc );
    score += scoreInct;
}

// Обчислюємо рахунок і рейтинги.

// Ці рядки з'являються тут...
for (score = 0, modifyRating(rating, ratingIncrement) ; ( score < targetScore ) && ratingIncrement ; modifyRating(rating, ratingIncrement) )
{
  modifyScore(score, scoreIncrement);
  //...
}

1. Можна придумати лаконічніші назви.
2. Тут не зрозумів.
3. Але ж блок, який виконується у переході та блоці ініціалізації, має виконуватися обов'язково? Чому б його там не тримати?