考虑以下朱莉娅的例子 function f(x::Array{Real,1}, y::Real) return [x..., y]endarr = [1,2,3]f(arr, 4.0) 当我运行此代码时,我收到以下错误 ERROR: LoadError: MethodError: no method matching f(::Array{Int64,1}, ::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,1}, ::Float64) Closest candidates are: f(::Array{Real,1}, ::Real) at ...
有没有什么办法解决这一问题?
你应该写: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
将两个元素转换为浮点数.
此外,Julia将Array {Real,1}和Array {Float64,1}视为彼此的子类型的原因是两个阵列都具有不同的存储格式. Array {Float64,1}只存储浮点数(因为Float64是具体类型)而Array {Real,1}将存储指向任意实数的指针.