当前位置：文江博客话题详情

F# 中所有 lambda 参数都会自动内联吗

发布于 2024-11-16 18:58:30 字数 178 浏览 8 评论 0原文

这篇来自 F# 的帖子新闻指出 F# 可以内联作为参数传递的函数。总是这样吗？它会自动发生吗？

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

王权女流氓 2024-11-23 18:58:30

答案是否定的。如果您有如下所示的函数，则 lambda 不会内联。
在以下代码中，使用 FSharpFunc<,>.InvokeFast() 调用 lambda，

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 来确认这一点。

The answer is no. If you have a function like the following, lambdas do not get inlined.
In the following code lambdas are invoked using 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"

But if you mark fold function as inline situation changes. Not only fold function gets inlined, but lambdas get inlined as well. I used .NET Reflector to confirm that.

回复收藏 0 原文