Julia子类型定义而非实例化时的字段校验实现方案问询

首先纠正你参考代码中的两处基础错误：

1. Julia 仅支持抽象类型作为超类型被继承，你示例中的struct Model1是具体结构体，无法作为G的父类型，需要先调整为抽象类型定义。
2. 你示例中使用的float不是Julia内置类型，对应64位浮点数的标准类型为Float64，浮点数抽象父类型为AbstractFloat。

1. 超类型中定义子类型相关逻辑、子类型获取函数 #

• Julia Base 自带subtypes(T)函数，可以返回类型T的所有直接子类型，若要获取所有递归子类型可以自行封装遍历逻辑：

# 示例：获取指定类型的所有递归子类型
function all_subtypes(T)
    res = subtypes(T)
    for t in res
        append!(res, all_subtypes(t))
    end
    return unique(res)
end

• 但subtypes是被动查询接口，无法在子类型创建时主动触发校验逻辑，需要配合其他语法实现自动触发。

2. Julia 是否存在this关键字 #

没有，Julia 没有this/self这类指代当前类型/实例的内置关键字，你示例中validate_field("this")的写法是无效的。

3. 子类型定义时自动校验的替代实现方案 #

推荐用自定义宏包裹子类型定义的方式实现，宏展开阶段会在子类型定义完成后自动调用校验函数，符合你「创建子类型时而非实例化时校验」的需求，示例实现如下：

# 1. 定义父抽象类型
abstract type Model1 end

# 2. 定义校验函数：校验继承Model1的子类型的字段合法性
function validate_field(::Type{T}) where T <: Model1
    # 校验逻辑可根据需求自行修改，示例为校验是否存在attr字段、且类型为Float64
    @assert :attr in fieldnames(T) "子类型 $T 缺少必填字段attr"
    @assert fieldtype(T, :attr) == Float64 "子类型 $T 的attr字段类型必须为Float64"
end

# 3. 定义用于声明Model1子类型的宏
macro model_struct(def)
    def.head == :struct || error("仅支持传入结构体定义")
    # 自动给结构体添加父类型继承关系
    def.args[2] = :($(def.args[2]) <: Model1)
    quote
        Base.@__doc__ $(esc(def))
        # 结构体定义完成后立刻执行校验
        validate_field($(esc(def.args[2].args[1])))
    end
end

# 4. 正常使用示例：定义时自动校验通过
@model_struct struct G
    attr::Float64
end

# 错误示例：字段类型不符合要求，定义阶段直接抛出断言错误，无需等到实例化
@model_struct struct BadG
    attr::Int
end

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