STATE: различия между версиями
AtH (обсуждение | вклад) Нет описания правки |
AtH (обсуждение | вклад) Нет описания правки |
||
Строка 4: | Строка 4: | ||
Слово STATE кладёт на стек u-адр — адрес [[Ячейка (Каллисто)|ячейки]], содержащей текущий режим работы текстового интерпретатора. | Слово STATE кладёт на стек u-адр — адрес [[Ячейка (Каллисто)|ячейки]], содержащей текущий режим работы текстового интерпретатора. | ||
Значение ноль («ложь») означает режим интерпретации — текстовый интерпретатор [[EXECUTE|исполняет]] слова сразу же после их нахождения в [[Словарь|словаре]]. | |||
В [[Каллисто]] значение 128 (не ноль) означает режим компиляции. [[CFA|Адреса]] найденных слов записываются в [[словарь]] текстовым интерпретатором. Их исполнение произойдёт позже, уже адресным интерпретатором. | |||
Строка 94: | Строка 94: | ||
Устоявшееся слово STATE взято из Форта, где присутствует в ядре всех стандартов (''англ.'' CORE) со времён fig-Форта до готовящегося стандарта Форт-2012. Хотя для хранения состояния текстового интерпретатора достаточно одного байта, [[Каллисто]] идёт навстречу стандарту и отводит на эту переменную целую [[Ячейка (Каллисто)|ячейку]]. | Устоявшееся слово STATE взято из Форта, где присутствует в ядре всех стандартов (''англ.'' CORE) со времён fig-Форта до готовящегося стандарта Форт-2012. Хотя для хранения состояния текстового интерпретатора достаточно одного байта, [[Каллисто]] идёт навстречу стандарту и отводит на эту переменную целую [[Ячейка (Каллисто)|ячейку]]. | ||
Все реализации Форта сходятся на том, что нулевое значение STATE означает интерпретацию — исполнение слов, найденных в словаре. Какое именно ненулевое значение STATE означает компиляцию, стандарт не задаёт и оно разнится от одной реализации Форта к другой. Для переключения в режим интерпретации предназначено слово [[[ (Каллисто)|[]], а в режим компиляции текстовый интерпретатор переключает слово [[] (Каллисто)|]]]. Эти два удобных, стандартных и устоявшихся слова позволяют не изменять значение переменной STATE напрямую. | Все реализации Форта сходятся на том, что нулевое значение STATE означает интерпретацию — исполнение слов, найденных в [[Словарь|словаре]]. Какое именно ненулевое значение STATE означает компиляцию, стандарт не задаёт и оно разнится от одной реализации Форта к другой. Для переключения в режим интерпретации предназначено слово [[[ (Каллисто)|[]], а в режим компиляции текстовый интерпретатор переключает слово [[] (Каллисто)|]]]. Эти два удобных, стандартных и устоявшихся слова позволяют не изменять значение переменной STATE напрямую. | ||
Слова, проверяющие значения STATE, называются ''словами, зависящими от состояния''. Их использование часто приводит к непредсказуемым и труднообнаружимым ошибкам, что послужило темой серьёзной дискуссии в сообществе и сильно повлияло на стандарт Форта. Хорошая практика программирования включает советы, как избегать написания слов, зависящих от состояния. | Слова, проверяющие значения STATE, называются ''словами, зависящими от состояния''. Их использование часто приводит к непредсказуемым и труднообнаружимым ошибкам, что послужило темой серьёзной дискуссии в сообществе и сильно повлияло на стандарт Форта. Хорошая практика программирования включает советы, как избегать написания слов, зависящих от состояния. |
Версия от 12:25, 20 октября 2015
STATE (состояние) — стандартное слово Каллисто. Переменная, хранящая состояние текстового интерпретатора. «Истина» (ненулевое значение) означает режим компиляции, «ложь» (ноль) — интерпретации.
( -- u-адр )
Слово STATE кладёт на стек u-адр — адрес ячейки, содержащей текущий режим работы текстового интерпретатора.
Значение ноль («ложь») означает режим интерпретации — текстовый интерпретатор исполняет слова сразу же после их нахождения в словаре.
В Каллисто значение 128 (не ноль) означает режим компиляции. Адреса найденных слов записываются в словарь текстовым интерпретатором. Их исполнение произойдёт позже, уже адресным интерпретатором.
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, называются словами, зависящими от состояния. Их использование часто приводит к непредсказуемым и труднообнаружимым ошибкам, что послужило темой серьёзной дискуссии в сообществе и сильно повлияло на стандарт Форта. Хорошая практика программирования включает советы, как избегать написания слов, зависящих от состояния.
Ссылки
- См. слова [ ]
- Слово STATE в стандарте ANS Forth (англ.) и комментарии к нему (англ.)
- Слово STATE в стандарте ANS Forth (англ.) из расширения TOOLS EXT
- Слово STATE в черновике Forth 200x (англ.) и комментарий к нему (англ.)
- Слово STATE в черновике Forth 200x (англ.) из расширения TOOLS EXT
У этой статьи нет иллюстраций. Вы можете помочь проекту, добавив их. |
Это заготовка статьи. Вы можете помочь проекту, дополнив её. |