如何在Julia中为抽象类型的所有参数子类型定义方法？

Question

假设我有一个抽象基类：

abstract type B end

和许多具体的子类型：

struct C1{T,V} <: B end
struct C2{T,V} <: B end
...

如何以优雅的方式为所有子类型定义方法？

result_type(::C1{T,V}) = T
result_type(::C2{T,V}) = T
...

subtypes函数似乎不包含我要查询的参数类型T和V，是否有一个干净的解决方案？

for C in subtypes(B)
    # how to define result_type for C?
end

Answer 1

只需将type参数添加到抽象类型即可。

abstract type B{T,V} end
struct C1{T,V} <: B{T,V} end
struct C2{T,V} <: B{T,V} end
result_type(::B{T,V}) where {T,V} = T