如何管理在F＃調試印刷

Question

我要調試打印添加到我的項目與具有類型簽名類似的功能：

bool -> Printf.TextWriterFormat<'a> -> 'a 

也就是說，它應該採取一個布爾值，表明我們是否是在詳細模式，並用它來決定是否打印。

例如，讓我們說dprint : bool -> Printf.TextWriterFormat<'a> -> 'a然後我想這種行爲：

> dprint true "Hello I'm %d" 52;; 
Hello I'm 52 
val it : unit =() 
> dprint false "Hello I'm %d" 52;; 
val it : unit =() 

的想法是，一個命令行標誌可用於避免控制此輸出。我還想避免在「非冗長」情況下的運行時成本。這是可能使用kprintf定義是這樣工作的一個函數：

let dprint (v: bool) (fmt: Printf.StringFormat<'a,unit>) = 
    let printVerbose (s: string) = 
    if v then System.Console.WriteLine(s) 

    fmt |> Printf.kprintf printVerbose 

但印刷/忽略數字序列與List.iter (dprint b "%A") [1..10000]（b中\ {TRUE，FALSE}）開量爲1.5秒B的兩個值在我的機器上。

我想出了另一種方法，使用的反映，建立適當類型的函數放棄格式化參數：

let dprint (v: bool) (fmt: Printf.TextWriterFormat<'a>) : 'a = 
    let rec mkKn (ty: System.Type) = 
    if FSharpType.IsFunction(ty) then 
     let _, ran = FSharpType.GetFunctionElements(ty) 
     FSharpValue.MakeFunction(ty,(fun _ -> mkKn ran)) 
    else 
     box() 
    if v then 
    printfn fmt 
    else 
    unbox<'a> (mkKn typeof<'a>) 

但這裏的反射似乎過於昂貴（甚至比裏面的標準庫複雜完成有時定義爲printf）。

我不想我的垃圾帶之類的東西代碼：

if !Options.verbose then 
    printfn "Debug important value: %A" bigObject5 

或關閉：

dprint (fun() -> printfn "Debug important value: %A" bigObject5) 

所以，有沒有其他解決辦法？

Answer 1

我喜歡使用反射您的解決方案。如何在類型級別緩存它，以便每種類型只支付一次反射的價格？例如：

let rec mkKn (ty: System.Type) = 
    if Reflection.FSharpType.IsFunction(ty) then 
     let _, ran = Reflection.FSharpType.GetFunctionElements(ty) 
     // NOTICE: do not delay `mkKn` invocation until runtime 
     let f = mkKn ran 
     Reflection.FSharpValue.MakeFunction(ty, fun _ -> f) 
    else 
     box() 

[<Sealed>] 
type Format<'T> private() = 
    static let instance : 'T = 
     unbox (mkKn typeof<'T>) 
    static member Instance = instance 

let inline dprint verbose args = 
    if verbose then 
     printfn args 
    else 
     Format<_>.Instance 

實用主義者只想用快速C＃格式化印刷機械，而不是這個。正如你指出的那樣，我在生產代碼中避免了Printf函數，因爲它們有開銷。但是，然後F＃印刷肯定會感覺更好用。

我#time結果List.iter (dprint false "%A") [1..10000]：

• 原始版本：0.85
• 原始版本與反思：0.27
• 所提出的版本：0。03

Answer 2

爲什麼不使用#defines只是做

let dprint (fmt: Printf.StringFormat<'a,unit>) = 
#if DEBUG 
    let printVerbose (s: string) = 
     System.Console.WriteLine(s) 

    fmt |> Printf.kprintf printVerbose 
#else 
    fun _ ->() 

在我的機器樣品測試需要0.002s的優化版本

Answer 3

如何：

/// Prints a formatted string to DebugListeners. 
let inline dprintfn fmt = 
    Printf.ksprintf System.Diagnostics.Debug.WriteLine fmt 

然後，你可以寫：

dprintfn "%s %s" "Hello" "World!" 

Debug.WriteLine(...)標有[<Conditional("DEBUG")>]所以F＃編譯器應該能夠消除整個語句在編譯時（儘管你必須試驗並檢查編譯後的IL以確定它是否真的存在。）

請注意，如果您不關心在運行時更改詳細程度，此解決方案纔有效。如果是這樣的話，你將不得不尋找一個不同的解決方案。

更新：出於好奇，我只是試過這段代碼（它確實有效），並且F＃2.0編譯器沒有編譯所有東西（即使進行了優化），所以無論調試與否，速度都是一樣的。可能有其他方法讓編譯器消除整個語句來解決速度問題，但是您只需稍微嘗試一下就可以找出答案。