F #: smaltimento delle risorse che si trovano all'interno di una chiusura?

Question

Supponiamo che io creo una chiusura su una risorsa come uno StreamWriter:

let currentdir = Directory.GetCurrentDirectory() 
let testfile = sprintf "%s\\%s" currentdir "closuretest.txt" 

let getwriter() = 
    let writer = new StreamWriter(testfile, false) 
    (fun() -> writer.Write "test") 

C'è un modo per chiudere lo StreamWriter quando ho finito con la chiusura? O devo sostituire la chiusura con un oggetto wrapper che ha un metodo Write() e un metodo Dispose()? (Questo è ovviamente un esempio banalizzato.) Grazie a tutti.

Answer 1

Sì, è necessario sostituire la chiusura con un oggetto IDisposable con un metodo e un Dispose(). (In alternativa, restituire una tupla di chiusure, il secondo dei quali chiama Close() o roba del genere, e lasciare al chiamante del genere.)

(Mentre si è in esso, System.IO.Path.Combine() dovrebbe essere utilizzato, invece di incollare insieme i nomi dei file . con formattazione di stringhe)

Answer 2

volte faccio:

let getwriter() = 
    let writer = new StreamWriter(testfile, false) 
    (fun() -> 
    use writer = writer 
    writer.Write "test") 

Answer 3

IDisposable è di circa deterministicamente, risorse cioè esplicitamente rilascio. Pertanto, se la chiusura non fornisce in qualche modo una funzionalità di smaltimento autonoma, la risorsa non può più essere rilasciata in modo deterministico.

Come ha sottolineato Brian, questo può essere più o meno esplicito, sebbene l'implementazione di IDisposable sia preferibile in quanto use + IDisposable si occupa automaticamente del rilascio di risorse in caso di eccezioni.

Tuttavia, a volte è sufficiente nascondere completamente la risorsa monouso e ottenere una chiusura di ciò che deve essere fatto.

let getWriter body = 
    use writer = new StreamWriter(testfile, false) 
    body(writer) 

// ... 

getWriter (fun writer -> writer.Write "test")