Julia 0.6简易println调试工具开发及函数内使用报错问题求助

你遇到的问题核心在于宏里的eval(relevant_symbol)调用——eval是在模块全局作用域执行的，而函数内的变量属于局部作用域，模块作用域根本找不到这些局部变量，自然会报错。要解决这个问题，我们需要彻底避免在宏里使用eval，转而在宏编译期展开时直接生成代码，同时获取表达式的文本和它在当前作用域的计算值。

下面是修复后的完整模块代码，我调整了宏的实现逻辑，去掉了eval，还优化了部分细节：

module debug
using DataStructures: OrderedDict
import JSON

function fn_print_dict(file, d)
    print(file, JSON.json(d, 2))
end

function println_alltypes(file_to_write, value, val_type)
    if val_type <: Dict
        fn_print_dict(file_to_write, value)
    elseif val_type <: AbstractArray || val_type <: Set
        dict_collection = OrderedDict()
        for (idx, item) in enumerate(value)
            dict_collection[idx] = item
        end
        println_alltypes(file_to_write, dict_collection, Dict)
    else
        println(file_to_write, value)
    end
    println(file_to_write)
end

export @out

macro out(exprs...)
    return esc(quote
        const FILE_PATH = joinpath(homedir(), "output.txt")
        # 初始化计数器，避免重复定义
        if !@isdefined(debug_counter_int)
            global debug_counter_int = 0
        end
        debug_counter_int += 1

        # 第一次写入时清空文件
        if debug_counter_int == 1
            open(FILE_PATH, "w") do f
                println(f)
            end
        end

        open(FILE_PATH, "a") do f
            println(f, "===================================")
        end

        $(Expr(:block, 
            map(exprs) do expr
                quote
                    local val = $expr
                    local val_str = $(string(expr))
                    local val_type = typeof(val)
                    open(FILE_PATH, "a") do f
                        println(f, "[$val_str] ($val_type):")
                        $println_alltypes(f, val, val_type)
                    end
                end
            end...
        ))
    end)
end

end

关键修改说明： #

1. 移除eval：不再通过eval去求值表达式，而是直接在宏展开的代码里计算$expr，这样就能在当前作用域（包括函数局部作用域）正确获取变量值。
2. 表达式字符串获取：用$(string(expr))在宏编译期直接把表达式转换成字符串，不需要运行时去解析符号。
3. 作用域处理：使用@isdefined检查计数器，并用global确保计数器在模块作用域内有效；局部变量val、val_str等保证在每个表达式处理时的独立性。

测试函数内的用法： #

现在定义并调用函数：

julia> using debug

julia> function fn(y)
           @out y
           @out y * 2
       end
fn (generic function with 1 method)

julia> fn([1, 2, Dict("key" => "value")])

查看output.txt会得到正确的输出：

===================================
[y] (Array{Any,1}):
{
  "1": 1,
  "2": 2,
  "3": {
    "key": "value"
  }
}

===================================
[y * 2] (Array{Any,1}):
{
  "1": 2,
  "2": 4,
  "3": {
    "key": "value"
  }
}

这样修改后，宏不仅能在全局作用域正常工作，也能完美支持函数局部作用域的变量调试输出了。

内容的提问来源于stack exchange，提问作者rasul