は、閉鎖型の安定

Question

捕獲変数に依存する関数

function function_maker(N) 
    if N == 1 
     x = 1.0 
    else 
     x = 1 
    end 
    f(y) = x+y 
end 

のために、私はタイプ-安定しないと、この出力をしたいが、私はそれが型安定であるfを生成したい作りますすなわちNの値によって決定されるxのタイプを使用して、Nに依存する関数を生成する。基本的には、これから出てくる機能を演奏したいと思っていますが、function_maker自体は演奏する必要はありません。なぜなら、それはグローバルな範囲または機能の障壁の上でしか使われないからです。

f = function_maker(1) 
@code_warntype f(1) 

Variables: 
    #self#::#f#9 
    y::Int64 

Body: 
    begin 
     return ((Core.getfield)((Core.getfield)(#self#::#f#9, :x)::ANY, :contents)::ANY + y::Int64)::ANY 
    end::ANY 

これはデフォルトでは発生しません。私はf(y) = x::typeof(x)+yを試しましたが、それもうまくいきませんでした。これを行う簡単な方法はありますか？

Answer 1

あります：

julia> function function_maker2(N) 
      if N == 1 
       let x = 1.0 
        return f(y) = x + y 
       end 
      else 
       let x = 1 
        return f(y) = x + y 
       end 
      end 
     end 
function_maker2 (generic function with 1 method) 

julia> f2 = function_maker2(1) 
(::f) (generic function with 1 method) 

julia> @code_warntype f2(1) 
Variables: 
    #self#::#f#5{Float64} 
    y::Int64 

Body: 
    begin 
     return (Base.add_float)((Core.getfield)(#self#::#f#5{Float64}, :x)::Float64, (Base.sitofp)(Float64, y::Int64)::Float64)::Float64 
    end::Float64 

このバージョンはletブロック内の各支店でxを分離。それ以外の場合、コンパイラは混乱するようです。