makefile eval函数详解

http://bbs.chinaunix.net/thread-2321462-1-1.html

函数功能：函数“eval”是一个比较特殊的函数。使用它可以在Makefile中构造一个可变的规则结构关系（依赖关系链），其中可以使用其它变量和函数。函数“eval”对它的参数进行展开，展开的结果作为Makefile的一部分，make可以对展开内容进行语法解析。展开的结果可以包含一个新变量、目标、隐含规则或者是明确规则等。也就是说此函数的功能主要是：根据其参数的关系、结构，对它们进行替换展开。
返回值：函数“eval”的返回值时空，也可以说没有返回值。
函数说明：“eval”函数执行时会对它的参数进行两次展开。第一次展开过程发是由函数本身完成的，第二次是函数展开后的结果被作为Makefile内容时由make解析时展开的。明确这一过程对于使用“eval”函数非常重要。理解了函数“eval”二次展开的过程后。实际使用时，如果在函数的展开结果中存在引用（格式为：$(x)），那么在函数的参数中应该使用“$$”来代替“$”。因为这一点，所以通常它的参数中会使用函数“value”来取一个变量的文本值。

 

其实 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:

 1 ###############################################
 2 pointer := pointed_value
 3 
 4 define foo 
 5 var := 123
 6 arg := $1
 7 $$($1) := ooooo
 8 endef 
 9 
10 $(info $(call foo,pointer))
11 #$(eval $(call foo,pointer))
12 
13 target:
14         @echo -----------------------------
15         @echo var: $(var), arg: $(arg)
16         @echo pointer: $(pointer), pointed_value: $(pointed_value)
17         @echo done.
18         @echo -----------------------------
19 
20 ###############################################

 

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

1. var := 123
2. arg := pointer
3. $(pointer) := ooooo
4. -----------------------------
5. var: , arg:
6. pointer: pointed_value, pointed_value:
7. done.
8. -----------------------------

注意，
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)) 那行注释取消掉的话，运行结果如下：

1. var := 123
2. arg := pointer
3. $(pointer) := ooooo
4. -----------------------------
5. var: 123, arg: pointer
6. pointer: pointed_value, pointed_value: ooooo
7. done.
8. -----------------------------

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

所以，为什么在写 foo 这个宏包的时候，要写成
$$($1) := ooooo
呢？因为 Makefile 里面 $ 是元字符(meta-chara...)，也就是它是有特殊意义的。那在 Makefile 里面表示"字符" $ 就得用 $$. 看第一次求值的结果就知道了，不用多说。