f(x :: Array {Real})除了Julia中的f(x :: Array {Float64})之外没有

Question

考虑以下朱莉娅的例子

function f(x::Array{Real,1}, y::Real)
    return [x..., y]
end

arr = [1,2,3]
f(arr, 4.0)

当我运行此代码时,我收到以下错误

ERROR: LoadError: MethodError: no method matching f(::Array{Int64,1}, 
::Float64)
Closest candidates are:
f(::Array{Real,1}, ::Real) at ...

有没有什么办法解决这一问题？

Answer 1

你应该写:

function f(x::Array{<:Real,1}, y::Real)
    return [x..., y]
end

此部分在Julia手册的https://docs.julialang.org/en/latest/manual/types/#Parametric-Types-1中进行了解释.

问题是它Array{Float64,1}不是子类型,Array{Real,1}而是子类型Array{<:Real,1}.

您可以通过运行以下代码来检查它:

julia> Array{Float64,1} <: Array{Real,1}
false

julia> Array{Float64,1} <: Array{<:Real,1}
true

在心理上,你可以读取Array{<:Real,1}任何元素类型规范是子类型的向量Real,同时Array{Real,1}表示元素类型规范正好的向量Real.请注意,您可以构造后一个向量,它有时是有用的:

julia> Real[1, 1.0]
2-element Array{Real,1}:
 1
 1.0

(注意1并1.0保持原样,即int和float),而:

julia> [1, 1.0]
2-element Array{Float64,1}:
 1.0
 1.0

将两个元素转换为浮点数.

此外,朱莉娅对待Array{Real, 1}和Array{Float64, 1}作为彼此的子类型的原因是两个阵列具有不同的存储格式.Array{Float64, 1}简单地存储浮点数(Float64具体类型),而Array{Real, 1}存储指向任意实数的指针.