F＃中的所有lambda參數都被自動內聯＃

Question

來自F＃News的post指出F＃可以內聯一個作爲參數傳遞的函數。 情況總是如此嗎？它會自動發生嗎？

Answer 1

答案是否定的。如果你有像下面這樣的函數，lambda不會被內聯。 在下面的代碼lambda表達式使用FSharpFunc<,>.InvokeFast()

let fold f s l = 
    let rec loop acc l = 
     match l with []->acc |h::t->loop (f acc h) t 
    loop s l 

let list = [1;2;3;4] 

list|>fold (fun acc x->x+acc) 0|>printfn "%d" 
list|>fold (fun acc x->x*acc) 1|>printfn "%d" 

調用但是，如果您標記fold功能inline形勢的變化。不僅fold函數被內聯，而且lambda也被內聯。我使用.NET Reflector來確認。

Answer 2

我不知道編譯器對高階函數做了哪些優化，但本文似乎指的是明確標記爲inline的類型廣義函數。這是爲了支持statically resolved type parameters。