dictionary - 定义一个空的 Dict，其中值是抽象类型的子类型

Question

我有一个抽象类型，带有子类型。
我想制作并添加到包含子类型的 Dict 中。
这是可行的吗？
实现这一目标的更好方法是什么？
例子:

abstract type Cat end

struct Lion <: Cat
   manecolour
end

struct Tiger <: Cat
   stripewidth
end

cats = Dict{Int, <:Cat}()

给

ERROR: MethodError: no method matching Dict{Int64,var"#s3"} where var"#s3"<:Cat()

这样做更正确的方法是什么？

Answer 1

只需使用抽象类型作为容器类型:cats = Dict{Int, Cat}() :

julia> cats = Dict{Int, Cat}()
Dict{Int64,Cat}()

julia> cats[1] = Lion(12)
Lion(12)

julia> cats
Dict{Int64,Cat} with 1 entry:
  1 => Lion(12)