反射 与 自我检查

    由 导出的名称可用 获得，它会返回一个元素为 Symbol 的数组来表示模块导出的绑定。不管导出状态如何，names(m::Module, all = true) 返回 m 中所有绑定的符号。

    DateType 字段

    DataType 的所有字段名称可以使用 来获取。例如，对于下面给定的类型，fieldnames(Point) 会返回一个表示字段名称的 Symbol 元组：

    Point 对象中每个字段的类型存储在 Point 本身的 types 变量中：

    1. julia> Point.types

    虽然 x 被注释为 Int，但 y 在类型定义里没有注释，因此 y 默认为 Any 类型。

    类型本身表示为一个叫做 DataType 的结构：

    注意 fieldnames(DataType) 给出了 DataType 本身的每个字段的名称，其中的一个字段是上面示例中提到的 types 字段。

    1. julia> subtypes(AbstractFloat)
    2. 4-element Array{Any,1}:
    3.  BigFloat
    4.  Float16
    5.  Float32
    6.  Float64

    任何抽象子类型也包括此列表中，但子类型的子类型不在其中。递归使用 可以遍历出整个类型树。

    DataType 布局

    用 C 代码接口时，DataType 的内部表现非常重要。有几个函数可以检查这些细节。

    isbits(T::DataType) 如果 T 类型是以 C 兼容的对齐方式存储，则为 true。 返回字段 i 相对于类型开始的 (字节) 偏移量。

    任何泛型函数的方法都可以使用 methods 来列出。用 搜索 方法调度表 来查找 接收给定类型的方法。

    扩展和更底层

    As discussed in the Metaprogramming section, the function gives the unquoted and interpolated expression (Expr) form for a given macro. To use macroexpand, quote the expression block itself (otherwise, the macro will be evaluated and the result will be passed instead!). For example:

    The functions Base.Meta.show_sexpr and are used to display S-expr style views and depth-nested detail views for any expression.

    1. julia> Meta.lower(@__MODULE__, :( [1+2, sin(0.5)] ))
    2. :($(Expr(:thunk, CodeInfo(
    3.     @ none within `top-level scope'
    5. │   %3 = Base.vect(%1, %2)
    6. └──      return %3
    7. ))))

    检查函数的底层形式 需要选择所要显示的特定方法，因为泛型函数可能会有许多具有不同类型签名的方法。为此， 用 code_lowered 可以指定代码底层中的方法。 并且可以用 来进行类型推断。 code_warntype 增加 输出的高亮。

    更加接近于机器， 一个函数的 LLVM-IR 可以通过使用 code_llvm 打印出。 最终编译的机器码使用 查看（这将触发 之前未调用过的任何函数的 JIT 编译/代码生成）。

    为方便起见，上述函数有 宏的版本，它们接受标准函数调用并自动展开参数类型：

    For more informations see @code_lowered, , @code_warntype, , and @code_native.

    The aforementioned functions and macros take the keyword argument debuginfo that controls the level debug information printed.

    1. julia> @code_typed debuginfo=:source +(1,1)
    2. CodeInfo(
    3.     @ int.jl:53 within `+'
    4. 1 ─ %1 = Base.add_int(x, y)::Int64
    5. └──      return %1

    Possible values for debuginfo are: :none, :source, and:default. Per default debug information is not printed, but that can be changed by setting .