LEAVE

Материал из ПМК вики
Перейти к навигации Перейти к поиску

LEAVE (выйти) — стандартное слово Каллисто. Аварийный выход из цикла FOR.

LEAVE          ( −− )                               Закончить исполнение цикла FOR.

Досрочно и немедленно прерывает самый внутренний цикл FOR .. NEXT. Управление передаётся на слово, следующее после ближайшего NEXT. Обычно слово LEAVE используется изнутри условного оператора.

Чтобы покинуть сразу несколько вложенных циклов FOR, используйте нужное число слов UNLOOP перед LEAVE.

Ввод слова LEAVE

В режиме ЛАТ последовательно нажмите клавиши     ИП   ШГ←      ИП 

LEAVE в стандарте ANS Forth

6.1.1760   LEAVE                                                           CORE
       Интерпретация: Семантика интерпретации для этого слова не определена.
       Выполнение: ( -- )  ( R: loop-sys -- )
           Снимает текущие параметры управления циклом. Неопределенная 
           ситуация существует, если они недоступны. Продолжает выполнение 
           непосредственно вне самого внутреннего синтаксически окруженного DO 
           ... LOOP или DO ... +LOOP.
       См.: 3.2.3.3 Стек возвратов, 6.1.0140 +LOOP, 6.1.1800 LOOP.
A.6.1.1760   LEAVE
Заметьте, что LEAVE немедленно завершает цикл. Никакие слова после LEAVE в 
пределах цикла не будут выполнены. 
Типичное использование:
       : X ... DO ... IF ... LEAVE THEN ... LOOP ... ;

История

Реализация слова LEAVE в fig-Форте приравнивала счётчик цикла DO…LOOP к его границе, в результате чего последующее слово LOOP не выполняло переход на очередной цикл DO. 16-битный цикл DO…LOOP тех времён имел изъян. Он не позволял сделать просмотр адресов на границе 32Кб, например 32760 10 TYPE выдавало ошибку. Это вынудило провести реформу цикла DO…LOOP.

В круговом цикле на 64K (описанном у Баранова-Ноздрунова) старая реализация LEAVE перестала работать и стандарт Форта-83 утвердил новый вариант LEAVE (немедленно прерывающий цикл), как стандартный. Этот новый вариант и реализован в Каллисто, где роль цикла DO выполняет более современный цикл FORNEXT, взятый из colorForth.

LEAVE в предыдущем стандарте Forth-83 (англ.)

     LEAVE        --                            C,I,83
                  --   (compiling)
          Transfers execution to just beyond the next LOOP or +LOOP .
          The loop is terminated and loop control parameters are
          discarded.  May only be used in the form:
                  DO ... LEAVE ... LOOP
          or
                  DO ... LEAVE ... +LOOP
          LEAVE may appear within other control structures which are
          nested within the do-loop structure.  More than one LEAVE
          may appear within a do-loop.  See:  "9.3 Return Stack"

LEAVE в стандарте Forth-79 (англ.)

LEAVE                                        C,213
    Force  termination  of a DO-LOOP at the next LOOP or +LOOP  by
    setting  the  loop  limit equal to the current  value  of  the
    index.   The  index itself remains  unchanged,  and  execution
    proceeds   normally   until  the  loop  terminating  word   is
    encountered.

LEAVE в fig-FORTH Release 1 glossary, май 1979 (англ.)

LEAVE                                         C,L0
       Force termination of a DO-LOOP at the next opportunity by setting
       the loop limit equal to the current value of the index. The index
       itself remains unchanged, and execution proceeds normally until LOOP
       or +LOOP is encountered.

Реализация

Слово LEAVE в ФОРТ-ЕС было примитивом. Вот его описание и определение:

LEAVE     К  -> ЗАКОНЧИТЬ ИСПОЛНЕНИЕ ЦИКЛА "DO"                 24

                     Экран номер 24
( 09.09.86 ЦИКЛЫ СО СЧЕТЧИКОМ: (DO/ I I' J   LEAVE)

CODE LEAVE  ( -> ) RI RFIRST 4 +(, LH, RI RMASK NR,
     RRET 6 (, 0 RRET LA,  RNEXT BR,   END-CODE

В FORTH ИТЭФ слово LEAVE также было примитивом, вот его определение:

   ;        ** Стек возвратов **

            HEAD     205Q 'LEAV',305Q,LEAVE                ; LEAVE
	    MOV  AX, [BP]
            MOV  [BP]+2, AX
            NEXT

Ссылки


  У этой статьи нет иллюстраций. Вы можете помочь проекту, добавив их.


  Это заготовка статьи. Вы можете помочь проекту, дополнив её.