F＃でリソースを処理する機能的な方法

Question

こんにちは、これはC＃言語がCom interopリソース管理をどのように処理するかの例です。 orginal source：

Excel.Application app = null; 
Excel.Workbooks books = null; 
Excel.Workbook book = null; 
Excel.Sheets sheets = null; 
Excel.Worksheet sheet = null; 
Excel.Range range = null; 

try 
{ 
    app = new Excel.Application(); 
    books = app.Workbooks; 
    book = books.Add(); 
    sheets = book.Sheets; 
    sheet = sheets.Add(); 
    range = sheet.Range["A1"]; 
    range.Value = "Lorem Ipsum"; 
    book.SaveAs(@"C:\Temp\ExcelBook" + DateTime.Now.Millisecond + ".xlsx"); 
    book.Close(); 
    app.Quit(); 
} 
finally 
{ 
    if (range != null) Marshal.ReleaseComObject(range); 
    if (sheet != null) Marshal.ReleaseComObject(sheet); 
    if (sheets != null) Marshal.ReleaseComObject(sheets); 
    if (book != null) Marshal.ReleaseComObject(book); 
    if (books != null) Marshal.ReleaseComObject(books); 
    if (app != null) Marshal.ReleaseComObject(app); 
} 

は個人的に私は上記のコードは、合理的かつ必要だと思います。しかし、それは機能的ではありません。私はこれらのcom変数を、try ... finally ...とtry ... ...の異なるレベルで定義してしまいました。そしてtryブロックの前に変数を定義しなければならないので、finallyコードとwithブロックの両方にクリーンアップコードが存在します。それは非常に面倒です。

F＃で同じことを正しく実装できますか？その少し皮肉なことに、F＃を実証する方法として、interopでF＃を使用する方法を説明しているインターネット上の多くの例があります。しかし、誰もcomリソースのクリーンアップを管理する方法については話しません。

良いパターンに関するアドバイスがあります。

Answer 1

try/catchの各ステップを呼び出し、最後に完了したときに解放する計算式を作成できます。私たちは、作成/ファイナライズのためのプラグイン関数を持つビルダーを作成して、何が起こっているかを見ることができます。

type FinalizationBuilder(oncreate, onfinal) = 
    member __.Bind(m, f) = 
    oncreate(box m) 
    try 
     try 
     f m 
     with ex -> 
     Choice2Of2 ex.Message 
    finally 
     onfinal(box m) 
    member __.Return(m) = Choice1Of2 m 
    member __.Zero() = Choice1Of2() 

次に、COMコンポーネントが終了したらすぐにリリースするCOMワークフローが必要です。あなたはこのようにそれを使用

let com = new FinalizationBuilder(ignore, System.Runtime.InteropServices.Marshal.ReleaseComObject >> ignore) 

：

[<EntryPoint>] 
let main _ = 
    com { 
    let! app = new Excel.Application() 
    let! books = app.Workbooks 
    let! book = books.Add() 
    // ... 
    app.Quit() 
    } |> ignore 
    0 

私は、Excelがインストールされていないが、私は例外とprintfnsでそれをシミュレートすることができます。

let demo = new FinalizationBuilder(printfn "Created %A", printfn "Released %A") 

[<EntryPoint>] 
let main _ = 
    demo { 
    let! x = 1 
    let! y = 2 
    let! z = 3 
    return x + y + z 
    } |> printfn "Result: %A" 
    0 

// Created 1 
// Created 2 
// Created 3 
// Released 3 
// Released 2 
// Released 1 
// Result: Choice1Of2 6 

または例外と：

[<EntryPoint>] 
let main _ = 
    demo { 
    let! x = 1 
    let! y = 2 
    let! z = failwith "boom" 
    return x + y + z 
    } |> printfn "Result: %A" 
    0 

// Created 1 
// Created 2 
// Released 2 
// Released 1 
// Result: Choice2Of2 "boom" 

これのどれもがとにかく必要ありませんように見える、と述べているすべて。 https://stackoverflow.com/a/25135685/171121