检查一个类型是否在 Julia 中实现了一个接口

Question

如何检查一个类型在 Julia 中实现了一个接口？

例如迭代接口由函数start、next、done实现。

我需要根据参数类型是否实现给定接口来对函数进行专门化。

编辑

这是我想做的一个例子。

考虑以下代码：

a = [7,8,9]
f = 1.0    
s = Set()
push!(s,30)
push!(s,40)

function getsummary(obj)
  println("Object of type ", typeof(obj))
end

function getsummary{T<:AbstractArray}(obj::T)
  println("Iterable Object starting with ", next(obj, start(obj))[1])
end

getsummary(a)
getsummary(f)
getsummary(s)

输出是：

Iterable Object starting with 7
Object of type Float64
Object of type Set{Any}

这是我们所期望的，因为Set 不是AbstractArray。但显然我的第二种方法只需要类型 T 来实现迭代接口。

我的问题不仅与迭代接口有关，还与一组函数定义的所有接口有关。

EDIT-2

我认为我的问题与

有关

https://github.com/JuliaLang/julia/issues/5

因为我们可以想象像T<:Iterable这样的东西

Answer 1

通常，这是通过特征完成的。一种实现见Traits.jl；在Base 中使用了类似的方法来调度Base.iteratorsize、Base.linearindexing 等。例如，Base 使用iteratorsize trait 实现collect：

"""
    collect(element_type, collection)

Return an `Array` with the given element type of all items in a collection or iterable.
The result has the same shape and number of dimensions as `collection`.
"""
collect{T}(::Type{T}, itr) = _collect(T, itr, iteratorsize(itr))

_collect{T}(::Type{T}, itr, isz::HasLength) = copy!(Array{T,1}(Int(length(itr)::Integer)), itr)
_collect{T}(::Type{T}, itr, isz::HasShape)  = copy!(similar(Array{T}, indices(itr)), itr)
function _collect{T}(::Type{T}, itr, isz::SizeUnknown)
    a = Array{T,1}(0)
    for x in itr
        push!(a,x)
    end
    return a
end

另请参阅 Mauro Werder's talk 关于特征。

我将定义一个 iterability(::T) 特征如下：

immutable Iterable end
immutable NotIterable end
iterability(T) =
    if method_exists(length, (T,)) || !isa(Base.iteratorsize(T), Base.HasLength)
        Iterable()
    else
        NotIterable()
    end

这似乎有效：

julia> iterability(Set)
Iterable()

julia> iterability(Number)
Iterable()

julia> iterability(Symbol)
NotIterable()

Answer 2

你可以通过methodswith检查a type是否实现an interface如下：

foo(a_type::Type, an_interface::Symbol) = an_interface ∈ [i.name for i in methodswith(a_type, true)]

julia> foo(EachLine, :done)
true

但是我不太明白你在评论中提到的动态调度方法，泛型函数是什么样的？函数的输入和输出是什么？我猜你想要这样的东西？

function foo(a_type::Type, an_interface::Symbol)
    # assume bar baz are predefined
    if an_interface ∈ [i.name for i in methodswith(a_type, true)]
        # call function bar
    else 
        # call function baz
    end
end

或一些元编程的东西在编译时分别生成这些函数？