是否可以在运行时在Julia中创建类型？

Question

假设我想要一个

形式的函数

abstract RecordType
function CreateRecordType(fields_names::Vector{ASCIIString}, type_name::ASCIIString)
    # magic that creates the type type_name with string fields field_names
end

例如，CreateRecordType(["name","age"], "Person")将创建一个具有以下定义的新类型：

type Person <: RecordType
    name::ASCIIString
    age::ASCIIString
end

朱莉娅有可能这样做吗？

Answer 1

方法1：解析获得AST然后评估

可能最简单的方法是创建一个你想要的字符串，然后解析它以获得AST，然后评估AST。您可以在该功能中执行任何或所有操作。这可能是简单的实现，可以完成所有工作

function CreateRecordType(typeName::ASCIIString,fieldNames::Array{ASCIIString,1},fieldTypes::Array{ASCIIString,1})
   s::ASCIIString = "type $typeName <: RecordType\n";

   for i = 1:length(fieldNames)
      s = s*"$(fieldNames[i])::$(fieldTypes[i])\n"
   end
   eval(parse(s*"end"));
   return;
end

使用它......

julia> abstract RecordType;

julia> CreateRecordType("Person",["name","age"],["ASCIIString","Int64"])

julia> bubba = Person("Bubba",2)
Person("Bubba",2)

julia> print(bubba.age)
2

这可能没那么高效，相反你可以看一下解析产生的AST，然后创建 Expr 直接制作AST而不是使用解析而不是使用字符串。

方法2：直接制作AST

这是创建AST的另一种形式，它更安全，因为它需要类型和符号而不是不透明的字符串。这是通过试验上面提到的各种解析的输出而创建的。使用 Dict 代替2个数组可能更好，因为字段和类型必须始终配对。

function createTypeAST(typeName::Symbol,parentType::Type,fields::Dict{Symbol,DataType})
   e = Expr(:type,true)
   push!(e.args,Expr(:<:));
   push!(e.args[2].args,typeName);
   push!(e.args[2].args,parentType);
   push!(e.args,Expr(:block))
   for field in fields
      push!(e.args[3].args,:($(field[1])::$(field[2])));
   end
   return e;
end

第二种形式

julia> x = createTypeAST(:P1,RecordType,Dict(:a => Int64))
:(type P1<:RecordType
        a::Int64
    end)

julia> eval(x)

julia> y = P1(1)
P1(1)

julia> y.a
1