julia - f(x::Array{Real}) 除了 Julia 中的 f(x::Array{Float64})

Question

考虑以下 julia 中的示例

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

此行为在本节 https://docs.julialang.org/en/latest/manual/types/#Parametric-Types-1 中进行了解释 Julia 手册。

问题是 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

将两个元素都转换为 float 。

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