F＃の非同期廃棄

Question

私はこの小さなウェブリスナーのシミュレーションを書いた：

Agent.Start(fun (_ : MailboxProcessor<unit>) -> 
     let listener = new HttpListener() 
     listener.Prefixes.Add(addr) 
     listener.Start() 

     let rec respondOut() = async { 
       let! context = Async.FromBeginEnd(listener.BeginGetContext, listener.EndGetContext) 
       use s = context.Response.OutputStream 
       let wr = new StreamWriter(s) 
       use disp = { new IDisposable with 
           member x.Dispose() = 
            printfn "Disposing..." 
            wr.Dispose() } 
       wr.Write("Test") 
       return! respondOut() 
      } 

     respondOut() 
    ) 

処分は、すべてのループ上DISPで呼び出されていない理由を私は理解していませんか？

Webサービスのテキストに応答する適切な動作が何であるかをテストしたいので、私はこれをすべてやっています。

use s = Context.Response.OutputStream 
use sw = new StreamWriter(s) 
    sw.Write("test") 

または

Context.Response.Write("Test") 
Context.Response.End() 

やその他もろもろ：私はやるべきかどうかはわかりません。

ありがとうございます！

Answer 1

疑問がある場合は、反射体:)を使用してください。 useキーワードは、ブロックの最後まで "使用"のスコープを作成します。非同期ワークフロー内で使用する場合、あなたはあなたのような何かを得るだろう非同期キーワード砂糖解除場合：

Async.Bind(Async.FromBeginEnd(listener.BeginGetContext, listener.EndGetContext) 
      (fun context -> 
       use s = context.Response.OutputStream 
       let wr = new StreamWriter(s) 
       use disp = { new IDisposable with 
           member x.Dispose() = 
            printfn "Disposing..." 
            wr.Dispose() } 
       wr.Write("Test") 
       Async.ReturnFrom (respondOut()) 
       ) 

今、あなたは、「C＃ので使用を置き換える場合は、再帰的関数を呼び出す継続します最後のコールAsync.ReturnFrom }ブラケットがAsync.ReturnFrom後にある場合、{} "、その後処分がブロックを行うにおける使用の一部をラッピング

と呼ばれることはありません飽きないだろう（）を使用して問題を解決する必要があります：

let rec respondOut() = async { 
       let! context = Async.FromBeginEnd(listener.BeginGetContext, listener.EndGetContext) 
       do 
        use s = context.Response.OutputStream 
        let wr = new StreamWriter(s) 
        use disp = { new IDisposable with 
            member x.Dispose() = 
             printfn "Disposing..." 
             wr.Dispose() } 
        wr.Write("Test") 
       return! respondOut() 
      } 

Answer 2

私の推測では、dispは使用されていないため、コンパイルされたコードで最適化されています。次の行にprintfn "%A" dispを追加してみてください。

Answer 3

useは、ブロックの端まで延びているので、私はDisposeが（それは無条件にループするので、この場合には、決して）後再帰的演算戻ると呼ばれることが予想されます。リソースを先に処分したい場合は、何らかの形でuseの範囲を限定する必要があります。おそらくこのようなものが動作します（私は試していません）：

let rec respondOut() = async { 
    let! context = Async.FromBeginEnd(listener.BeginGetContext, listener.EndGetContext) 
    do! async { 
     use s = context.Response.OutputStream 
     let wr = new StreamWriter(s) 
     use disp = { new IDisposable with 
        member x.Dispose() = 
         printfn "Disposing..." 
         wr.Dispose() } 
     wr.Write("Test") 
    } 
    return! respondOut() 
}