(转)eval与迭代

原文地址：http://bbs.chinaunix.net/thread-2321462-3-1.html

 

其实 eval 在函数式语言里面很常见。LISP 系语言的解释器，最终执行的是一个 apply - eval 递归(有人也喜欢叫 apply - eval 循环，但是实际上是递归求值)。所以 eval 就是求值的意思。实际上，不只是 LISP，可以说任意解释器，最终都是 apply - eval 递归。bash 里面也有 eval. 只不过，在 LISP 里面，这种 apply - eval 通过其(语法...)形式，更加显式地表达出来了，所以 LISP 里面的 apply - eval 也就更著名。

递归是容易让人晕菜的玩意，真正搞懂递归的程序员，其实并不是想像的那么多。比如图灵机，图灵机可以接受的语言被称为递归可枚举集。具体的数学上的定义就不扯淡了。其实这句话的意思，想想 C 程序的执行流程就知道了，一个 main 函数，里面调几个函数，这几个函数执行完了，程序就执行完了。那这个几个函数实际上就可以看着为一个可枚举的集合的成员。而每一个函数，都可以写成递归的形式，原因很简单，因为任意判断和循环都可以写成递归的形式。

扯远了，说回来。关于 Makefile 里面的 eval, 以及我本帖所举的那个 Makefile 手册里面的长篇大论，说什么二次求值什么的，其实并没有真正说清楚。我想了一个极其简单的例子来说清楚 Makefile 里面的 eval.
Makefile:

###############################################
pointer := pointed_value

define foo
var := 123
arg := $1
$$($1) := ooooo
endef

$(info $(call foo,pointer))
#$(eval $(call foo,pointer))

target:
        @echo -----------------------------
        @echo var: $(var), arg: $(arg)
        @echo pointer: $(pointer), pointed_value: $(pointed_value)
        @echo done.
        @echo -----------------------------

###############################################
注意上面的例子，$(eval $(call foo, pointer)) 那行被注释了。先执行这个注释了那行的 Makefile，结果如下：

    var := 123
    arg := pointer
    $(pointer) := ooooo
    -----------------------------
    var: , arg:
    pointer: pointed_value, pointed_value:
    done.
    -----------------------------

复制代码

注意，
var := 123
arg := pointer
$(pointer) := ooooo
这几行就是 $(call foo,pointer) 的结果(或者说，调用 foo 这个 "函数"(因为 Makefile 中正式的名字叫做宏包) 的返回值)。同时注意到， var, arg, pointed_value 都是空值，因为我实际上只是通过 $(info ) 函数将替换了参数后的 foo 函数体，或者说 $(call foo, pointer) 的返回值打印到标准输出而已($1 就是 pointer, 调用函数，就直接替换下参数而已)，所以，这几行代码并没有真正执行。

注意了，这个 $(call foo,pointer) 就是 Makefile 对 foo 函数的第一次求值。上面看到了，实际上求值出来的结果还是 Makefile 代码。

那么问题就来了。既然求值出来的结果还是 Makefile 代码，那这段代码又要怎么运行呢？答案就是再包一个 eval, 所以 eval 就是第二次求值了。
因此，如果将 $(eval $(all foo,pointer)) 那行注释取消掉的话，运行结果如下：

    var := 123
    arg := pointer
    $(pointer) := ooooo
    -----------------------------
    var: 123, arg: pointer
    pointer: pointed_value, pointed_value: ooooo
    done.
    -----------------------------

复制代码

OK. 注意，var, arg, pointed_value 都被赋值了，这个赋值操作就是第一次求值出来的代码运行的结果。

所以，为什么在写 foo 这个宏包的时候，要写成
$$($1) := ooooo
呢？因为 Makefile 里面 $ 是元字符(meta-chara...)，也就是它是有特殊意义的。那在 Makefile 里面表示"字符" $ 就得用 $$. 看第一次求值的结果就知道了，不用多说。
╮(╯▽╰)╭，CU代码编辑器老是吞 $, 无语。只好 Makefile 代码不上代码编辑器了。