types - 使无参数类型具有 "defaults"

Question

我基本上想做以下事情:

typealias CVODE_BDF CVODE_BDF{:Newton,:Dense}

也就是说，允许用户传递给我的函数 CVODE_BDF并且，如果他们没有设置任何类型参数，则将其解释为 CVODE_BDF{:Newton,:Dense} .我知道 typealias实际上不起作用，但是有没有办法模拟这一点？像在函数中一样，阅读 T.parameters[1]不知何故看到它是空的？

Answer 1

如果函数接受该类型的对象，而不是该类型本身，则可以执行此操作。例如。

type MyObject{T}
end


const DefaultMyObject = MyObject{Int64}()

f{T}(x::MyObject{T}=DefaultMyObject) = T

f(), f(MyObj{Float64}())

给

(Int64,Float64)