反射 与 自我检查

    由 导出的名称可用 获得，它会返回一个元素为 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 的结构：

    Note that fieldnames(DataType) gives the names for each field of itself, and one of these fields is the types field observed in the example above.

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

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

    用 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)] ))
    3.     @ none within `top-level scope`
    4. │   %2 = sin(0.5)
    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. Per default debug information is not printed, but that can be changed by setting Base.IRShow.default_debuginfo[] = :source.