- android - 多次调用 OnPrimaryClipChangedListener
- android - 无法更新 RecyclerView 中的 TextView 字段
- android.database.CursorIndexOutOfBoundsException : Index 0 requested, 光标大小为 0
- android - 使用 AppCompat 时,我们是否需要明确指定其 UI 组件(Spinner、EditText)颜色
defmacro
在http://clhs.lisp.se/Body/m_defmac.htm有文档记录,但文档并不完全清楚事情发生的确切时间通过对Clisp的实验,我发现了以下内容(假设所有宏和函数都是在顶层定义的):
直接的顶层代码只能调用前面定义的宏和函数。
宏或函数中的代码,或由宏生成的代码,可以调用它喜欢的任何函数,包括稍后定义的函数(正如支持相互递归的需要所期望的那样)。
宏中的代码只能调用比第一个宏的调用位置更早定义的宏。
由宏生成的代码可以调用稍后定义的宏。
是Clisp只是在遵循规范,还是在这方面实现之间存在任何差异?
确切的一套规则及其背后的原理是否在任何地方都有记录?
最佳答案
你问的是宏扩展,但我想先澄清函数是如何处理的。
注意何时调用和定义实际发生在第二点中,您说函数中的代码可以调用稍后定义的函数严格来说这不是真的。
在C++语言中,你可以声明和定义函数,然后编译你的应用程序。忽略内联、模板、lambdas和其他魔术…,当编译一个函数时,该函数使用的所有其他函数的声明都必须存在-并且在链接时,编译的定义必须存在-所有这些都必须在程序开始运行之前存在一旦程序开始运行,所有函数都已经准备好并准备好被调用。
现在在Lisp中,情况不同了。暂时忽略编译-让我们考虑一下解释环境如果你跑步:
;; time 1
(defun a () (b))
;; time 2
(defun b () 123)
;; time 3
(a)
defun
然后创建一个函数
(lambda () (b))
,并将其与符号
a
关联。此函数包含对符号
b
的引用,但此时它不调用
b
a
只在调用
b
自身时调用
a
。
a
创建一个函数
defun
,并将其与符号
(lambda () 123)
关联。
b
和
a
相关,但这两个函数都尚未调用。
b
在执行过程中,它查找与符号
a
相关联的函数,发现这样的函数在这个时间点已经存在,并调用它。
b
执行并返回123。
b
创建一个返回456的函数,并将其与符号
defun
关联这将替换对返回123的函数的引用
b
,该函数随后将被垃圾回收(或者无论您的实现如何清除垃圾)。
b
(或者更正确地说,符号
a
的function属性引用的lambda)现在将导致调用返回456的函数。
;; time 1
(defun a () (b))
;; time 2
(a)
;; time 3
(defun b () 123)
a
的时间2之后,它找不到与符号
a
关联的函数,因此它将失败。
b
,
compile
,优化和其他魔法可以做各种不同于我上面描述的有趣的事情,但是在担心更高级的东西之前,首先要确保你掌握了这些基本知识。
eval-when
时创建(解释器不会“在文件中向前看”。)
defun
)
(setf (symbol-function 'd) (symbol-function 'b))
(通俗地说)的函数
a
是可以的,只要符号
b
在调用
b
时有关联的函数(在
a
ning
defun
时不需要)
关于macros - 控制Common Lisp中宏扩展顺序的规则,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/40974039/
我需要在 nginx-ingress 版本上允许来自多个来源的请求:http://localhost:4200、http://localhost:4242 等1.7.1.但我无法对多个来源执行此操作,
我正在部署我使用 APIGILITY 开发的 API到 IIS。由于 IIS 不支持 .htaccess,我试图从 .htaccess 文件的内容创建 web.config 文件。我使用 IISv7.
我正在尝试更改上面 css 样式中的“宽度”规则。在“inspect element”中你可以看到宽度是1008px。我不希望它是 1008px 但它不会让我在 css 样式中更改它你可以看到它被“删
外部css赋值有2种方法,我用的是第一种;大多数网站使用第二种方法。我想知道我是否做错了! 第一种方法: 为几乎每个 css 规则创建一个类并在任何地方使用它们。 blah blah .f_
RDF使用 WEB 标识符 (URIs) 来标识资源,使用属性和属性值来描述资源 RDF 资源、属性和属性值 RDF使用 WEB 标识符来标识事物,并通过属性和属性值来描述资源。 关于资源、属性
我想挖掘特定的 rhs 规则。文档中有一个示例证明这是可能的,但仅适用于特定情况(如下所示)。先来一个数据集来说明我的问题: input {b=100002} 0.2500000 0.250000
我想让 nginx 从网站根目录(:http://localhost:8080/)提供一个静态文件,但它为我的代理通行证提供服务;它提供“/”规则而不是“=/”。 这是我的 nginx 配置的样子:
根据gnu make documentation , 如果一个规则通过一次调用生成多个目标(例如,一个配方执行一个带有多个输出文件的工具),你可以使用 '&:' 规则语法来告诉 make。但是,当在多
我已阅读Firebase Documentation并且不明白什么是 .contains()。 以下是文档中 Firebase 数据库的示例规则: { "rules": { "rooms"
关闭。这个问题是opinion-based 。目前不接受答案。 想要改进这个问题吗?更新问题,以便 editing this post 可以用事实和引文来回答它。 . 已关闭 6 年前。 Improv
我正在尝试做一些多态性练习,但我无法弄清楚这种多态性是如何工作的。我没有找到任何关于这种练习的深入信息。希望大家能给我一些解释。 练习1: class Top { public void m(
为了调试复杂的 XSLT 转换,我将其分为几个部分:首先构建 %.1.xml,然后使用它构建 %.2.xml ,最后构建 %.3.xml。一切正常,但如果我要求 Make 构建最后一个,Make 总是
我尝试了 hacerrank 的 slove 练习 Click我不知道如何添加这些规则: ► 它可以包含 4 个一组的数字,并用一个连字符“-”分隔。 ► 不得有 4 个或更多连续重复数字。 这是我的
我正在尝试编写一个小测验,我希望“再试一次”按钮遵循与“else”之前的“if”语句相同的规则 using System; public class Program { public stat
在我的 Spring/Boot Java 项目中,我有一组服务方法,例如以下一个: @Override public Decision create(String name, String descr
我正在阅读 Covariant virtual function .上面写着 假设 B::f 覆盖了虚函数 A::f。如果满足以下所有条件,A::f 和 B::f 的返回类型可能不同: 1) The
我工作的公司想要分发(在公共(public)链接中)具有内部签名的应用程序。我很确定 Apple 否认这种事情,但我在官方文档/契约(Contract)中没有找到任何相关信息。 有谁知道它到底是如何工
我是 CSS 新手。我观察到一个奇怪的 CSS 行为,其中一个元素具有以下 CSS 属性 .container .header{ color: #FFFFFF; font-size: 2em;
这个问题在这里已经有了答案: Is there a CSS selector for elements containing certain text? (21 个答案) 关闭 7 年前。
我有以下 CSS: workoutcal.css: .errorlist{ color:red; } 以下基本模板: base.html: {% load static %} {
我是一名优秀的程序员,十分优秀!