问题描述
我对测试 Gforth 的一些限制很感兴趣，并希望它执行我“手工编译”到分配的内存中的任意代码。这是我的尝试。
100 cells allocate throw constant &mem
\ store at &mem: docol: . EXIT
docol: &mem !
comp' . &mem 1 cells + ! drop \ drop "execution token"
comp' EXIT &mem 2 cells + ! drop
42 \ something to print
&mem execute
不幸的是，这失败了：
in file included from *OS command line*:-1
notes/execute.fs:8: Invalid memory address
&mem >>>execute<<<
Backtrace:
$7EFC61175B28 execute
我必须使用 comp' 而不是 '，因为它不能用于获取 EXIT 的 xt。
我认为这应该可行，除非 Gforth 不像 JonesForth 那样在 docol: 开始执行它旁边的 xt 时以任何方式运行。
这在 Gforth 或 ANS 中是否可能？
解决方法
你可以执行一个任意的 xt 列表，但是你必须使用你自己的词来执行这个列表，方法是将 execute 应用到列表中的每个 xt。
以当前的standard，标准程序无法将任意代码编译到分配的内存中。该程序只能编译到字典的代码空间中，并且在当前定义的框架中（即尚未完成）。可以通过 compile,( xt -- ) 或 postpone ( i*x "name" -- j*x ) 字进行编译。还有单词 literal、2literal、sliteral、fliteral（或它们的对应词 lit,、2lit,、slit,、{{ 1}}) 可用于编译文字。
在 Gforth 中，您还可以编译成另一个字典（“section”），可以使用字 flit, 分配。
extra-section ( size "name" -- )另请参阅 section.fs 来源和 Sections Anton Ertl 的论文，2016 年。