我试过Array{AbstractFloat,1}，但这不起作用，因为Array{Float64,1} <: Array{AbstractFloat,1} 是false，即使Float64 <: AbstractFloat 是true。
【问题讨论】：
Array{AbstractFloat,1} 类型可以容纳任何抽象浮点类型，您可以通过将不同的浮点类型推入其中来验证。有没有你需要数组来做Array{AbstractFloat,1} 类型不能做的事情，或者你在问如何满足类型比较？
如果你想要一个可以包含任何类型浮点值的向量，那么正确的类型是Vector{AbstractFloat}，可以这样构造：
julia> v = AbstractFloat[]
AbstractFloat[]
julia> push!(v, 1.5)
1-element Vector{AbstractFloat}:
1.5
julia> push!(v, big(2.0)^1000)
2-element Vector{AbstractFloat}:
1.5
1.071508607186267320948425049060001810561404811705533607443750388370351051124936e+301
julia> map(typeof, v)
2-element Vector{DataType}:
Float64
BigFloat
julia> push!(v, "oy, I'm not a float!")
ERROR: MethodError: Cannot `convert` an object of type String to an object
Vector{Float64} 不是Vector{AbstractFloat} 的子类型是正确的。这是因为 Julia 中参数类型的子类型是不变的（不是协变的，甚至是逆变的）。更一般地说，没有具体类型是任何其他具体类型的子类型，Vector{Float64} 和 Vector{AbstractFloat} 都是具体类型，因为它们是实际对象的类型：
julia> typeof(v)
Vector{AbstractFloat} = Array{AbstractFloat,1}
julia> typeof([1.5])
Vector{Float64} = Array{Float64,1}
如果您想要一个包含这两种具体类型以及任何其他浮点值向量的抽象类型，则可以表示为Vector{<:AbstractFloat}：
julia> Vector{AbstractFloat} <: Vector{<:AbstractFloat}
true
julia> Vector{Float64} <: Vector{<:AbstractFloat}
true
julia> Vector{Union{Float64, BigFloat}} <: Vector{<:AbstractFloat}
true
julia> Vector{String} <: Vector{<:AbstractFloat}
false
但是，这种类型是抽象的，您不能创建它的实例。但是，您可以使用它进行调度并编写一个适用于任何浮点值向量的方法：
f(v::Vector{<:AbstractFloat}) = "a vector of floats"
f(v::Vector) = "a vector but not of floats"
f(x::Any) = "not a vector at all"
下面是这个函数的作用：
julia> f(v)
"a vector of floats"
julia> f([1.5])
"a vector of floats"
julia> f(Union{Float64,BigFloat}[1.5, big(2.0)])
"a vector of floats"
julia> f([1, 2, 3])
"a vector but not of floats"
julia> f("nope")
"not a vector at all"
简而言之，向量的元素类型必须是实际类型，例如Float64 或AbstractFloat。您可以将所有浮点向量的类型集表示为Vector{<:AbstractFloat}，但这不能是任何向量的类型，因为<:AbstractFloat 不是类型，它是类型的上限。但是，您可以使用Vector{<:AbstractFloat} 定义对任何浮点向量进行操作的方法，而不管具体的元素类型如何（只要元素类型是某种浮点数）。
【讨论】：