Julia中能否在表达式内部执行代码？宏生成struct报x未定义错误

你对问题的判断是正确的，:(...) 包裹的内容属于最终要生成的运行时代码，写在里面的map不会在宏展开阶段执行，会直接作为struct定义的一部分，自然会报x未定义的错误。

你需要把字段提取的逻辑放在quote块外部，在宏展开阶段就完成参数处理，再把提取到的字段拼入struct定义的表达式中，正确实现如下：

macro superM(name, field)
    # 宏展开阶段提前提取所有字段名
    fields = [esc(item[1]) for item in field.args]
    # 把处理完成的字段列表插入struct定义
    :(struct $(esc(name))
        $(fields...)
    end)
end

使用你原来的调用方式测试：

@superM test ((arg1,2),(arg2,4))

生成的struct完全符合预期，执行fieldnames(test)可以看到输出为(:arg1, :arg2)。

补充说明：Julia宏的执行分为两个阶段，第一阶段是宏展开阶段，会运行你写在宏函数内部、不在quote块里的所有代码，用来处理输入的AST参数；第二阶段才会把宏返回的表达式插入到最终运行时代码中执行。所有属于元处理的逻辑都要放在quote块外部执行。

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