Forth 采用Create，Does>定义新的词（word）& 延迟词技术

body, table{font-family: 微软雅黑; font-size: 13.5pt}
table{border-collapse: collapse; border: solid gray; border-width: 2px 0 2px 0;}
th{border: 1px solid gray; padding: 4px; background-color: #DDD;}
td{border: 1px solid gray; padding: 4px;}
tr:nth-child(2n){background-color: #f8f8f8;}

代码指针域中包含有一个程序段的地址，每当一个定义被引用时该程序段就首先被执行。因此，又称该程序段为运行时间代码，不同类型的定义具有不同的运行时间代码。运行时间代码决定了一个词的类别，决定了该词的特性及如何对待和处理放在该词参数域中的数据。三种不同类型的定义，常数、变量和冒号定义。CONSTANT、VARIABLE 和冒号定义可以给词典增加新词，所以又把它们称为定义词。如果由代码指针域所指着的运行时间代码是由汇编代码来定义的，则定义一个新的定义词的格式是： : 新定义词名 CREATE … ；CODE 汇编代码其中汇编代码是由汇编助记符编写的程序段。如果运行时间代码是由冒号定义规定的话： : 新定义词名 CREATE … DOES> … ； CREATE 使用输入流中下一个字符串作为名字在词典中建立一个入口，CREATE 后面的内容规定词典中如何编译一个新的定义，DOES> 后面的内容规定新定义的运行时间代码。

// 定义一个双字长常数
: DCONSTANT CREATE , , DOES> DUP 2 + @ SWAP @ ;

123.456 DCONSTANT CON1
<img src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAHYAAAA0CAIAAADQVVshAAAAA3NCSVQICAjb4U/gAAAACXBIWXMAABJ0AAASdAHeZh94AAACE0lEQVR4nO2b3ZKDIAyFszs+Iw/pU+4FHYYNSQh/VfF8Vy1ixANikqZEAAAAruZHO3CeZ/41hFA2sqOxQ/osmmJ28q/liXvwK7ame46QJBMVosQ+bBpyU7S7miKyxAZMnXz9UrFImaCvUjYhS1w+zrFF1CiEkEvp3FIS269rdRUnpTSxprC9vkR0GMdylT0qLJ2M51Lfi+0Hn/VMW4oTv/HnonoUi267NLu9yh+JF2kqOhhvo+JRJOnzx79JMvba3H7NAgAAAACsQM0X99GRc1iapnAaZ/nrPiMazclMgw5v9wv6erAHMOjLT5P4ufp6GFF5msStCaDVdI9nei5h5kaxASltO1FlSPyPFQ8iJF4OJF7OlRI/KLE54vxMCz20nzOcJ07fBJvGY5fOvOE3XAAAAADcHNlpE31V5sSQ5MeI/o2djdWoFgWIhzxDEgt5jTFo3ZzOnBV6iAVUrF5YHJCzv4FWNcvs2HXQ4pDEemeNKXlktVSldd5sfe1BtJ6lKV4dkjhzI+Glx8Lz8sXaBKwOybrzyFbxazJNvXtZX3+nqbLdr2/rBMQ8sr8OOOewY3lxKPmdeC7Z2t82VX38WXv6PHjd7nOPiVP9HbTXr9an2mE1T80Xn9m/o+62CBh3lLj6mjZ2ZI8Txop3R2bIY8HKF9txRKSMR9ihamjguboWetghEilv2u7QA3lkAAAAAFzFH7Fqvl+pVxgyAAAAAElFTkSuQmCC" />
CON1 D. <img src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAJcAAAAVCAIAAADEhev9AAAAA3NCSVQICAjb4U/gAAAACXBIWXMAABJ0AAASdAHeZh94AAABeUlEQVRoge2YzY3CMBCFQ5YzF3qgiC3ESgUIiVJyRkKUMKlhK1jogVI4IJng+YntMSKx5juRwRk/z0viSX76odttf/+vt8ZYLO23BRgFMBdrwFysgfX4AAD8b+ccDvr4MxiM8YdkhIRMroFTgqeYnHqcKhjMpcrWr8zwuhe96LHucRCvh1ybEMd40UKx4sGnc/rldXFK3Dt4imzlysu3DaSkJuUKl4HSSKHu8XEhlTBS/whRsub+yDayyF2VweS8SQ9559yHlhCziaReHKyLMXxuqcUh64L7ALl8ZN8gxCdlAAAAkKqS7m+Vi81CjOTqwlUz2Pvx4zcYL7tSRKqM1sVm9kYm1SWjzZ4D7PvinI2JZ0FOPMnrKlry5K9YyG1dBcX4bKlpy8qQyTBy1Q/d/W9zOl8aZpdOfevH08f39PKrtww5r/C2Lk/NNT54fOqHC7mlj2myCPqhOx72saONWWLfUWvAXKwBc7EGzMUaMBdrQOtiHR8Hls4DMZAtZIjFuWMAAAAASUVORK5CYII=" />

运行时间行为： 任何由 CREATE 所创立的词的“缺省”的运行时间代码行为是返回其词身的地址。而词身在词典中的大小，格式及最初的内容则是由定义词在编译阶段的行为决定的，也就是定义词中跟随在 CREATE 之后的词决定。 CREATE 名称生成<名称>的词典项目。在<名称>生成之后，下一个可利用的词典单元就是<名称>的参数域中的第一个字节，随后执行<名称>时，<名称>的参数域中的第一个字节的地址被留在堆栈中，CREATE并不给<名称>的参数域分配空间。 CREATE 定义的词的代码指针CFA就是CREATE的运行时间代码，当定义的词被执行时，把潜在的参数域（PFA）地址压栈。 DOES> 运行时间：标志它的编译部分的结束和运行时间的开始。运行时间的操作由高级形式 FORTH 编写。在运行时间，被定义的词的参数域地址压栈。

延迟词： 当一个冒号定义被引用时，组成该冒号定义的各个词就被顺序执行。即词典中一个冒号定义的功能是固定不变的。定义这样的词，定义它的时候勿需确定它的功能；这种在编译时不规定功能，其功能延迟到以后再规定的词叫做延迟词。FORTH 中用 DEFER 来定义。

: DEFER ( – ) (建立一个延迟词)
CREATE (建立延迟词首部)
2 ALLOT (参数域为一个单元)
DOES> @ EXECUTE ; (运行时间代码)

当定义词 DEFER 运行时，在词典中建立一个词身位一个单元的延迟词，并规定延迟词的运行时间代码；当延迟词执行时，把其 pfa 单元内的地址交给 EXECUTE 执行。

<img src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAOYAAABxCAIAAABOa0gXAAAAA3NCSVQICAjb4U/gAAAACXBIWXMAABJ0AAASdAHeZh94AAAH0ElEQVR4nO2dza7bNhCFqbGyK5C3u8s2BVqgQDdF0ScoUKDbLrrJG9Sv1wbJTSy7CycOL/80I5KeoXy+lU1To6E0Ikfkkez++f0PB8A4zG6ajsejX/T09HT9EJTffq0vv+0iSa5+2Y7/q18/aE7Oz1WvCn5KNwQ10OQd8SAy/HL/rNSX54KmXL9sJ2jFjdUA3RxwiFQV6HI++98LIZU7Q9Ly+7PazdtxFaxCp9OJUy/o5zaXa5Hsj31WcxWfQp1KP8EqMydkCydpWzkzlHP1RXYKySuTOCc+Ho9Jl+xcojuGluWyWqlVSiA9o09fqLcjqi8F8XpPaFlYiUHbqK0fQKV2EE+7gc4vb7/KSEPtQXK7Vtch4ECXy4vEoDDGIV4LIGrvBi3L5Xagk3PvLroXDuony5P1mazaF21VX/8Wjrd2IUA1+evnX7RdAEAAnT4t2j4AIIC7lACAEWhZ0MuCkaDzZX0pAQA7kEPEevhzHZY1A6P42YPZTZN0G3U9q5EFUpH/QXn5yCR/in+9M0b0weScOGR19az2exSObjhX3y+/HVWmzrg36n3EFfK/aA0xfD1rb/d66Gh7nOltfu4jhZi1HfgMU896h86m/mkFn6tMsWvU9jDOSUi00rN58u6/pLs3omfVpeC8tXaJZMpm9cFE63WyjKJn7UruILjB21VA9/Y3fParFdCzXtlruxShy+VryO4jPTdIqyeR6t1oYll3+qImLxie+1yiRuK1LYpRO0/eUoIoPXdfbofjctFWovqxDNfgyMvRE3PKrzemq3MpIq/4N8S5pR99/vzuB20XABBAVDVnAMC9IbnEAABNaJ6tLIABwIHogMQAjAS9ml9p+2CIUXSoo/jZg/kwH6TbKOplDepH4zbm/OQct8Kkofp0nhW97OEgDlktvaw1/WiOnJ+c4+bbCcrVG6t+zVwhR19D1rhetpOKb3W/Fgii9qH1spONWS6mXjaoP5wOtSHQy7oNu9fSy5pdqmWilRTuRS9b0cuq6GUNxqt0wDXl/AaU9bKdEoNOelmD8boNI3dUI2LicUUmNuM1p8NqYrMtO9HLLudR38lVfwIqLcSTVq7FFZV0ydrlqqmX9R+ksa+XXd2LBaR6U6aOtjJe96OXffvrb9ouACCAltMnbR8AEEAL3i8LhoKWE94vC0Yi/EcaAIxD7kvIGp+U3cxe2/WwzDSJn0pQ1MsGNaWel1FvV6Wf8U9J/wuHkXlgK49/pcSCDjSMXrZcvx7ddiVJDhE5fzg63YJjTOpX+yr7Gpppdt36LSZMvWyyJsey/XblaD6Hb2tRYBPzgcgZWAlk6mU7qW36IdUBJysk5X/1BJZ7XN65nCSuw98vUYWQ6zZsxWOiaHlwuwd9sNau3IUq8qdseUO7+ClvMqEK6vB9rolYHb3sHTDYrtyNVP1AL8qt27LteqPLucu87HAjOBOtdllTcinS65XIoCHW4jU5BG2z4+RDBC0LNAamaRuvrXSMreYcNkQtneW97Kq+U7SVqL5/sJovaym2q1w5N+Mb3Db591J+ebDHgjWO/3xW/dnI32/wflkwEnTCP4WDoaDlgpAFIwHxIRgMOjtMcoGRwPuQwWDM00Q5wVFZiBQLPoI5lNvXVRlegMhOUF72MPlTwZOgsp3J/EeGiCinv8yV3wqDD1dWA7RSw+H7U7Zc9rAs10jaARagQ4c/UarXiXJAJD0mc6d/UarXia7ab7XSHZj1vzbRd4K2zAfv2a9c0iZK5grJq4iCkeZLi75ZP4c+WnqvKrhCB/fiP2zt6ERzzrSyvwHEqwW4iaw1/Svi5mGpeou3OrlLSFrOpI0QCdRBdY/SaHLneL2CqFVndm7yFZO5qfiY3Fat6pct1JQ/Zd6fmitHgNri7Y8/absAgAA6LZDFgJGgDwteiQxGgt49f9T2AQAB9O4TQhaMBL37+Dlkmz+waoS9tuthmf/98F66jaK+VqRzlWJNNyz1M/4p6X/sWGB51Z/KhetK/TH99/ws3UZLXyvVuUoxqBtODhE5f3LHJ9hj5UGrf+9BZUdDH04nV33dVMLU125QGw7RrgLNr8wdLI7Mz6fFGVCZSPW1zFgcrl3JCkkZZD1Pg75f9lyhMbgNW3E88f3YcIx6951a7SqbirtGkT9lyxvaxU95C4ncBv/pUvEgje9NUC61w698h7FepV0cU3GnVT/Qi3Lrtmw7ldRpuVZ6KJl+6+amrlu7VlFvuB3om9evtX3g8rCnzVrDN9wH5+w4+RBB337/pn7fKjzIGkHbeG1ireGR3xC1WxLZ3MxcecfS+bzCXjoFq267CpVzM77BbZN/L+WXB3ssWOP4z2fVn408QkcF9gTeyQUGAyELBgMhCwYDIQsGAyELBmNKzhjkJiP8+ZFY8BHMody+5iYlcrOD8VxMzlTZz5wkhaPViP3h1AR34MXfhBd0loUgyM3zBdSvZedkFhz/C56sTvMhUk3RJTEod8/xV0XaTG6DOzJ3spsblMuF6vTQd4K2vAjZXNImSuYKyWtvKpPOOBc/4v2y9niRGFjTiUq1BL0jCfFqgVHfL1veL3LTHWN3XraHwqjSFK4HC1gM2XjSyrXotpOhJh3rEbXqkDOpE00i1V/GutKkJ/E0bWN9J2gLzgcYC4uJAQAFELJgMBCyYDAQsmAwELJgMP4HuMrhtEzMhyYAAAAASUVORK5CYII=" /> // 这个自己定义的延迟词有两个缺点：一是已定义的延迟词的 pfa 单元是“空的”；如果执行的时候忘记给这个空单元填入一个编译地址，则程序执行到这个延迟词时就无法再继续执行下去；二是这个的运行时间是由高级定义规定，因此运行速度不够快。

: WARNING ." Uninitialized" ;
: DEFER CREATE ['] WARNING , DOES> @ EXECUTE ;
// 这样定义防止DEFER定义词未赋值么有执行代码无法继续执行下去

为了简化规定延迟词的功能的工作（即把某一个定义的编译地址填入延迟词的 pfa 单元）所用到的定义是 IS : : IS ( cfa – ) ' >BODY ! ; 把跟着的词的 pfa 单元置为参数栈顶的地址。上面的操作可以这样写<img src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAKwAAAAjCAIAAACGtXaCAAAAA3NCSVQICAjb4U/gAAAACXBIWXMAABJ0AAASdAHeZh94AAAB6klEQVR4nO2aW3LDIAxFNZmskSV0OtOdscp+uGUwIEUCbB6+5y9ECCm+PIJMP99fBJ7Na3QAYDwQAYhE4L333g8MBYziXdEn14pzTmjPe8X2wSZ85LSYW1qjTTwU45Q95PFzfjrmqyT4sXas2Q7CGM65YnpJe96rGLowisZeE23swf3z0efYfPVUd/wTgWludUeeUsTP4EXR53sP7yGj5hTnUMzRqJm4HzlWYO997PNmlPlqunPG+oldcybIQ+FWPE0EwqZ4HUEHZBHBJPnmZ4sgaM5GpukvYrytJu1WPy1h1KE8EORd5s/XKu6r7gkqft+LItGM274UrZJvkSdeFm1/I2JV5BNF8ARMOqgRQXCdjCEPyfUy2ceTWDmhcz/hB1KeDQfmW4SLv355QxURYDsAEAGACABBBIAgAkBH7WC2ernJT9IuR1j8SogkMZ7qmq8jL1qwXp5c4HOe5Qgr3ifYlUu2g3vq5ds/m9toKiULNNbLNf6LBb1G+tbpV+Ekgknq5cmgpq/aR+xYp1+F03YwVb2cC6aX/wq2VADpzwSz1cv3exIDWfuegBOltV1JrzdQZmNhEdysgIMtdXC6LErOQfp6uWZxttrLHlraXfSWaWgR2jd75AXwPgFYeDsAvYAIAEQAIAJARL+ToMwt9QeL0QAAAABJRU5ErkJggg==" /> //为了能在冒号定义内部也能使用 IS ，把 IS 的定义改进如下：

STATE ( – addr) 具有编译状态的变量。STATE 之值非 0 ，表明系统处于编译状态；为零，则表明系统处于解释（执行）状态。

: (IS) ( cfa – ) ( IS的执行时间行为) R@ @ >BODY ！（得到目标地址） R> 2+ >R ; ( 调整 IP )

: IS ( cfa – ) 把跟着的词身（pfa）置为参数栈顶的数值。若在冒号定义内使用，则IS作用于在冒号定义中跟着它的词。
STATE @
IF COMPILE (IS) 系统处于编译状态则做此工作。
ELSE ' >BODY ! 系统处于解释状态做此工作。
THEN
; IMMEDIATE 由于 IS 在冒号定义内部也要能使用，所以它必须是立即词。

个人收藏笔记记录

开通VIP