-
Notifications
You must be signed in to change notification settings - Fork 437
/
080-macros.html
191 lines (186 loc) · 12.1 KB
/
080-macros.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
<!doctype html>
<html>
<head>
<meta charset="utf-8">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta http-equiv="Content-Language" content="zh-CN" />
<meta http-equiv="X-UA-Compatible" content="chrome=1">
<meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no">
<meta name="author" content="songjinghe" />
<meta name="Copyright" content="GNU Lesser General Public License" />
<meta name="description" content="Teach Yourself Scheme in Fixnum Days的简体中文译版" />
<meta name="keywords" content="scheme,教程" />
<title>第八章 宏</title>
<link rel="stylesheet" href="stylesheets/main.css">
<script>var _hmt=_hmt||[];(function(){var hm=document.createElement("script");hm.src="//hm.baidu.com/hm.js?379b64254bb382c4fa11fad6cb4e98de";var s=document.getElementsByTagName("script")[0];s.parentNode.insertBefore(hm,s);})();</script>
<script type="text/javascript">document.write(unescape("%3Cspan style='display:none' id='cnzz_stat_icon_1253043874'%3E%3C/span%3E%3Cscript src='http://s19.cnzz.com/z_stat.php%3Fid%3D1253043874' type='text/javascript'%3E%3C/script%3E"));</script>
</head>
<body>
<h1>第八章 宏</h1>
<p>用户可以通过定义宏来创建属于自己的<code>special form</code>。宏是一个具有与它相关联的转换器程序的标记。当Scheme遇到一个宏表达式，即以macro—作为开头的列表时，它会将宏的转换器应用于宏表达式中的子列表，而且会对最后的转换结果进行求值。</p>
<p>理想情况下，“宏”指代从一种代码文本到另一种代码文本的纯文本变换。这种变换对于缩写那些复杂的但经常出现的文本模式十分有用。</p>
<p>宏通过<code>define-macro</code>来定义（见附录A.3）。例如，如果你的Scheme缺少条件表达式when，你就可以以下述宏定义when：</p>
<pre><code class="lang-scheme">(define-macro when
(lambda (test . branch)
(list 'if test
(cons 'begin branch))))</code></pre>
<p>这样定义的when转换器能够把一个when表达式转换为等价的if表达式。用这个宏，下面的when表达式</p>
<pre><code class="lang-scheme">(when (< (pressure tube) 60)
(open-valve tube)
(attach floor-pump tube)
(depress floor-pump 5)
(detach floor-pump tube)
(close-valve tube))</code></pre>
<p>将会被转换为另一个表达式，把when转换器应用到when表达式的子<code>form</code>：</p>
<pre><code class="lang-scheme">(apply
(lambda (test . branch)
(list 'if test
(cons 'begin branch)))
'((< (pressure tube) 60)
(open-valve tube)
(attach floor-pump tube)
(depress floor-pump 5)
(detach floor-pump tube)
(close-valve tube)))</code></pre>
<p>这个转换产生了一个列表：</p>
<pre><code class="lang-scheme">(if (< (pressure tube) 60)
(begin
(open-valve tube)
(attach floor-pump tube)
(depress floor-pump 5)
(detach floor-pump tube)
(close-valve tube)))</code></pre>
<p>Scheme将会对这个表达式进行求值，就像它对其他表达式所做的一样。</p>
<p>再来看另一个例子，这有一个<code>unless</code>（<code>when</code>的另一种形式）的宏定义：</p>
<pre><code class="lang-scheme">(define-macro unless
(lambda (test . branch)
(list 'if
(list 'not test)
(cons 'begin branch))))</code></pre>
<p>另外，我们可以调用<code>when</code>放进<code>unless</code>定义中：</p>
<pre><code class="lang-scheme">(define-macro unless
(lambda (test . branch)
(cons 'when
(cons (list 'not test) branch))))</code></pre>
<p>宏表达式可以引用其他的宏。</p>
<h2>8.1 指定一个扩展为模板</h2>
<p>宏转换器一般接受一些S表达式作为参数，同时产生可以被作为<code>form</code>使用的S表达式。通常情况下输出是一个列表。在我们的when例子中，使用下面语句创建输出列表：</p>
<pre><code class="lang-scheme">(list 'if test
(cons 'begin branch))</code></pre>
<p>其中test与宏的第一个子<code>form</code>绑定，即：</p>
<pre><code class="lang-scheme">(< (pressure tube) 60)</code></pre>
<p>同时<code>branch</code>与余下的宏的子<code>form</code>绑定，即：</p>
<pre><code class="lang-scheme">((open-valve tube)
(attach floor-pump tube)
(depress floor-pump 5)
(detach floor-pump tube)
(close-valve tube))</code></pre>
<p>输出列表可能会变得相当复杂。我们很容易能够发现比when更加庞大的宏可以对输出列表完成精心的加工工程。这种情况下，更方便的方法是把宏的输出指定为模板，对宏的每种用法把相关参数插入到模板的适当位置。Scheme提供了backquote语法来指定这种模板。因此表达式：</p>
<pre><code class="lang-scheme">(list 'IF test
(cons 'BEGIN branch))</code></pre>
<p>写成这样会更加方便：</p>
<pre><code class="lang-scheme">`(IF ,test
(BEGIN ,@branch))</code></pre>
<p>我们能够将<code>when</code>的宏表达式重构为：</p>
<pre><code class="lang-scheme">(define-macro when
(lambda (test . branch)
`(IF ,test
(BEGIN ,@branch))))</code></pre>
<p>注意模板的格式，并不像早先列表的结构，而是对输出列表的形态给出了直接的视觉指示。反引号（`）为列表引进了一个模板。除了以逗号（,）或（,@）作为前缀的元素外，模板的元素会在结果列表中逐字出现。（为了举例，我们把模板的每一个会在结果中原封不动出现元素写成了大写）。</p>
<p><code>,</code>和<code>,@</code>可以将宏参数插入到模板中。<code>,</code>插入的是逗号后面紧接着它的下一个表达式求值后的结果。<code>,@</code>(comma-splice)插入的是它的下一个表达式先splice再求值的结果。即：它消除了最外面的括号。（这说明被comma-splice引用的表达式必须是一个列表。）</p>
<p>在我们的例子中，给定<code>test</code>和<code>branch</code>的绑定值，很容易看到模板将扩展到所需的地步。</p>
<pre><code class="lang-scheme">(IF (< (pressure tube) 60)
(BEGIN
(open-valve tube)
(attach floor-pump tube)
(depress floor-pump 5)
(detach floor-pump tube)
(close-valve tube)))</code></pre>
<h2>8.2 避免在宏内部产生变量捕获</h2>
<p>一个二变量的<code>disjunction form</code>，<code>my-or</code>，可以定义为：</p>
<pre><code class="lang-scheme">(define-macro my-or
(lambda (x y)
`(if ,x ,x ,y)))</code></pre>
<p><code>my-or</code>带有两个参数并返回两个之中第一个为真（非#f）的值。特别的，只有当第一个参数为假时才会对第二个参数求值。</p>
<pre><code class="lang-scheme">(my-or 1 2)
=> 1
(my-or #f 2)
=> 2</code></pre>
<p>上述的<code>my-or</code>宏时会有一个问题。如果第一个参数为真，会重新求值第一个参数：第一次是在if语句中，第二次在then分支。如果第一个参数包含副作用，这会造成意外的结果，例如：</p>
<pre><code class="lang-scheme">(my-or
(begin
(display "doing first argument")
(newline)
#t)
2)</code></pre>
<p>会显示<code>doing first argument</code>两次。</p>
<p>这个情况可以通过在局部变量中储存if测试结果来避免：</p>
<pre><code class="lang-scheme">(define-macro my-or
(lambda (x y)
`(let ((temp ,x))
(if temp temp ,y))))</code></pre>
<p>这样基本上OK了，除非当第二个参数在宏定义中使用时包含相同的temp。例如：</p>
<pre><code class="lang-scheme">(define temp 3)
(my-or #f temp)
=> #f</code></pre>
<p>当然结果应该是3！错误产生的原因是由于宏使用了局部变量<code>temp</code>储存第一个参数（<code>#f</code>）的值，而第二个参数中的变量<code>temp</code>被宏引入的<code>temp</code>所捕获。</p>
<pre><code class="lang-scheme">(define temp 3)
(let ((temp #f))
(if temp temp 3))</code></pre>
<p>为避免这类错误，我们在选择宏定义中的局部变量时需要小心行事。我们应该为这些变量选择古怪的名字并热切希望没有人会跟它们扯上关系。例如：</p>
<pre><code class="lang-scheme">(define-macro my-or
(lambda (x y)
`(let ((+temp ,x))
(if +temp +temp ,y))))</code></pre>
<p>如果默认+temp在宏之外的代码中不被使用，则它就是正确的。但这种幻想是迟早要破灭的。</p>
<p>一个更加可靠详细的方法就是生成保证不会被其他方式占用的符号。当调用<code>gensym</code>程序时，它会产生出独一无二的标志。这是一个使用<code>gensym</code>的<code>my-or</code>的安全定义：</p>
<pre><code class="lang-scheme">(define-macro my-or
(lambda (x y)
(let ((temp (gensym)))
`(let ((,temp ,x))
(if ,temp ,temp ,y)))))</code></pre>
<p>为了简明，在本文中定义的宏，不使用<code>gensym</code>方法。相反，我们将假设变量捕获这个问题已经被考虑到了，而使用更加简明的<code>+</code>作为前缀。我们把这些将加号开头的标识符转换为gensym的工作留给敏锐的读者。</p>
<h2>8.3 fluid-let</h2>
<p>这有一个更加复杂的宏的定义，<code>fluid-let</code>（见5.2节）。<code>fluid-let</code>对一组已经存在的词法变量指定了临时绑定。假定一个fluid-let表达式如下：</p>
<pre><code class="lang-scheme">(fluid-let ((x 9) (y (+ y 1)))
(+ x y))</code></pre>
<p>我们想扩展为：</p>
<pre><code class="lang-scheme">(let ((OLD-X x) (OLD-Y y))
(set! x 9)
(set! y (+ y 1))
(let ((RESULT (begin (+ x y))))
(set! x OLD-X)
(set! y OLD-Y)
RESULT))</code></pre>
<p>在例子中我们希望标识符<code>OLD-X</code>，<code>OLD-Y</code>和<code>RESULT</code>不会捕获<code>fluid-let</code>里的变量。</p>
<p>下述例子教你如何构造一个可以实施你的想法的<code>fluid-let</code>宏：</p>
<pre><code class="lang-scheme">(define-macro fluid-let
(lambda (xexe . body)
(let ((xx (map car xexe))
(ee (map cadr xexe))
(old-xx (map (lambda (ig) (gensym)) xexe))
(result (gensym)))
`(let ,(map (lambda (old-x x) `(,old-x ,x))
old-xx xx)
,@(map (lambda (x e)
`(set! ,x ,e))
xx ee)
(let ((,result (begin ,@body)))
,@(map (lambda (x old-x)
`(set! ,x ,old-x))
xx old-xx)
,result)))))</code></pre>
<p>宏的参数是<code>xexe</code>，是由<code>fluid-let</code>引进的变量/表达式列表；而<code>body</code>，则是在<code>fluid-let</code>主体中的表达式列表。在我们的例子中，这两者分别是<code>((x 9) (y (+ y 1)</code>和<code>((+ xy))</code>。</p>
<p>宏的主体引进了一堆局部变量：<code>xx</code>是从变量/表达式中提取的变量列表。<code>ee</code>是对应的表达式列表。<code>old-xx</code>是新的标识符的列表，对应于<code>xx</code>中的每个变量。这些曾用来储存<code>xx</code>的传入值，这样我们可以将<code>xx</code>恢复到<code>fluid-let</code>主体求值前的状态。Result是另一个新标志符，用来储存<code>fluid-let</code>主体的值。在我们的例子中，<code>xx</code>是<code>(x y)</code>，<code>ee</code>是<code>(9(+ y 1))</code>。根据你的系统实现<code>gensym</code>的方式，<code>old-xx</code>会成为列表<code>(GEN-63 GEN-64)</code>，<code>result</code>会成为<code>GEN-65</code>。</p>
<p>在我们的例子中，由宏创建的输出列表像这样：</p>
<pre><code class="lang-scheme">(let ((GEN-63 x) (GEN-64 y))
(set! x 9)
(set! y (+ y 1))
(let ((GEN-65 (begin (+ x y))))
(set! x GEN-63)
(set! y GEN-64)
GEN-65))</code></pre>
<p>这确实可以满足我们的需求。</p>
<!-- <script src="https://google-code-prettify.googlecode.com/svn/loader/run_prettify.js"></script> -->
</body>
</html>