makefile eval函数详解

函数功能：函数“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 里面表示"字符" $ 就得用 $$. 看第一次求值的结果就知道了，不用多说。

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