PostScript当前图形状态实现

Question

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

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

我当前的图形状态实现为：'gsstack'.Peek（），它总是返回最上面的图形状态。

使用gsave运算符我创建了当前图形状态的克隆并将其推送到'gsstack'，因此我在堆栈上有一个新的最高图形状态（这意味着我有一个新的Current Graphics State对象） 。

现在用grestore我读这从http://www.tailrecursive.org/postscript/operators.html#grestore

“设置当前图形状态的图形状态栈最上面的图形状态并弹出该状态出栈。”

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

或者是我的执行错误？ 当我初始化我的解释器时，我应该创建一个新的当前图形状态对象，但不会将它添加到'gsstack'，并且只有在调用gsave操作符时才将它推送到'gsstack'？

在此先感谢

Answer 1

是，grestore简单地弹出图形堆栈。

就像字典堆栈应该始终在底部有systemdict和userdict（至少）一样，图形堆栈上应始终至少有一个图形状态。因此grestore应该在堆栈中只发现一个状态时发出错误（就像end如果它只发现永久字典（level-1的systemdict和userdict，为level-2添加statusdict和globaldict） ）。

但是，您可能想实现与其他堆栈不同的图形堆栈，因为它也受save和restore的影响。 restore应弹出比上一次更新的所有状态save。如果图形堆栈是作为数组或词典的链接列表实现的，那么restore将尽其所能，而不会有任何额外的麻烦。

从PLRM，3ED：

-   grestore   -

重置从上的图形状态栈 的顶部的一个当前图形状态并弹出图形状态堆叠，恢复在匹配gsave操作的时间 处有效的图形状态。此运算符提供了一种简单的方法，可以在不需要单独重建所有图形状态参数的情况下撤消复杂转换和其他图形状态修改。

如果堆栈最顶端的图形状态保存与保存，而不是gsave （即，如果出现了自最近一次无与伦比的 保存没有gsave操作），grestore恢复，如果不从弹出它最上面的图形状态 堆栈。如果不存在不匹配的保存（只能在未封装的作业中发生），并且图形状态堆栈为空，则grestore不起作用。

您可能要忽略save和restore在第一，而只是专注于gsave和grestore（和图形功能的其余部分）。 save和restore变得非常复杂。我已经多次重新设计我的翻译，试图让他们正确地工作。