mayton wrote:

> От языка зависит. Но для большинства императивных заход в выражение
> for(..) выполняется всегда хотя-бы 1 раз независимо от результата
> предиката цикла.

Я наверное понял, что ты имел в виду.
Что выражения в цикле выполняются хотя бы один раз.

for( int i = array.get_size(); i < array.size(); ++i )
{
process_element( array[i] );
}

int i = array.get_size();

и

i < array.size();

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

Но

process_element( array[i] );

в большинстве языков программирования МОЖЕТ НЕ ВЫПОЛНИТСЯ НИ РАЗУ,
потому что в большинстве языков большинство циклов являются циклами
с предусловиями.
(в C/C++ while, for -- с предусловиями, do ... while -- с постусловиями).

Поскольку в 90% случаев кода пробега по массивам условие выхода
из цикла должно проверять наличие текущего элемента в массиве
тем или иным образом (в смысле -- не кончился ли ещё массив),
то я лично считаю, что в циклас с предусловиями НЕ НАДО проверять массив
на пустоту, прежде чем по нему бежать. В циклах с постусловием -- надо.
Posted via ActualForum NNTP Server 1.4