PostScript 当前图形状态实现

Question

我有一个关于 PostScript 中的当前图形状态和图形状态堆栈的问题。

在我的代码中，我现在有一个代表当前图形状态的堆栈。 当我初始化我的解释器时，它会创建一个新的 GraphicsState 对象并将其添加到“gsstack”中。

我的当前图形状态被实现为：'gsstack'.Peek()，它总是返回最顶层的图形状态。

使用 gsave 操作符创建当前图形状态的克隆并将其推送到“gsstack”上，因此我在堆栈上有一个新的最顶层图形状态（这意味着我有一个新的当前图形状态对象）。

现在有了 grestore，我从 http://www.tailrecursive.org/postscript/operators.html#grestore 读到了这篇文章

“将当前图形状态设置为图形状态堆栈上的最顶层图形状态，并将该状态从堆栈中弹出。”

grestore 是如何工作的，因为我当前的图形状态已经是最顶层的图形状态...我应该将它从堆栈中弹出吗？

还是我的实现有误？ 当我初始化我的解释器时，我是否应该创建一个新的 Current Graphics State 对象，但不将其添加到“gsstack”中，并且仅在调用 gsave 运算符时将其推送到“gsstack”？

提前致谢

Answer 1

是的，grestore 只是弹出图形堆栈。

就像字典堆栈应该总是在底部有 systemdict 和 userdict（至少）一样，图形堆栈上应该总是至少有一个图形状态。因此，grestore 如果只在堆栈上找到一个状态，则应该抛出错误（就像 end 如果只找到 permanent 字典（对于 Level-1 的 systemdict 和 userdict，为 Level-2 添加 statusdict 和 globaldict))。

但您可能希望以不同于其他堆栈的方式实现图形堆栈，因为它也受到save 和restore 的影响。 restore 应该弹出比上一个 save 更新的所有状态。如果图形堆栈被实现为数组或字典的链表，那么restore 将尽其所能，没有任何额外的麻烦。

来自 PLRM，第 3 版：

– grestore –

从图形状态堆栈顶部的状态重置当前图形状态 并弹出图形状态堆栈，恢复当时有效的图形状态 的匹配 gsave 操作。该运算符提供了一种简单的撤消方法 复杂的转换和其他图形状态修改，而无需 分别重新建立所有图形状态参数。

如果堆栈上最顶层的图形状态是用 save 而不是 gsave 保存的 （也就是说，如果自最近一次不匹配后没有进行 gsave 操作 保存），grestore 恢复最顶层的图形状态，而不将其从 堆。如果没有不匹配的保存（这只能在未封装期间发生 job) 且图形状态堆栈为空，grestore 无效。

您可能想先忽略save 和restore，而只关注gsave 和grestore（以及其余的图形功能）。 save 和 restore 变得非常复杂。我已经多次重新设计我的解释器，试图让它们正常工作。