F #: Pozbywanie się zasobów znajdujących się w zamknięciu?

Question

Załóżmy utworzyć zamknięcie nad zasobu takiego jak 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") 

Czy istnieje sposób, aby zamknąć StreamWriter kiedy skończę z zamknięciem? Czy muszę zastąpić zamknięcie obiektem wrappera, który ma metodę Write() i metodę Dispose()? (Jest to oczywiście trywializowany przykład). Dzięki wszystkim.

Answer 1

Tak, należy zastąpić zamknięcie obiektem IDisposable metodą i Dispose(). (Alternatywnie, zwraca krotki zamknięć, z których drugi nazywa Close() lub cokolwiek, i pozostawić go do rozmówcy w tym stylu.)

(Podczas gdy jesteś na to, System.IO.Path.Combine() powinien być stosowany zamiast klejenia razem nazw . z formatowaniem smyczkowy)

Answer 2

czasami zrobić:

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

Answer 3

IDisposable wynosi około deterministycznie, czyli wyraźnie uwalniające zasoby. Jeśli więc zamknięcie nie zapewnia w jakiś sposób funkcjonalności wyrzucania przez siebie, zasobu nie można już dłużej uwalniać deterministycznie.

Jak zauważył Brian, może to być mniej lub bardziej jednoznaczne, chociaż wdrożenie IDisposable jest preferowane, ponieważ use + IDisposable automatycznie zajmuje się zwolnieniem zasobów w przypadku wyjątków.

Czasami wystarcza jednak całkowite ukrycie zasobu jednorazowego użytku i zamknięcie tego, co ma być zrobione.

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

// ... 

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