5

Из языка оберон-07 была убрана конструкция с LOOP и EXIT. Создатели пишут, что это сделано для того, чтобы сделать язык более структурированным и убрать «скрытые GOTO». Как в таком случае проводить линейный поиск?

3 ответа 3

3

(Взято с сайта OberonCore.Ru).

Используется следующая конструкция:

i := 1;
WHILE ~(i > Last) & ~(Found(haystack[i], Needle)) DO
    i := i + 1
END;
IF ~(i > Last) THEN
    Out.String("found :-)");
ELSE
    Out.String("not found :-(");
END;

То есть, псевдокодом:

установка_начала_цикла();
ПОКА НЕ (конец_цикла()) И НЕ (найден_элемент()) ЦИКЛ
    следующая_ступень_цикла();
КОНЕЦ;
ЕСЛИ НЕ (конец_цикла()) ТО
    элемент_найден();
ИНАЧЕ
    элемент_не_найден();
КОНЕЦ;
2
  • мне кажется, в коде опечатка. Сперва идет установка счетчика, затем просто перебираем счетчик. При этом в цикле больше ничего не выполняется, а присвоение переменным, на основе которых выполняется проверка продолжения цикла, происходит вне цикла. То есть, цикл перебора счетчика никогда не остановится. Кмк, нужно условную конструкцию засунуть внутрь цикла.
    – cauf
    18 ноя 2019 в 5:42
  • @cauf Не совсем понимаю вас. Предполагается, что Last — последний индекс, а Found() — предикат на условие пойиска. Соответственно, итерация закончится когда либо индекс выйдет за пределы коллекции, либо нужный элемент найден.
    – Ainar-G
    18 ноя 2019 в 8:47
2

Решение по исключению множественных неструктурных переходов -- верно. За редкими исключениями -- это даже плохо влияет на производительность, не говоря уже про логику. Примеры, когда можно сделать быстрее с неструктурным переходом можно найти у Кнута. Но я бы предпочёл всё же так не делать. Линейный поиск правильно делать со специальным маркером продолжения цикла булева типа. Если требуются несколько вложенных циклов, то по рекомендации Стива МакКоннела из его известной книги -- надо вложенные циклы оформлять в виде отдельных процедур. Это и читабельней, и проще, и легче поддаётся тестированию в конце концов.

2

Конкретный пример. Поиск числа в массиве. Можно скомпилировать и запустить в системе Free Oberon. (см. freeoberon.su)

MODULE Ex;
IMPORT Out;

PROCEDURE Example*;
VAR m: ARRAY 100 OF INTEGER;
  i: INTEGER; (*бегунок по массиву*)
  x: INTEGER; (*что ищем*)
BEGIN
  (*Сначала как-то заполняется массив и x: *)
  m[6] := 23;
  x := 23;
  (*Затем ищем x в m: *)
  i := 0;
  WHILE (i # LEN(m)) & (m[i] # x) DO INC(i) END;
  (*после того, как цикл закончится,
    либо i будет равен LEN(m),
    либо m[i] будет равен x *)
  IF i # LEN(m) THEN
    (*фокус в том, что здесь непременно m[i] = x*)
    Out.String("Нашли x на позиции ");
    Out.Int(i, 0)
  ELSE
    Out.String("x не найден")
  END;
  Out.Ln
END Example;

BEGIN
  Example
END Ex.

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.