主页 / coding / 问题 / 79301703
Accepted
ggg
Asked: 2024-12-23 04:42:37 +0800 CST

不理解字典语义、键值定义和可见性

  • 772

我不确定我是否理解了 Postscript 字典的语义。如果在定义字典条目时使用“def”，而不是仅列出键值对，那么两者有什么区别？下面，我在字典 /d 中定义 /a 和 /b。/a 使用“def”定义；/b 使用键值对定义。当使用“===”运算符打印出 /d 时，我们只能看到 /b。如果我们将 /d 加载到字典堆栈上，我们可以访问和打印 /a 和 /b。如果我们在 /d /b 上执行 get，我们将返回 /b 的值。但如果我们在 /d /a 上执行 get，我们将收到未定义的错误。

有人能帮助我理解为什么 /a 没有在字典 /d 上使用“get”定义/可见，为什么在打印 /d 时它没有显示，以及为什么当我们将 /d 加载到字典堆栈上时它是可访问/定义的？

“def”运算符的定义非常简单：

def - 将当前字典（位于字典堆栈顶部的字典）中的键与值关联（请参见第 3.4 节“堆栈”）。如果当前字典中已经存在键，def 只会替换其值；否则，def 会为键创建一个新条目，并将值存储在其中。- p.568 Postscript 语言参考第三版

在这种情况下，我看到定义 /a 时的 currentdict 是 /d。但“get”看不到它。但是，它在字典中，因为当您将字典加载到字典堆栈上时，它就被定义了。

/d <<
        /a 22 def
        /b 33 
    >> def % Define dictionary 'd'

d ===      % Print out contents of d; Prints /b 33 but no /a

d begin    % Push d onto the dictionary stack
a =        % Prints value of d/a '22'
b =        % Prints value of d/b '33'
end        % Pop d off of the dictionary stack

d /b get =  % Prints value of d/b '33'
d /a get =  % Error /undefine. Cannot find /a in d

输出（使用 ghostscript）：

$ gs -q -dALLOWPSTRANSPARENCY -dBATCH -dNOPAUSE -dQUIET -dNOSAFER     -sDEVICE=pdfwrite  -o tmp_test.pdf tmp_test.ps
<< /b 33 >>
22
33
33
Error: /undefined in --get--
Operand stack:
   --dict:1/1(L)--   a
Execution stack:
   %interp_exit   .runexec2   --nostringval--   --nostringval--   --nostringval--   2   %stopped_push   --nostringval--   --nostringval--   --nostringval--   false   1   %stopped_push   1990   1   3   %oparray_pop   1989   1   3   %oparray_pop   1977   1   3   %oparray_pop   1833   1   3   %oparray_pop   --nostringval--   %errorexec_pop   .runexec2   --nostringval--   --nostringval--   --nostringval--   2   %stopped_push   --nostringval--
Dictionary stack:
   --dict:795/1123(ro)(G)--   --dict:0/20(G)--   --dict:77/200(L)--
Current allocation mode is local
Current file position is 317
GPL Ghostscript 10.01.2: Unrecoverable error, exit code 1
$
dictionary

1 个回答

  1. Best Answer

    def在当前字典中定义一个键值对。总是有一个字典是“当前”的，它是字典堆栈顶部的任何东西。最初这将是“用户字典”，但如果你“开始”另一个字典，它将被推送到字典堆栈的顶部并成为当前字典。

    您需要了解 PostScript 是一种基于堆栈的解释语言，而不是编译语言。当您这样做时：

    /a 22

    您实际上正在做的是将两个对象放在操作数堆栈上；名称对象/a和整数值 22。

    然后执行def运算符，从堆栈中获取两个对象并在当前字典中创建一个键/值对。

    您的代码：

    /d <<
        /a 22 def
        /b 33 
    >> def % Define dictionary 'd'

    首先将名称对象放置/d在操作数堆栈上，然后将标记对象放置在操作数堆栈上（<<是一个标记，这种特殊形式的标记用于引入字典，但您也可以使用[甚至只是mark，不同的标记类型本质上是相同的）

    然后将另外两个对象和 22 放入堆栈。/a然后执行def运算符。

    这会立即从堆栈中取出两个对象，并将它们定义为当前字典（可能是用户字典）中的键/值对。

    注意，它没有在您正在构建的字典中定义它们，而这似乎是您所期望的。解释器无法知道您正在构建字典，它只是在遇到标记时执行它们，它无法向前看。

    然后，您将另外两个对象和 23 放入堆栈中/b，以及一个结束标记>>（实际上是一个运算符）。它会沿堆栈往回数以找到最近的标记，检查对象数是否为 2 的倍数，然后一次移除一对对象并将它们放入新字典中。新字典留在操作数堆栈上。

    然后执行def操作符，它查看堆栈，找到两个对象/d和一个字典，并在当前字典中创建一个键/值对，同样很可能是用户定义。

    总体效果是通过添加两个键/值对来修改当前字典：

    /a 22
/d <</b 23>>

    然后你这样做：

    d ===

    您应该避免使用，===因为这是 Ghostscript 特有的运算符，您在其他任何解释器中都找不到它。您可以通过以下方式转储字典：

    {== ==} forall

    但执行d会导致解释器在当前字典中搜索该名称，并找到该名称（因为您def已将其赋值）。它将名称推送到操作数堆栈。===然后打印出该字典。

    然后你这样做：

    d begin

    搜索d，找到具有该键的键/值对，并将值推送到操作数堆栈上，将字典留d在操作数堆栈上。

    然后你这样做：

    a =

    因此，解释器搜索字典堆栈上的字典以查找键/a。它在当前字典中找不到它，因此它会搜索堆栈上的下一个字典，该字典将是定义时的当前字典a，可能是 userdict。它找到键/值对，并将值推送到操作数堆栈上。然后你=得到输出 22。

    类似地，b除了它是在当前字典中定义的，所以我们不需要在堆栈上搜索。

    然后你这样做：

    d /b get =

    因此，解释器在当前字典中搜索名为的对象d，找到后将其推送到操作数堆栈，然后将名称对象放入/b操作数堆栈，并执行“get”运算符。

    get检查操作数以查看第一个操作数是否为字典，如果是，则在该字典中查找名称。找到后，将其返回到操作数堆栈中。最后=将其打印出来。

    然后你做

    d /a get =

    跳过与上述相同的所有内容，直到执行get，它在字典中查找名称/a但未找到。此时它会/undefined在“get”中给出错误。

    • 0

相关问题