Julia中自定义类型的Base.convert两种写法均生效的原因

我自定义了一个Timeseries类型，想要实现它与Dict的隐式转换，于是写了两种语法略有差异的Base.convert函数，测试后发现两者都能正常运行，想了解背后的原因。

类型定义代码：

import Dates.DateTime

struct Timeseries
    timestamp::Vector{DateTime}
end

第一种写法：

function Base.convert(Timeseries, dict::Dict{Symbol, Vector})
    return Timeseries(dict[:timeseries])
end

第二种写法：

function Base.convert(::Type{Timeseries}, dict::Dict{Symbol, Vector})
    return Timeseries(dict[:timeseries])
end

测试代码：

julia> t::Timeseries = Dict{Symbol, Vector}(:timeseries=>[DateTime(2025,1,1)])
Dict{Symbol, Vector} with 1 entry:
  :timeseries => [DateTime("2025-01-01T00:00:00")]

julia> t
Timeseries([DateTime("2025-01-01T00:00:00")])

原因解释 #

这两种写法都能工作，核心在于Julia中类型是一等公民：

• Timeseries本身是Type{Timeseries}类型的实例，所以第一种写法里，第一个参数直接接收Timeseries这个类型对象，函数可以匹配到convert(Timeseries, dict)这类调用。
• 第二种写法用::Type{Timeseries}是更规范的声明方式，它明确限定第一个参数的类型必须是Type{Timeseries}，当传入Timeseries这个类型实例时，自然也能匹配。

不过第一种写法存在潜在风险：如果后续代码中出现同名变量Timeseries，会导致函数匹配错误；而第二种写法通过类型注解明确了参数的类型要求，避免了这种冲突，也更符合Julia社区的编码习惯。

内容的提问来源于stack exchange，提问作者user2138149