Makefile中的eval()函数用法

在一个论坛上找到了一个简单易懂的解释方法，我就不自己解释了。
参考链接为： 点我

其实他的作用有点相当于c++中的模板，就是生成一个段makefile语句，然后还要被执行。

在参考链接中的示例程序，一开始我觉得这样写能执行吗？直到我真正在自己的电脑上编辑完之后，执行make发现还是能运行的。

下面就直接无耻地制过来吧。
其实 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 $(call 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 里面表示”字符” $ 就得用 $$. 看第一次求值的结果就知道了，不用多说。

===================
好了，无耻完毕。