Julia:为什么这个函数会返回一个值？

Question

Julia 新手，浏览手册并在方法下找到此示例:

julia> mytypeof(x::T) where {T} = T
mytypeof (generic function with 1 method)

当您使用 x 的值调用此方法时，它会返回类型:

julia> mytypeof(1)
Int64

julia> mytypeof(1.0)
Float64

我的问题是:为什么这会返回一个值？换句话说，隐含的返回值在哪里？

Answer 1

你应该阅读

mytypeof(x::T) where {T} = T

作为

(mytypeof(x::T) where {T}) = T

也就是说， = T 不是 where 子句的一部分；它是函数的 RHS。