Выход из цикла или смерть Кощея

[Valery]

Код: [Выделить]

i = 0;
  заяц = ЗАЯЦ(сундуки[i]);
  утка = УТКА(заяц));
  яйцо = ЯЙЦО(утка);
  игла = ИГЛА(яйцо);
condition = (!(заяц = null)|| !(утка = null)|| !(яйцо = null)|| !(игла = null));
while ((i < колВоСундуков) && condition)
{++i;
заяц = ЗАЯЦ(сундуки[i]);
утка = УТКА(заяц);
яйцо = ЯЙЦО(утка);
игла = ИГЛА(яйцо);
condition = (!(заяц = null)|| !(утка = null)|| !(яйцо = null)|| !(игла = null));
}
И что?

[albobin]

Зачем так длинно, достаточно только иглу сравнить

[valexey_u]

Код: [Выделить]

i = 0;
  заяц = ЗАЯЦ(сундуки[i]);
  утка = УТКА(заяц));
  яйцо = ЯЙЦО(утка);
  игла = ИГЛА(яйцо);
condition = (!(заяц = null)|| !(утка = null)|| !(яйцо = null)|| !(игла = null));
while ((i < колВоСундуков) && condition)
{++i;
заяц = ЗАЯЦ(сундуки[i]);
утка = УТКА(заяц);
яйцо = ЯЙЦО(утка);
игла = ИГЛА(яйцо);
condition = (!(заяц = null)|| !(утка = null)|| !(яйцо = null)|| !(игла = null));
}
И что?

Подозреваю, что например "утка = УТКА(заяц);" если заяц==null, не приведет ни к чему хорошему.

[DddIzer]

Зачем так длинно, достаточно только иглу сравнить

только в том случае если есть гарантированная смерть

[albobin]

1. Разрешить передачу null  в параметре функций ЗАЯЦ, УТКА ...  (будет возвращать тоже null)

[DddIzer]

1. Разрешить передачу null  в параметре функций ЗАЯЦ, УТКА ...  (будет возвращать тоже null)

так это само-собой. я говорю про  ( i < колВоСундуков) - в различных возможных ипостасях

[Geniepro]

Печенкой чую, что тут хорошо прокатило бы что-то вроде монады Maybe.

По сути вот она:

Это же банальный линейный поиск:

Код: [Выделить]

i := 0;
WHILE (i < LEN(сундуки)) & ((ЗАЯЦ(сундуки[i]) = NIL) OR (УТКА(ЗАЯЦ(сундуки[i])) = NIL) OR (ЯЙЦО(УТКА(ЗАЯЦ(сундуки[i]))) = NIL)) DO INC(i) ENDКороткое решение безо всяких break'ов.

[Geniepro]

Печенкой чую, что тут хорошо прокатило бы что-то вроде монады Maybe.

По сути вот она:

Это же банальный линейный поиск:

Код: [Выделить]

i := 0;
WHILE (i < LEN(сундуки)) & ((ЗАЯЦ(сундуки[i]) = NIL) OR (УТКА(ЗАЯЦ(сундуки[i])) = NIL) OR (ЯЙЦО(УТКА(ЗАЯЦ(сундуки[i]))) = NIL)) DO INC(i) ENDКороткое решение безо всяких break'ов.

Пардон, нет, это на монаду maybe не годится из-за ((ЗАЯЦ(сундуки) = NIL) OR (УТКА(ЗАЯЦ(сундуки)) = NIL) OR (ЯЙЦО(УТКА(ЗАЯЦ(сундуки))) = NIL)

[Geniepro]

На Си можно избежать дублирования кода пользуясь тем фактом, что оператор присваивания возвращает значение:

Код: [Выделить]

i = 0;
while ((i < колВоСундуков) && (
   !(заяц = ЗАЯЦ(сундуки[i]))
|| !(утка = УТКА(заяц)))
|| !(яйцо = ЯЙЦО(утка))
|| !(игла = ИГЛА(яйцо))
)) ++i;
PS: прошлый раз не заметил, что там ещё и игла есть...

