common-lisp - 如何撤消 `declaration` 声明？

Question

似乎大多数(如果不是全部)全局declarations不能以 ANSI CL 标准方式恢复。

例如，一旦您评估(直接或通过加载文件)像 (proclaim '(declaration my-decl)) 这样的表单或 (declaim (special *my-var*))没有可移植的方法来制作 (declare (my-decl ...))非法或 *my-var*词汇。

各种实现提供了恢复 special 的非可移植方式。声明，通常通过 (proclaim '(notspecial *my-var*))或其他一些技巧。

declaration 怎么样？ proclamation ?

各种实现如何撤消它？
你将如何实现它？
你觉得(proclaim '(notdeclaration my-decl))是个好主意吗？

动机 :在测试套件中，模块化会很好 - 能够恢复测试语句的所有效果以避免对测试套件部分的任何可能干扰。我知道这是一周的动力，因为正确的方法是使用 packages .

Answer 1

一种可能的方式是提供事务机制(回滚/提交)。这取自 Xach 的 Naggum 的 archive :

I miss a transaction facility where I can make a number of changes
to the system that are only visible to my thread of a multi-threaded
execution environment and then discard them or commit them all at
once. E.g., loading a file could be such a transcation. Signaling
an error during loading could cause the whole slew of operations
that preceded it to be discarded instead of leaving the system in a
partially modified state. This is not impossible to build on top of
the existing system, but it takes significant effort, so it is the
kind of thing that Common Lisp systems programmers should do.

您会错过仅撤消声明子集的可能性，例如 (declare A) , (declare B) , (undeclare A)但是考虑到您的动机，这不会是一个问题，因为您可能想要撤消在测试期间做出的所有可能的声明。

您可以提供一个特殊的表格来单独“取消声明”声明。我将其命名为 收回 ，但在某些情况下可能很难指定。假设你声明 x 是一个字符串或一个数字，你能收回一个说 x 是一个字符串的声明吗？内联函数等呢？事务看起来更容易实现，例如临时环境。