stack - 嵌套过程的 PostScript 执行

Question

(我又问了一个问题:-))

给定以下 PostScript 代码:

/riverside { 5 pop } def
/star { 6 pop 2 {riverside} repeat } def
star

我想知道应该如何处理嵌套过程。 (我正在创建自己的解释器)。
当我执行星形过程时，它在中途找到一个 nameObjec(riverside) 并将其替换为包含来自 Riverside 过程的值的可执行数组并执行它们。
如果我执行重复操作符，解释器就会崩溃，因为堆栈中只剩下一项了。

当我已经在一个可执行数组 (=prodecure) 中时，我应该直接执行一个可执行数组 (=procedure)，还是应该始终将可执行数组 (=procedures) 推送到(操作数？/执行？)堆栈上？还是只能由另一个运算符(operator)执行？
这条河边要被处决多少次？ (2 次或 3 次？)我猜是 2 次？

供您引用:这是我在第 3 行执行 star 时遇到的情况(请参阅错误):

% begin execute 3rd line (star)
% OP = operand stack
% EX = execution stack    

% handle 6
OP: 6
EX: star

% handle pop (removes 6 from OP)
OP: -
EX: star

% handle 2
OP: 2
EX: star

% set the riverside executable array on the EX, execute the values
OP: 2
EX: star riverside

% repeat operator:
CRASH, only one item on the OP left, but repeat operator requires 2 operands.
OP: 5
EX: 

% end

请注意这个问题，因为它有点复杂/令人困惑:-)

更新:
另一个代码示例可能是这个:

/starside
{ 72 0 lineto
currentpoint translate
-144 rotate } def

/star
{ moveto
currentpoint translate
4 {starside} repeat
closepath
gsave
.5 setgray fill
grestore
stroke } def

200 200 star

showpage

当解释器标记/star { moveto ... 如果遇到嵌套的 {starside} 时，将如何处理？ (+ 如果有 {starside 5 2 mul pop} 而不是只有 {starside} 会怎样？)

Answer 1

我相信您需要查看 PLRM 的第 3.5.3 节。虽然这涉及一个简单的可执行数组，但概念是相同的。当 token 扫描器遇到“{”时，它开始构建一个可执行数组。在它到达匹配的“}”标记之前，扫描器只是将它遇到的内容存储在操作数堆栈中。当它遇到匹配的 '{' 时，对象被转换为一个可执行数组(并存储在操作数堆栈中)

在扫描器遇到可执行名称的情况下，它会将名称存储在操作数堆栈中。它不执行名称，甚至不执行查找以检索关联的对象。

因此，在您的示例中执行 '}' 之前，操作数堆栈将包含 twp 对象、'{' 开头数组和可执行文件名称 Riverside。当您遇到 '}' 时，扫描器会创建实际的可执行数组并将其存储在操作数堆栈中。 (注意，实现细节在这里有所不同)

因此，在执行 'repeat' 之前，堆栈上将有两个对象，计数器和一个包含单个可执行文件名称的可执行文件数组。

在执行包含名称的可执行数组之前，您不会查找名称。

这可能会更清楚:

%!
/test {(This is my initial string\n) print} def
2 {test} repeat
2 {test} /test {(This is my second string\n) print} def repeat

请注意，在创建包含可执行文件名称“test”的可执行数组之后，我重新定义了“test”，但执行过程使用了后来的 test 定义。如您所见，不要过早进行名称查找非常重要!