如果我用 defn 定义了一个函数和一个包含 :pre 和 :post 形式的条件映射，我该如何检索它状况图？我注意到

(meta #'fn-name) 

不包含条件图。我专门寻找 :pre 条件(以便推导出与它们等效但不断言的谓词)。除了遍历函数体寻找 assert 之外，还有什么方法可以恢复它们吗？

最佳答案

不幸的是，在处理完 fn 宏之后，它们并没有存储在任何地方。它们作为断言直接添加到函数的 body 中。你可以查看the relevant source lines in fn .

作为变通方法，您可以编写自己的 defn 变体，它获取 :pre 和 :post 条件并将它们存储为元数据。

https://stackoverflow.com/questions/23313036/