STATE

STATE (состояние) — стандартное слово Каллисто. Переменная, хранящая состояние текстового интерпретатора. «Истина» (ненулевое значение) означает режим компиляции, «ложь» (ноль) — интерпретации.

( -- u-адр )

Слово STATE кладёт на стек u-адр — адрес ячейки, содержащей текущий режим работы текстового интерпретатора.

Значение ноль («ложь») означает режим интерпретации — текстовый интерпретатор исполняет слова сразу же после их нахождения в словаре. В Каллисто значение 128 (не ноль) означает режим компиляции. xt найденных слов записываются в словарь текстовым интерпретатором. Их исполнение произойдёт позже, уже адресным интерпретатором.

Обращаться к STATE самостоятельно не рекомендуется. Для переключения в режим интерпретации существует слово [, а в режим компиляции текстовый интерпретатор переключает слово ]. Это два удобных, стандартных и устоявшихся слова.

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

6.1.2250   STATE                                                           CORE
           ( -- a-addr )
           a-addr - адрес ячейки, содержащей флаг состояния компиляции. STATE
           - true когда в состояния компиляции, иначе false. Значение true в
           STATE ненулевое, но - иначе определенное реализацией. Только
           следующие стандартные слова изменяют значение в STATE: :
           (двоеточие), ; (Точка с запятой), ABORT, QUIT, :NONAME, [ (левая
           скобка), и ] (правая скобка).

       Обратите внимание:
           Программа непосредственно не должна изменять содержание STATE.

       См.: 3.4 Интерпретатор текста Forth, 6.1.0450 :, 6.1.0460 ;, 6.1.0670 
           ABORT, 6.1.2050 QUIT, 6.1.2500 [, 6.1.2540 ], 6.2.0455 :NONAME, 
           15.6.2.2250 STATE.

A.6.1.2250   STATE
Хотя EVALUATE, LOAD, INCLUDE-FILE, и INCLUDED не перечислены как слова, которые 
изменяют STATE, текст, интерпретируемый любым из этих слов, может включать одно 
или более слов, которые явно изменяют STATE. EVALUATE, LOAD, INCLUDE-FILE, и 
INCLUDED сами не делают изменения в STATE.

STATE не вложено при вложении текстового интерпретатора. Например, 
последовательность кода:

       : FOO  S" ]" EVALUATE ;       FOO

оставит систему в состоянии компиляции. Точно так же после выполнения LOAD с 
блоком содержащим ], система будет в состоянии компиляции.

Заметьте, что ] не затрагивает область анализа и что единственное влияние 
которое : оказывает на область анализа, это выделить слово. Это дает право 
программе использовать эти слова для установки состояния с известными побочными 
эффектами на область анализа. Например:

       : NOP  : POSTPONE ; IMMEDIATE ;

       NOP ALIGN    NOP ALIGNED

Некоторые не-ANS Forth совместимые системы имеют ] вызывающее цикл компилятора 
в дополнение к установке STATE. Такая система неуместно пыталась бы 
компилировать второе использование NOP.

Также заметьте, что ничто в Стандарте не мешает программе искать идентификаторы 
исполнения ] или [ и использовать их для изменения STATE. Эти факты предлагают, 
что реализации ] будут делать только установку STATE и единственный цикл 
интерпретатора/компилятора будет контролировать STATE.

15.6.2.2250   STATE                                                   TOOLS EXT
           ( -- a-addr )
           Расширьте семантику 6.1.2250 STATE, чтобы позволить ;CODE, изменить 
           значение в STATE. Программа непосредственно не должна изменять 
           содержимое STATE.

       См.: 3.4 Интерпретатор текста Forth,  6.1.0450 :, 6.1.0460 ;, 6.1.0670 
           ABORT, 6.1.2050 QUIT, 6.1.2250 STATE, 6.1.2500 [, 6.1.2540 ], 
           6.2.0455 :NONAME, 15.6.2.0470 ;CODE.

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

     STATE        -- addr                       U,79
          The address of a variable containing the compilation state.
          A non-zero content indicates compilation is occurring, but
          the value itself is system dependent.  A Standard Program
          may not modify this variable.

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

STATE          -- addr                       U,164
    Leave  the address of the variable containing the  compilation
    state.  A non-zero content indicates compilation is occurring,
    but the value itself may be installation dependent.

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

STATE         ---  addr                       L0,U
       A user variable containing the compilation state. A non-zero value
       indicates compilation. The value itself may be implementation
       dependent.

История

Устоявшееся слово STATE взято из Форта, где присутствует в ядре всех стандартов (англ. CORE) со времён fig-Форта до готовящегося стандарта Форт-2012. Хотя для хранения состояния текстового интерпретатора достаточно одного байта, Каллисто идёт навстречу стандарту и отводит на эту переменную целую ячейку.

Все реализации Форта сходятся на том, что нулевое значение STATE означает интерпретацию — исполнение слов, найденных в словаре. Какое именно ненулевое значение STATE означает компиляцию, стандарт не задаёт и оно разнится от одной реализации Форта к другой.

Слова, проверяющие значения STATE, называются словами, зависящими от состояния. Их использование часто приводит к непредсказуемым и труднообнаружимым ошибкам, что послужило темой серьёзной дискуссии в сообществе и сильно повлияло на стандарт Форта. Хорошая практика программирования включает советы, как избегать написания слов, зависящих от состояния.

Ссылки

• См. слова [ ]
• Слово STATE в стандарте ANS Forth (англ.) и комментарии к нему (англ.)
• Слово STATE в стандарте ANS Forth (англ.) из расширения TOOLS EXT
• Слово STATE в черновике Forth 200x (англ.) и комментарий к нему (англ.)
• Слово STATE в черновике Forth 200x (англ.) из расширения TOOLS EXT

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

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