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

考虑以下朱莉娅的例子

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,::Float64)
Closest candidates are:
f(::Array{Real,::Real) at ...

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

解决方法

你应该写：

function f(x::Array{<:Real,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

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

此外,Julia将Array {Real,1}和Array {Float64,1}视为彼此的子类型的原因是两个阵列都具有不同的存储格式. Array {Float64,1}只存储浮点数(因为Float64是具体类型)而Array {Real,1}将存储指向任意实数的指针.