如何在Julia中利用Symbol区分同结构体实例实现多分派？

方案1：基于现有结构体的字段值实现分派（无需修改原结构体） #

如果不想改动已定义的AbstractAlgorithm，可以通过方法重载结合运行时判断实现逻辑分支，不过这种方式属于运行时分派，性能略低于编译时分派：

# 通用兜底方法，处理未匹配的算法类型
function A(a::AbstractAlgorithm)
    error("未实现针对符号 $(a.algorithmSymbol) 的A函数逻辑")
end

# Value Iteration对应的逻辑实现
function A(a::AbstractAlgorithm)
    a.algorithmSymbol == :vIter || return invoke(A, Tuple{AbstractAlgorithm}, a)
    # 这里写A1逻辑，示例：
    return "执行Value Iteration专属逻辑"
end

# Policy Iteration对应的逻辑实现
function A(a::AbstractAlgorithm)
    a.algorithmSymbol == :pIter || return invoke(A, Tuple{AbstractAlgorithm}, a)
    # 这里写A2逻辑，示例：
    return "执行Policy Iteration专属逻辑"
end

方案2：重构为参数化结构体（推荐，编译时分派） #

更符合Julia多分派设计理念的方式是将结构体改为参数化类型，用Symbol作为类型参数，这样可以在编译时就确定调用的方法，性能更优：

第一步：重构结构体 #

struct Algorithm{S<:Symbol}
    algorithmName::String
end

# 构造函数，根据输入名称自动绑定类型参数
function Algorithm(algorithmName::String)
    if algorithmName == "Value Iteration"
        Algorithm{:vIter}(algorithmName)
    elseif algorithmName == "Policy Iteration"
        Algorithm{:pIter}(algorithmName)
    else
        error("给定算法 $algorithmName 暂未定义")
    end
end

第二步：定义多分派函数 #

直接基于参数化类型的Symbol参数定义不同方法：

# 对应vIter的逻辑
function A(a::Algorithm{:vIter})
    # 执行A1逻辑，示例：
    println("Value Iteration 逻辑执行中...")
end

# 对应pIter的逻辑
function A(a::Algorithm{:pIter})
    # 执行A2逻辑，示例：
    println("Policy Iteration 逻辑执行中...")
end

测试调用 #

v_iter = Algorithm("Value Iteration")
p_iter = Algorithm("Policy Iteration")

A(v_iter) # 输出：Value Iteration 逻辑执行中...
A(p_iter) # 输出：Policy Iteration 逻辑执行中...

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