julia - 访问 AST 以获取 Julia 中的泛型函数

Question

如何在 Julia 中访问泛型函数的抽象语法树？

Answer 1

回顾一下:看起来 Simon 正在寻找与泛型函数关联的特定方法的 AST。我们可以得到一个 LambdaStaticData对象，其中包含 AST，具体方法如下:

julia> f(x,y)=x+y

julia> f0 = methods(f, (Any, Any))[1]
((Any,Any),(),AST(:($(expr(:lambda, {x, y}, {{}, {{x, Any, 0}, {y, Any, 0}}, {}}, quote  # none, line 1:
        return +(x,y)
    end)))),())

julia> f0[3]
AST(:($(expr(:lambda, {x, y}, {{}, {{x, Any, 0}, {y, Any, 0}}, {}}, quote  # none, line 1:
        return +(x,y)
    end))))

julia> typeof(ans)
LambdaStaticData

显然，这个 AST 可以是一个 Expr 对象，也可以是一个压缩的 AST 对象，表示为一个字节序列:

julia> typeof(f0[3].ast)
Array{Uint8,1}

show() LambdaStaticData 的方法来自 base/show.jl说明如何在遇到时解压缩:

julia> ccall(:jl_uncompress_ast, Any, (Any, Any), f0[3], f0[3].ast)
:($(expr(:lambda, {x, y}, {{}, {{x, Any, 0}, {y, Any, 0}}, {}}, quote  # none, line 1:
        return +(x,y)
    end)))

julia> typeof(ans)
Expr