Topshelf, Owin selfhost, F # и явные поля

Question

Я установил пакет Topshelf.FSharp, и есть пример того, как использовать его здесь:

https://gist.github.com/haf/4252121

Часть примера определяет " Svc»(услуга) класса, как это:

type Svc() = 
    member x.Start() = 
    printfn "Started" 
    member x.Stop() = 
    printfn "Stopped" 

с Owin selfhost вы называете один из различных статических перегрузках IDisposable WebApp.Start(...) для запуска веб-сервера, а затем утилизировать его, чтобы остановить его. В C#, если вы хотите комбинировать Topshelf и Owin, вы можете сохранить IDisposable результат Start() в частном локальном поле класса Svc, когда вызывается Start(), а затем вызывается Dispose() на нем в Stop ().

В F # вы можете объявить унифицированное поле типа IDisposable, используя «явные поля» (http://msdn.microsoft.com/en-us/library/dd469494.aspx), но это кажется несколько неудобным, есть ли лучший способ?

Answer 1

Вам не нужно использовать явное поле для создания значения «неинициализированного» IDisposable. Например, чтобы определить Перезапускаемую услугу, вы можете использовать неявное webApp поле, как это:

// Example 1: Using an implicit mutable IDisposable field. 
type Svc() = 
    let mutable webApp = null 

    member __.Start() = 
     if webApp = null then webApp <- WebApp.Start<Startup> "http://localhost:12345" 

    member __.Stop() = 
     if webApp <> null then webApp.Dispose(); webApp <- null 

// Example 2: Using an implicit mutable IDisposable option field. 
type Svc'() = 
    let mutable webApp = None 

    member __.Start() = 
     match webApp with 
      | Some _ ->() 
      | None -> webApp <- Some(WebApp.Start<Startup> "http://localhost:12345") 

    member __.Stop() = 
     match webApp with 
      | Some webAppValue -> webAppValue.Dispose(); webApp <- None 
      | None ->() 

Если служба не должен быть перезапускаемыми, я хотел бы использовать (неизменное) неявное ленивое поле вместо как @ - предложил Том.

Answer 2

Не могли бы вы сделать член Lazy<T> вместо этого, чтобы он автоматически инициализировался при первом обращении к нему? Я не совсем уверен в требованиях F # в этом случае, то есть почему именно это проблема, но для отложенной инициализации Lazy, казалось бы, был хорошим выбором.