数组破坏了 Julia 中的字符串类型

Question

以下是设计使然吗？

ASCIIString <: String返回true ，但是Array{ASCIIString,1} <: Array{String,1}返回false .

也许这是一个错误，我应该在 github 上发出拉取请求。 (我运行的是 v0.4.0-dev+6210)

Answer 1

只需将我的评论转换为答案即可:

你的问题的答案是肯定的。正如 Julia 的document说:

in the parlance of type theory, Julia’s type parameters are invariant, rather than being covariant (or even contravariant).

在下面的误导性案例中，人们可能会发现

julia> Int64 <: Int
true

julia> Array{Int64,1} <: Array{Int,1}
true

这是因为 Int 和 Int64 是相同的类型。

julia> xdump(Int)
Int64::DataType  <: Signed

julia> xdump(Int64)
Int64::DataType  <: Signed

julia> xdump(Array{Int,1})
Array{Int64,1}::DataType  <: DenseArray{Int64,1}

julia> xdump(Array{Int64,1})
Array{Int64,1}::DataType  <: DenseArray{Int64,1}

我们可以使用typejoin来检查类型A和类型B之间的关系以及它们对应的“数组”。

julia> typejoin(Int64,Int)
Int64

julia> typejoin(Array{Int64,1},Array{Int,1})
Array{Int64,1}

但是

julia> typejoin(ASCIIString,String)
String

julia> typejoin(Array{String,1},Array{ASCIIString,1})
Array{T,N} (constructor with 9 methods)