朱莉娅是否有严格的亚型操作符？

Question

问题：朱莉娅是否有严格的亚型操作符？

注：操作<:是不严格的亚型运营商，因为Number <: Number评估为true。我对运营商感兴趣，该运营商的评估结果为false为Number <: Number，但true为Int <: Number。

可能的用例：考虑定义的函数：

MyFunc{T<:Union(Int, String)}(x::Array{T, 1}, y::Array{T, 1)}) 

目前，函数约束着x和y是相同的类型，其中该类型是Int，String，或Union(Int, String)的阵列。但是对于严格的子类型运算符，我可以强制输入数组的类型为Int或String，并消除（相当奇怪的）Union(Int, String)方案。

Answer 1

我不认为是这样朱莉娅运营商，但它可能会很容易写，做同样的检查功能：

strictSubType{T,U}(::Type{T}, ::Type{U}) = T <: U && T != U # note: untested! 

然而，我不得不怀疑你的使用情况。如果你真的想要的是类似的东西

function my_func{T<:String}(x::Vector{T}, y::Vector{T}) 
    # handle strings 
    # note that String is an abstract type, inherited by e.g. ASCIIString and UTF8String 
end 

function my_func(x::Vector{Int}, y::Vector{Int}) 
    # handle ints 
    # note that Int is a concrete type (actually an alias for either Int32 or Int64, 
    # depending on your platform) so no generic type parameter is necessary 
end 

然后写，而不是。如果你有一些可以共享的逻辑，把它重构成单独的方法，你可以放松类型参数（或者完全忽略它们）。

更新，以响应您的评论：

如果这两种方法应该做同样的事情，那么你很可能使用duck typing更好，而且根本就没有指定类型的功能参数：

funciton my_func(x, y) 
    # handle ints, strings and anything else that supports things you need (e.g. > and <) 
end 

Julia会编译你要调用的每种类型组合的具体方法，所以你仍然会得到同样快速的代码;如果函数是类型稳定的，那么它对于任何组合都会很快（请参阅Julia文档以更全面地解释它是如何工作的）。如果你想确保这两个参数是向量，并且它们都是同一类型的，我建议你做对角线讯（也在文档更彻底地解释）：

function my_func{T}(x::AbstractVector{T}, y::AbstractVector{T}) 
    # handle stuff 
end 

请注意，我用AbstractVector而不是Vector - 这允许使用其他类型的容器，其行为类似于T类型的元素，最大限度地提高了其他编码器功能的可用性。