Julia 語法 - 帶有 where 子句的 function 的返回類型注釋

Question

我是 Julia 的新手。 這可能是一個愚蠢的問題，但我似乎無法正確理解這個語法。

我可以

check_condition(func::F, arg::Int) where {F} = func(arg)

和

check_condition(func::Function, arg::Int)::Bool = func(arg)

但是，如果我想同時包含類型注釋和外部 where 子句，我會不斷收到語法錯誤。 以下似乎不起作用：

check_condition(func::F, arg::Int) where {F}::Bool = func(arg)
(check_condition(func::F, arg::Int) where {F})::Bool = func(arg)
check_condition(func::F, arg::Int)::Bool where {F} = func(arg)
check_condition::Bool(func::F, arg::Int) where {F} = func(arg)

這確實有效，但我相信它不等同於我想要的，因為類型參數隱藏在方法主體中（假設我想在其中的某個地方使用它）

check_condition(func::F where {F}, arg::Int)::Bool = func(arg)

寫這個的正確方法是什么？

謝謝

Answer 1

利用：

(check_condition(func::F, arg::Int)::Bool) where {F} = ...

請注意::Bool確實轉換為Bool 。 例如：

julia> (check_condition(func::F, arg::Int)::Bool) where {F}= 1
check_condition (generic function with 1 method)

julia> check_condition(5,7)
true