Вот, а вот это уже вполне тянет на суть монады Maybe!

[albobin]

1. Разрешить передачу null  в параметре функций ЗАЯЦ, УТКА ...  (будет возвращать тоже null)

так это само-собой. я говорю про  ( i < колВоСундуков) - в различных возможных ипостасях

Ну, тогда надо тот код из http://oberspace.dyndns.org/index.php/topic,425.msg13051.html#msg13051
лучше упростить

Код: [Выделить]

i = 0;
condition =false ;
while ((i < колВоСундуков) && (! condition)
{ заяц = ЗАЯЦ(сундуки[i]);
утка = УТКА(заяц);
яйцо = ЯЙЦО(утка);
игла = ИГЛА(яйцо);
        condition = игла != null;
        i++;
}

Здесь ищем иглу, а при

Код: [Выделить]

  condition = игла == null    ищем недостачу

[DddIzer]

эта форма мне нравится...-побочных эффектов "по-любому возникающих" я не вижу...

[DddIzer]

точнее - если можно пожертвовать в угоду наглядности  мизерной потерей быстродействия на 4 безусловных вызова функций то ваш вариант, если нет - свой 

[albobin]

точнее - если можно пожертвовать в угоду наглядности  мизерной потерей быстродействия на 4 безусловных вызова функций то ваш вариант, если нет - свой 

Да он как бы и не мой   Я предполагал без переменной и repeat-until ну или do-while как у Вас в http://oberspace.dyndns.org/index.php/topic,425.msg13034.html#msg13034
Хотя просто while с переменной, наверное,  всё же лучше.
PS.
Навесить ифы можно во всех вариантах.

[Geniepro]

Что предлагается сделать.
Изобрести (или вспомнить где-то реализованную) конструкцию для цикла, которая позволяла бы записать решение без компромиссов, образцово-показательно, эффективно.
ИКР, короче. Идеальный конечный результат.

Не следует ограничивать свою фантазию, речь идет, скорее, о языке мышления.

Ну вот мой вариант:

Код: [Выделить]

// Найти первый комплект с иглой
for (int i = 0; i < сундуки.Length; i++)
{
    заяц = сундуки[i];          if (заяц == null) continue;
    утка = заяц.ИзвлечьУтку();  if (утка == null) continue;
    яйцо = утка.ИзвлечьУтку();  if (яйцо == null) continue;
    игла = яйцо.ИзвлечьУтку();  if (игла == null) break;
}

Код: [Выделить]

// Найти первый комплект без иглы -- низкоуровневая имитация монады Maybe
for (int i = 0; i < сундуки.Length; i++)
{
    заяц = сундуки[i];          if (заяц == null) break;
    утка = заяц.ИзвлечьУтку();  if (утка == null) break;
    яйцо = утка.ИзвлечьУтку();  if (яйцо == null) break;
    игла = яйцо.ИзвлечьУтку();  if (игла == null) break;
}

[albobin]

Пётр Алмазов призывал: "Не следует ограничивать свою фантазию".


вариант без переменной condition
ищем нормальную иглу

Код: [Выделить]

i = 0;
игла=null ;
while (i < колВоСундуков) && (игла == null)
{ заяц = ЗАЯЦ(сундуки[i]);
утка = УТКА(заяц);
яйцо = ЯЙЦО(утка);
игла = ИГЛА(яйцо);
        i++;
}

ищем недостачу

Код: [Выделить]

i = 0;
игла=игла_без_йаду ;
while (i < колВоСундуков) && (игла != null)
{ заяц = ЗАЯЦ(сундуки[i]);
утка = УТКА(заяц);
яйцо = ЯЙЦО(утка);
игла = ИГЛА(яйцо);
        i++;
}