在编辑形象语法树 (AST) 的时候, 咱们常常须要遍历整个构造, elixir 规范库中提供了两种遍历形式.

举个例子, 有这样一个 AST:

quote do
  add(1, 2)
end

quote 后的数据结构是这样:

{:add, [], [1, 2]}

用图像示意的话, 大略就是这样, 有很显著的层级关系:

Prewalk

prewalk 就是以从外层到内层的程序, 进行遍历. 留神最初返回的元组里, 第二个参数才是咱们的 acc.

iex(5)> Macro.prewalk(ast, [], fn 
...(5)> x, acc ->
...(5)> {x, acc ++ [x]}
...(5)> end
...(5)> )
{{:add, [], [1, 2]},
 [{:add, [], [1, 2]}, 1, 2]}

postwalk 正相反, 是从外向外遍历.

iex(6)> Macro.postwalk(ast, [], fn
...(6)> x, acc ->                 
...(6)> {x, acc ++ [x]}           
...(6)> end                       
...(6)> )
{{:add, [], [1, 2]},
 [1, 2, {:add, [], [1, 2]}]}